equal
deleted
inserted
replaced
3 use"rooteq.sml"; |
3 use"rooteq.sml"; |
4 testexamples for RootEq, equations with fractions |
4 testexamples for RootEq, equations with fractions |
5 |
5 |
6 Compiler.Control.Print.printDepth:=10; (*4 default*) |
6 Compiler.Control.Print.printDepth:=10; (*4 default*) |
7 Compiler.Control.Print.printDepth:=5; (*4 default*) |
7 Compiler.Control.Print.printDepth:=5; (*4 default*) |
8 trace_rewrite:=true; |
8 trace_rewrite := false; |
9 *) |
9 *) |
10 "----------- rooteq.sml begin--------"; |
10 "----------- rooteq.sml begin--------"; |
11 "--------------(1/sqrt(x)=5)---------------------------------------"; |
11 "--------------(1/sqrt(x)=5)---------------------------------------"; |
12 "--------------(4*sqrt(4*x+2)=3*sqrt(2*x+24))----------------------"; |
12 "--------------(4*sqrt(4*x+2)=3*sqrt(2*x+24))----------------------"; |
13 "--------------(sqrt(x+1)=5)---------------------------------------"; |
13 "--------------(sqrt(x+1)=5)---------------------------------------"; |