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/rootrateq.sml
changeset 59367 fb6f5ef2c647
parent 59279 255c853ea2f0
child 59489 cfcbcac0bae8
equal deleted inserted replaced
59366:8dbd5052a5fb 59367:fb6f5ef2c647 
   138 val (p,_,f,nxt,_,pt) = me nxt p c pt; f2str f;
 
   138 val (p,_,f,nxt,_,pt) = me nxt p c pt; f2str f;
 
   139 val (p,_,f,nxt,_,pt) = me nxt p c pt; f2str f;
 
   139 val (p,_,f,nxt,_,pt) = me nxt p c pt; f2str f;
 
   140 val (p,_,f,nxt,_,pt) = me nxt p c pt; f2str f;
 
   140 val (p,_,f,nxt,_,pt) = me nxt p c pt; f2str f;
 
   141 if f2str f = "1 = 4 * x" then ()
 
   141 if f2str f = "1 = 4 * x" then ()
 
   142 else error "rootrateq.sml: diff.behav. in rootrat_equation_left_1 c";
 
   142 else error "rootrateq.sml: diff.behav. in rootrat_equation_left_1 c";
 
   143 (*-> Subproblem ("PolyEq", ["normalize", "polynomial", "univariate", "equation"])*)
 
   143 (*-> Subproblem ("PolyEq", ["normalise", "polynomial", "univariate", "equation"])*)
 
   144 val (p,_,f,nxt,_,pt) = me nxt p c pt; val (p,_,f,nxt,_,pt) = me nxt p c pt;
 
   144 val (p,_,f,nxt,_,pt) = me nxt p c pt; val (p,_,f,nxt,_,pt) = me nxt p c pt;
 
   145 val (p,_,f,nxt,_,pt) = me nxt p c pt; val (p,_,f,nxt,_,pt) = me nxt p c pt;
 
   145 val (p,_,f,nxt,_,pt) = me nxt p c pt; val (p,_,f,nxt,_,pt) = me nxt p c pt;
 
   146 val (p,_,f,nxt,_,pt) = me nxt p c pt; val (p,_,f,nxt,_,pt) = me nxt p c pt;
 
   146 val (p,_,f,nxt,_,pt) = me nxt p c pt; val (p,_,f,nxt,_,pt) = me nxt p c pt;
 
   147 val (p,_,f,nxt,_,pt) = me nxt p c pt; val (p,_,f,nxt,_,pt) = me nxt p c pt;
 
   147 val (p,_,f,nxt,_,pt) = me nxt p c pt; val (p,_,f,nxt,_,pt) = me nxt p c pt;
 
   148 val (p,_,f,nxt,_,pt) = me nxt p c pt; val (p,_,f,nxt,_,pt) = me nxt p c pt;
 
   148 val (p,_,f,nxt,_,pt) = me nxt p c pt; val (p,_,f,nxt,_,pt) = me nxt p c pt;
wneuper/isa