1.1 --- a/test/Tools/isac/Knowledge/rational.sml	Thu Mar 17 10:46:02 2011 +0100
     1.2 +++ b/test/Tools/isac/Knowledge/rational.sml	Fri Mar 18 09:26:03 2011 +0100
     1.3 @@ -1345,7 +1345,7 @@
     1.4  val SOME (t',_) = rewrite_set_ thy false make_polynomial t;
     1.5  term2str t';
     1.6  if term2str t' = 
     1.7 -  "(9 * a ^^^ 2 + -16 * b ^^^ 2) /\n(36 * a ^^^ 2 * c + 27 * a ^^^ 2 * e + -64 * b ^^^ 2 * c + -48 * b ^^^ 2 * e)"
     1.8 +  "(9 * a ^^^ 2 + -16 * b ^^^ 2) /\n(36 * a ^^^ 2 * c + 27 * a ^^^ 2 * e + -64 * b ^^^ 2 * c +\n -48 * b ^^^ 2 * e)"
     1.9  (*"(9 * a ^^^ 2 + -16 * b ^^^ 2) / (36 * a ^^^ 2 * c + 27 * a ^^^ 2 * e + -64 * b ^^^ 2 * c + -48 * b ^^^ 2 * e)"*)
    1.10  then () else error "rational.sml: S.K.8..corrected 060904-6";
    1.11  
    1.12 @@ -2078,5 +2078,3 @@
    1.13  "    Try (Rewrite_Set discard_parentheses False))               " ^
    1.14  "   t_t)"
    1.15  );
    1.16 -(*-.-.-.-.-.-isolate response.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.
    1.17 --.-.-.-.-.-.-isolate response.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.*)