1.1 --- a/test/Tools/isac/Knowledge/polyeq-2.sml	Sun May 10 15:55:30 2020 +0200
     1.2 +++ b/test/Tools/isac/Knowledge/polyeq-2.sml	Sun May 10 17:26:36 2020 +0200
     1.3 @@ -51,7 +51,7 @@
     1.4  (*WN.2.5.03 TODO FIXME Matthias ?
     1.5   case f of 
     1.6       Form' 
     1.7 -	 (FormKF 
     1.8 +	 (Test_Out.FormKF 
     1.9  	      (~1,EdUndef,0,Nundef,
    1.10  	       "[x = (a + b) / 2 + -1 * sqrt ((a + b) ^^^ 2 / 2 ^^^ 2 - a * b),\n x = (a + b) / 2 + sqrt ((a + b) ^^^ 2 / 2 ^^^ 2 - a * b)]")) 
    1.11  	 => ()
    1.12 @@ -82,7 +82,7 @@
    1.13  val (p,_,f,nxt,_,pt) = me nxt p [] pt;
    1.14  val (p,_,f,nxt,_,pt) = me nxt p [] pt; f2str f;
    1.15  (*WN.2.5.03 TODO "[x = sqrt (0 - -64), x = -1 * sqrt (0 - -64)]"
    1.16 - case f of Form' (FormKF (~1,EdUndef,0,Nundef,"[x = 8, x = -8]")) => ()
    1.17 + case f of Form' (Test_Out.FormKF (~1,EdUndef,0,Nundef,"[x = 8, x = -8]")) => ()
    1.18  	 | _ => error "polyeq.sml: diff.behav. in [x = 8, x = -8]";
    1.19  *)
    1.20  
    1.21 @@ -104,7 +104,7 @@
    1.22  val (p,_,f,nxt,_,pt) = me nxt p [] pt; val (p,_,f,nxt,_,pt) = me nxt p [] pt;
    1.23  val (p,_,f,nxt,_,pt) = me nxt p [] pt;
    1.24  (*WN.2.5.03 TODO "[x = sqrt (0 - -49), x = -1 * sqrt (0 - -49)]"
    1.25 - case f of Form' (FormKF (~1,EdUndef,0,Nundef,"[x = 7, x = -7]")) => ()
    1.26 + case f of Form' (Test_Out.FormKF (~1,EdUndef,0,Nundef,"[x = 7, x = -7]")) => ()
    1.27  	 | _ => error "polyeq.sml: diff.behav. in [x = 7, x = -7]";
    1.28  *)
    1.29  if f2str f = "[x = sqrt (0 - -49), x = -1 * sqrt (0 - -49)]" then ()
    1.30 @@ -146,7 +146,7 @@
    1.31  val (p,_,f,nxt,_,pt) = me nxt p [1] pt;val (p,_,f,nxt,_,pt) = me nxt p [1] pt;
    1.32  val (p,_,f,nxt,_,pt) = me nxt p [1] pt;val (p,_,f,nxt,_,pt) = me nxt p [1] pt;
    1.33  val (p,_,f,nxt,_,pt) = me nxt p [1] pt;val (p,_,f,nxt,_,pt) = me nxt p [1] pt;
    1.34 -case f of FormKF "[x = 2]" => ()
    1.35 +case f of Test_Out.FormKF "[x = 2]" => ()
    1.36  	 | _ => error "polyeq.sml: diff.behav. in [x = 2]";
    1.37  
    1.38  
    1.39 @@ -186,7 +186,7 @@
    1.40  val (p,_,f,nxt,_,pt) = me nxt p [1] pt;val (p,_,f,nxt,_,pt) = me nxt p [1] pt;
    1.41  val (p,_,f,nxt,_,pt) = me nxt p [1] pt;val (p,_,f,nxt,_,pt) = me nxt p [1] pt;
    1.42  val (p,_,f,nxt,_,pt) = me nxt p [1] pt;val (p,_,f,nxt,_,pt) = me nxt p [1] pt;
    1.43 -case f of FormKF "[x = 2 / 15, x = 1]" => ()
    1.44 +case f of Test_Out.FormKF "[x = 2 / 15, x = 1]" => ()
    1.45  	 | _ => error "polyeq.sml: diff.behav. in [x = 2 / 15, x = 1]";
    1.46  
    1.47  
    1.48 @@ -206,7 +206,7 @@
    1.49  val (p,_,f,nxt,_,pt) = me nxt p [1] pt;val (p,_,f,nxt,_,pt) = me nxt p [1] pt;
    1.50  val (p,_,f,nxt,_,pt) = me nxt p [1] pt;val (p,_,f,nxt,_,pt) = me nxt p [1] pt;
    1.51  val (p,_,f,nxt,_,pt) = me nxt p [1] pt;val (p,_,f,nxt,_,pt) = me nxt p [1] pt;
    1.52 -case f of FormKF "[x = 2, x = -2]" => ()
    1.53 +case f of Test_Out.FormKF "[x = 2, x = -2]" => ()
    1.54  	 | _ => error "polyeq.sml: diff.behav. in [x = 2, x = -2]";
    1.55  
    1.56  "----------- rls make_polynomial_in ------------------------------";