WP calc.txt

D === WP[[write(x)]](Z)
=== WP[[write(x)]](x=n^2)
=== x=n^2

WP[[b=t]](a<=b<=c)===a<=t<=c
WP[[a=b]](a<=t<=c)===b<=t<=c
WP[[t=a]](b<=t<=c)===b<=a<=c

WP[[a>b]](a<=b<=c, b<=a<=c)===(a<=b<=cANDa<=b)OR(b<=a<=cANDa>b)
===(a<=b<=c)OR(b<a<=c)
===b<=cANDa<=c

WP[[c=t]]((a<=b<=c)OR(b<a<=c))===(a<=b<=t)OR(b<a<=t)
WP[[b=c]]((a<=b<=t)OR(b<a<=t))===(a<=c<=t)OR(c<a<=t)
WP[[t=b]]((a<=c<=t)OR(c<a<=t))===(a<=c<=b)OR(c<a<=b)

WP[[b>c]](a<=b<=c, (a<=c<=b)OR(c<a<=b))
===(a<=b<=cANDb<=c)OR((a<=c<=b)OR(c<a<=b)ANDb>c)
===(a<=b<=c)OR((a<=c<b)OR(c<a<=b))

WP[[b=t]]((a<=b<=c)OR((a<=c<b)OR(c<a<=b)))===(a<=t<=c)OR(a<=c<t)OR(c<a<=t)
WP[[a=b]]((a<=t<=c)OR((a<=c<t)OR(c<a<=t)))===(b<=t<=c)OR(b<=c<t)OR(c<b<=t)
WP[[t=a]]((b<=t<=c)OR((b<=c<t)OR(c<b<=t)))===(b<=a<=c)OR(b<=c<a)OR(c<b<=a)

WP[[a>b]]((a<=b<=c)OR((a<=c<b)OR(c<a<=b)), (b<=a<=c)OR(b<=c<a)OR(c<b<=a))
===(((a<=b<=c)OR(a<=c<b)OR(c<a<=b))ANDa<=b)OR(((b<=a<=c)OR(b<=c<a)OR(c<b<=a))ANDa>b)
===((a<=b<=c)OR(a<=c<b)OR(c<a<=b))OR((b<a<=c)OR(b<=c<a)OR(c<b<a))
===(a<=b<=c)OR(a<=c<b)OR(c<a<=b)OR(b<a<=c)OR(b<=c<a)OR(c<b<a)