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/polyeq.sml
changeset 59367 fb6f5ef2c647
parent 59279 255c853ea2f0
child 59371 3594fcedebe9
equal deleted inserted replaced
59366:8dbd5052a5fb 59367:fb6f5ef2c647 
   988 val (dI',pI',mI') = ("PolyEq",["univariate","equation"],["no_met"]);
 
   988 val (dI',pI',mI') = ("PolyEq",["univariate","equation"],["no_met"]);
 
   989 val (p,_,f,nxt,_,pt) = CalcTreeTEST [(fmz, (dI',pI',mI'))];
 
   989 val (p,_,f,nxt,_,pt) = CalcTreeTEST [(fmz, (dI',pI',mI'))];
 
   990 val (p,_,f,nxt,_,pt) = me nxt p [1] pt;
 
   990 val (p,_,f,nxt,_,pt) = me nxt p [1] pt;
 
   991 (* val nxt =
 
   991 (* val nxt =
 
   992   ("Model_Problem",
 
   992   ("Model_Problem",
 
   993    Model_Problem ["normalize","polynomial","univariate","equation"])
 
   993    Model_Problem ["normalise","polynomial","univariate","equation"])
 
   994   : string * tac*)
 
   994   : string * tac*)
 
   995 val (p,_,f,nxt,_,pt) = me nxt p [1] pt;val (p,_,f,nxt,_,pt) = me nxt p [1] pt;
 
   995 val (p,_,f,nxt,_,pt) = me nxt p [1] pt;val (p,_,f,nxt,_,pt) = me nxt p [1] pt;
 
   996 val (p,_,f,nxt,_,pt) = me nxt p [1] pt;val (p,_,f,nxt,_,pt) = me nxt p [1] pt;
 
   996 val (p,_,f,nxt,_,pt) = me nxt p [1] pt;val (p,_,f,nxt,_,pt) = me nxt p [1] pt;
 
   997 val (p,_,f,nxt,_,pt) = me nxt p [1] pt;val (p,_,f,nxt,_,pt) = me nxt p [1] pt;
 
   997 val (p,_,f,nxt,_,pt) = me nxt p [1] pt;val (p,_,f,nxt,_,pt) = me nxt p [1] pt;
 
   998 val (p,_,f,nxt,_,pt) = me nxt p [1] pt;val (p,_,f,nxt,_,pt) = me nxt p [1] pt;
 
   998 val (p,_,f,nxt,_,pt) = me nxt p [1] pt;val (p,_,f,nxt,_,pt) = me nxt p [1] pt;
 
  1028 val (p,_,f,nxt,_,pt) = CalcTreeTEST [(fmz, (dI',pI',mI'))];
 
  1028 val (p,_,f,nxt,_,pt) = CalcTreeTEST [(fmz, (dI',pI',mI'))];
 
  1029 (*val nxt = ("Refine_Tacitly",Refine_Tacitly ["univariate","equation"])*)
 
  1029 (*val nxt = ("Refine_Tacitly",Refine_Tacitly ["univariate","equation"])*)
 
  1030 val (p,_,f,nxt,_,pt) = me nxt p [1] pt;
 
  1030 val (p,_,f,nxt,_,pt) = me nxt p [1] pt;
 
  1031 (* val nxt =
 
  1031 (* val nxt =
 
  1032   ("Model_Problem",
 
  1032   ("Model_Problem",
 
  1033    Model_Problem ["normalize","polynomial","univariate","equation"])
 
  1033    Model_Problem ["normalise","polynomial","univariate","equation"])
 
  1034   : string * tac *)
 
  1034   : string * tac *)
 
  1035 val (p,_,f,nxt,_,pt) = me nxt p [1] pt;val (p,_,f,nxt,_,pt) = me nxt p [1] pt;
 
  1035 val (p,_,f,nxt,_,pt) = me nxt p [1] pt;val (p,_,f,nxt,_,pt) = me nxt p [1] pt;
 
  1036 val (p,_,f,nxt,_,pt) = me nxt p [1] pt;val (p,_,f,nxt,_,pt) = me nxt p [1] pt;
 
  1036 val (p,_,f,nxt,_,pt) = me nxt p [1] pt;val (p,_,f,nxt,_,pt) = me nxt p [1] pt;
 
  1037 val (p,_,f,nxt,_,pt) = me nxt p [1] pt;val (p,_,f,nxt,_,pt) = me nxt p [1] pt;
 
  1037 val (p,_,f,nxt,_,pt) = me nxt p [1] pt;val (p,_,f,nxt,_,pt) = me nxt p [1] pt;
 
  1038 val (p,_,f,nxt,_,pt) = me nxt p [1] pt;val (p,_,f,nxt,_,pt) = me nxt p [1] pt;
 
  1038 val (p,_,f,nxt,_,pt) = me nxt p [1] pt;val (p,_,f,nxt,_,pt) = me nxt p [1] pt;
wneuper/isa