reduceTest.het revision 624e6701e0deb7ac6c03c0cba0190fbc5033cf93
library reduceTest
logic Reduce
spec ReduceTest1 =
operator f,h
then %implies
. solve(x^2=1,x)
. simplify((x^2-1)/(x-1))
. divide((x+y)*(x+2*y),x+3*y)
. divide((x+y)*(x+2*y),x+3*y)
. factorize(x*x+x*y+x*y+y*y)
. int(x*x,x)
. rlqe(ex(x,x*x=0))
. rlqe(ex(x,x*x-x+1=0))
. rlqe(ex(x,x*x-3*x+1=0))
. rlqe(ex(x,x>6 and x*x-3*x+1=0))
. rlqe(ex(x,7*x*x+3>0 and x*x-3*x+1=0))
end