1.1 --- a/test/Tools/isac/Knowledge/rational.sml	Fri Jul 27 08:24:32 2012 +0200
     1.2 +++ b/test/Tools/isac/Knowledge/rational.sml	Sun Jul 29 16:29:04 2012 +0200
     1.3 @@ -43,7 +43,7 @@
     1.4  "-------- investigate format of factout_ and factout_p_ -";
     1.5  "-------- how to stepwise construct Scripts -------------";
     1.6  "----------- get_denominator ----------------------------";
     1.7 -"-------- build errpat fillpat --------------------------";
     1.8 +"--------- several errpats in complicated term -------------------";
     1.9  "--------------------------------------------------------";
    1.10  "--------------------------------------------------------";
    1.11  "--------------------------------------------------------";
    1.12 @@ -2084,7 +2084,17 @@
    1.13  if term2str t' = "get_denominator ((a + x) / b) = b" then ()
    1.14  else error "get_denominator ((a + x) / b) = b"
    1.15  
    1.16 -"-------- build errpat fillpat --------------------------";
    1.17 -"-------- build errpat fillpat --------------------------";
    1.18 -"-------- build errpat fillpat --------------------------";
    1.19  
    1.20 +"--------- several errpats in complicated term -------------------";
    1.21 +"--------- several errpats in complicated term -------------------";
    1.22 +"--------- several errpats in complicated term -------------------";
    1.23 +(*TODO: instead of Gabriella's example here (27.Jul.12) find a simpler one*)
    1.24 +states:=[];
    1.25 +CalcTree
    1.26 +[(["Term ((5*b + 25)/(a^2 - b^2) * (a - b)/(5*b))", "normalform N"], 
    1.27 +  ("Rational",["rational","simplification"], ["simplification","of_rationals"]))];
    1.28 +Iterator 1;
    1.29 +moveActiveRoot 1;
    1.30 +autoCalculate 1 CompleteCalc;
    1.31 +val ((pt,p),_) = get_calc 1; show_pt pt;
    1.32 +