Mercurial Mercurial > wneuper > isa / comparison
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
test/Tools/isac/Knowledge/rooteq.sml
changeset 60559 aba19e46dd84
parent 60558 2350ba2640fd
child 60565 f92963a33fe3
equal deleted inserted replaced
60558:2350ba2640fd 60559:aba19e46dd84 
   546 val fmz = ["equality (sqrt(5+x)+sqrt(5-x)=sqrt 18)",
 
   546 val fmz = ["equality (sqrt(5+x)+sqrt(5-x)=sqrt 18)",
 
   547 	   "solveFor x", "solutions L"];
 
   547 	   "solveFor x", "solutions L"];
 
   548 val (dI',pI',mI') =
 
   548 val (dI',pI',mI') =
 
   549   ("Test",["sqroot-test", "univariate", "equation", "test"],
 
   549   ("Test",["sqroot-test", "univariate", "equation", "test"],
 
   550    ["Test", "square_equation2"]);
 
   550    ["Test", "square_equation2"]);
 
   551 val Prog sc = (#scr o MethodC.from_store_PIDE ctxt) ["Test", "square_equation2"];
 
   551 val Prog sc = (#scr o MethodC.from_store ctxt) ["Test", "square_equation2"];
 
   552 (writeln o UnparseC.term) sc;
 
   552 (writeln o UnparseC.term) sc;
 
   553 
   553 
   554 val (p,_,f,nxt,_,pt) = CalcTreeTEST [(fmz, (dI',pI',mI'))];
 
   554 val (p,_,f,nxt,_,pt) = CalcTreeTEST [(fmz, (dI',pI',mI'))];
 
   555 val (p,_,f,nxt,_,pt) = me nxt p [1] pt;
 
   555 val (p,_,f,nxt,_,pt) = me nxt p [1] pt;
 
   556 val (p,_,f,nxt,_,pt) = me nxt p [1] pt;
 
   556 val (p,_,f,nxt,_,pt) = me nxt p [1] pt;
 
   612 
   612 
   613 writeln (pr_ctree pr_short pt);
 
   613 writeln (pr_ctree pr_short pt);
 
   614 
   614 
   615 
   615 
   616 
   616 
   617 val Prog s = (#scr o MethodC.from_store_PIDE ctxt) ["Test", "square_equation"];
 
   617 val Prog s = (#scr o MethodC.from_store ctxt) ["Test", "square_equation"];
 
   618 atomt s;
 
   618 atomt s;
 
   619 
   619 
   620 
   620 
   621 
   621 
   622 
   622 
   683 val fmz = ["equality (sqrt(5+x)+sqrt(5-x)=sqrt 18)",
 
   683 val fmz = ["equality (sqrt(5+x)+sqrt(5-x)=sqrt 18)",
 
   684 	   "solveFor x", "solutions L"];
 
   684 	   "solveFor x", "solutions L"];
 
   685 val (dI',pI',mI') =
 
   685 val (dI',pI',mI') =
 
   686   ("Test",["squareroot", "univariate", "equation", "test"],
 
   686   ("Test",["squareroot", "univariate", "equation", "test"],
 
   687    ["Test", "square_equation"]);
 
   687    ["Test", "square_equation"]);
 
   688  val Prog sc = (#scr o MethodC.from_store_PIDE ctxt) ["Test", "square_equation"];
 
   688  val Prog sc = (#scr o MethodC.from_store ctxt) ["Test", "square_equation"];
 
   689  (writeln o UnparseC.term) sc;
 
   689  (writeln o UnparseC.term) sc;
 
   690 
   690 
   691 val (p,_,f,nxt,_,pt) = CalcTreeTEST [(fmz, (dI',pI',mI'))];
 
   691 val (p,_,f,nxt,_,pt) = CalcTreeTEST [(fmz, (dI',pI',mI'))];
 
   692 val (p,_,f,nxt,_,pt) = me nxt p [1] pt;
 
   692 val (p,_,f,nxt,_,pt) = me nxt p [1] pt;
 
   693 val (p,_,f,nxt,_,pt) = me nxt p [1] pt;
 
   693 val (p,_,f,nxt,_,pt) = me nxt p [1] pt;
wneuper/isa