wneuper/isa: comparison test/Tools/isac/Interpret/ptyps.sml

equal deleted inserted replaced

-:180cb68e796f
+:130688f277ba
 val (p,_,f,nxt,_,pt) = CalcTreeTEST [(fmz, (dI',pI',mI'))];
 val (p,_,f,nxt,_,pt) = me nxt p c pt;
 val (p,_,f,nxt,_,pt) = me nxt p c pt;
 val (p,_,f,nxt,_,pt) = me nxt p c pt; (*nxt = ("Add_Find", Add_Find "solutions L")*)
-val nxt = ("Specify_Problem", 	  Specify_Problem ["linear","univariate","equation","test"]);
+val nxt = ("Specify_Problem", 	  Specify_Problem ["LINEAR","univariate","equation","test"]);
 (*=== specify a not-matching problem ------------^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^*)
 val (p,_,f,nxt,_,pt) = me nxt p c pt;
 if f = Form' (PpcKF (0, EdUndef, 0, Nundef, (Problem [],
 {Find = [Incompl "solutions"], With = [],
 Given = [Correct "equality ((x + 1) * (x + 2) = x ^^^ 2 + 8)", Correct "solveFor x"],
 "matches (?a + ?b * x = 0) ((x + 1) * (x + 2) = x ^^^ 2 + 8)")],
 Relate = []}))) then ()
 else error "--- Refine_Problem broken 1";
 (*ML> f;
 val it = Form' (PpcKF (0,EdUndef,0,Nundef,
-(Problem ["linear","univariate","equation","test"],   <<<<<===== diff.to above WN120313
+(Problem ["LINEAR","univariate","equation","test"],   <<<<<===== diff.to above WN120313
 {Find=[Incompl "solutions []"],
 Given=[Correct "equality ((x + #1) * (x + #2) = x ^^^ #2 + #8)",
 Correct "solveFor x"],Relate=[],
 Where=[False "matches (x = #0) ((x + #1) * (x + #2) = x ^^^ #2 + #8)
 |\nmatches (?b * x = #0) ((x + #1) * (x + #2) = x ^^^ #2 + #8)
 val nxt = ("Add_Find",Add_Find "solutions L") ????!!!!????*)
 val (p,_,f,nxt,_,pt) = (me nxt p c pt) (*handle e => OldGoals.print_exn e*);
 val (p,_,f,nxt,_,pt) = me nxt p c pt;
 (*val nxt = ("Empty_Tac",Empty_Tac)
-... Refine_Problem ["linear"..] fails internally 040312: works!?!*)
+... Refine_Problem ["LINEAR"..] fails internally 040312: works!?!*)
 val nxt = ("Refine_Problem",Refine_Problem ["univariate","equation","test"]);
 (*=== refine problem -----------------------^^^^^^^^^^^^^^^^^^^^^^^^^^^^^*)
 val (p,_,f,nxt,_,pt) = me nxt p c pt;
 (*("Specify_Problem", Specify_Problem ["normalize", "univariate", ...])*)
 val (p,_,f,nxt,_,pt) = me nxt p c pt;
 (*nxt = ("Rewrite_Set", Rewrite_Set "norm_equation")*)
 val (p,_,f,nxt,_,pt) = me nxt p c pt;
 (*nxt = ("Rewrite_Set", Rewrite_Set "Test_simplify")*)
 val (p,_,f,nxt,_,pt) = me nxt p c pt;
-(*Subproblem ("Test", ["linear", "univariate", "equation", "test"]*)
+(*Subproblem ("Test", ["LINEAR", "univariate", "equation", "test"]*)
 val (p,_,f,nxt,_,pt) = me nxt p c pt;
-(*nxt = Model_Problem ["linear","univariate","equation","test"]*)
+(*nxt = Model_Problem ["LINEAR","univariate","equation","test"]*)
 val (p,_,f,nxt,_,pt) = me nxt p c pt;
 (*nxt = ("Add_Given", Add_Given "equality (-6 + 3 * x = 0)"*)
 val (p,_,f,nxt,_,pt) = me nxt p c pt;
 (**)
 val (p,_,f,nxt,_,pt) = me nxt p c pt;
 val (p,_,f,nxt,_,pt) = me nxt p c pt;
 val (p,_,f,nxt,_,pt) = me nxt p c pt;
-(*nxt = Specify_Problem ["linear","univariate","equation","test"])*)
+(*nxt = Specify_Problem ["LINEAR","univariate","equation","test"])*)
 val (p,_,f,nxt,_,pt) = me nxt p c pt;
 (*xt = ("Specify_Method", Specify_Method ["Test", "solve_linear"])*)
 val nxt = ("Refine_Problem",Refine_Problem ["univariate","equation","test"]);
 val (p,_,f,nxt,_,pt) = me nxt p c pt;
-(*("Specify_Problem", Specify_Problem ["linear", "univariate", ...])*)
+(*("Specify_Problem", Specify_Problem ["LINEAR", "univariate", ...])*)
 val (p,_,f,nxt,_,pt) = me nxt p c pt;
 (*val nxt = ("Specify_Method",Specify_Method ("Test","solve_linear"))*)
 val (p,_,f,nxt,_,pt) = me nxt p c pt;
 (*val nxt = ("Apply_Method",Apply_Method ("Test","solve_linear"))*)
 val (p,_,f,nxt,_,pt) = me nxt p c pt;
 (*val nxt = ("Rewrite_Set_Inst",Rewrite_Set_Inst ([#],"isolate_bdv"))*)
 val (p,_,f,nxt,_,pt) = me nxt p c pt;
 (*val nxt = ("Rewrite_Set",Rewrite_Set "Test_simplify")*)
 val (p,_,f,nxt,_,pt) = me nxt p c pt;
-(*val nxt = ("Check_Postcond",Check_Postcond ["linear","univariate","eq*)
+(*val nxt = ("Check_Postcond",Check_Postcond ["LINEAR","univariate","eq*)
 val (p,_,f,nxt,_,pt) = me nxt p c pt;
 (*val nxt = ("Check_elementwise",Check_elementwise "Assumptions")*)
 val (p,_,f,nxt,_,pt) = me nxt p c pt;
 (*Check_Postcond ["normalize","univariate","equation","test"])*)
 val (p,_,f,nxt,_,pt) = me nxt p c pt;

changeset 55279	130688f277ba
parent 48761	4162c4f6f897
child 55350	f3328346b009