1.1 --- a/src/sml/IsacKnowledge/Poly.ML	Sat Sep 02 17:13:31 2006 +0200
     1.2 +++ b/src/sml/IsacKnowledge/Poly.ML	Mon Sep 04 14:08:09 2006 +0200
     1.3 @@ -23,7 +23,7 @@
     1.4     a_0 + a_1.x +...+ a_n.x^n   not (a_n = 0)
     1.5     a_0 + a_1.x_1.x_2^n_12...x_m^n_1m +...+  a_n.x_1^n.x_2^n_n2...x_m^n_nm
     1.6  	        not (a_n = 0), some a_i may be zero (ie. monomials disappear),
     1.7 -                exponents and coefficients equal 1 are not shown,
     1.8 +                exponents and coefficients equal 1 are not (WN060904.TODO in cancel_p_)shown,
     1.9                  and variables in monomials are lexicographically ordered  
    1.10     examples: [1]: "1 + (-10) * x ^^^ 1 + 25 * x ^^^ 2"
    1.11  	     [1]: "11 + 0 * x ^^^ 1 + 1 * x ^^^ 2"

     2.1 --- a/src/sml/ROOT.ML	Sat Sep 02 17:13:31 2006 +0200
     2.2 +++ b/src/sml/ROOT.ML	Mon Sep 04 14:08:09 2006 +0200
     2.3 @@ -19,7 +19,7 @@
     2.4    | find_first pred (x :: xs) =
     2.5      if pred x then Some x else find_first pred xs;
     2.6  fun swap (x, y) = (y, x);
     2.7 -
     2.8 +  
     2.9  "**** build the isac kernel = math-engine + IsacKnowledge ";
    2.10  "**** build the math-engine ******************************";
    2.11  use"library.sml";

     3.1 --- a/src/smltest/IsacKnowledge/rational.sml	Sat Sep 02 17:13:31 2006 +0200
     3.2 +++ b/src/smltest/IsacKnowledge/rational.sml	Mon Sep 04 14:08:09 2006 +0200
     3.3 @@ -2072,3 +2072,20 @@
     3.4  val rtas = reverse_deriv thy Atools_erls rules ro None t';
     3.5  writeln(deri2str rtas);
     3.6  *)
     3.7 +
     3.8 +
     3.9 +
    3.10 +"-------- SK 060904 ----------------------------------------------";
    3.11 +"-------- SK 060904 ----------------------------------------------";
    3.12 +"-------- SK 060904 ----------------------------------------------";
    3.13 +val thy = Isac.thy;
    3.14 +val t = str2term "(a + -1 * b) / (-1 * a + b)";
    3.15 +val Some (t', _) = factout_p_ thy t; term2str t';
    3.16 +val Some (t', _) = cancel_p_ thy t; term2str t';
    3.17 +
    3.18 +val t = str2term "a*b*c*d / (d*e*f*g)";
    3.19 +val Some (t', _) = cancel_p_ thy t; term2str t';
    3.20 +
    3.21 +val t = str2term "a*(b*(c*d)) / (b*(e*(f*g)))";
    3.22 +val Some (t', _) = cancel_p_ thy t; term2str t';
    3.23 +(*???SK order ???*)
    3.24 \ No newline at end of file