CSL/TestData/reduceTest.het

	reduceTest.het revision 624e6701e0deb7ac6c03c0cba0190fbc5033cf93


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
0N/Alibrary reduceTest
3909N/A
0N/Alogic Reduce
0N/A
0N/Aspec ReduceTest1 =
0N/A     operator f,h
2362N/Athen %implies
0N/A     . solve(x^2=1,x)
2362N/A     . simplify((x^2-1)/(x-1))
0N/A     . divide((x+y)*(x+2*y),x+3*y)
0N/A     . divide((x+y)*(x+2*y),x+3*y)
0N/A     . factorize(x*x+x*y+x*y+y*y)
0N/A     . int(x*x,x)
0N/A     . rlqe(ex(x,x*x=0))
0N/A     . rlqe(ex(x,x*x-x+1=0))
0N/A     . rlqe(ex(x,x*x-3*x+1=0))
0N/A     . rlqe(ex(x,x>6 and x*x-3*x+1=0))
0N/A     . rlqe(ex(x,7*x*x+3>0 and x*x-3*x+1=0))
0N/Aend
0N/A
2362N/A