1.1 --- a/test/Tools/isac/Knowledge/partial_fractions.sml	Wed Dec 07 16:25:49 2011 +0100
     1.2 +++ b/test/Tools/isac/Knowledge/partial_fractions.sml	Thu Dec 08 23:37:50 2011 +0100
     1.3 @@ -6,6 +6,8 @@
     1.4  "--------------------------------------------------------";
     1.5  "table of contents --------------------------------------";
     1.6  "--------------------------------------------------------";
     1.7 +"----------- Test of function factors_from_solution ---------";
     1.8 +"--------------------------------------------------------";
     1.9  "----------- why helpless here ? ------------------------";
    1.10  "----------- why not nxt = Model_Problem here ? ---------";
    1.11  "--------------------------------------------------------";
    1.12 @@ -64,3 +66,14 @@
    1.13  See TODO.txt
    1.14  *)
    1.15  
    1.16 +"----------- Test of function factors_from_solution ---------";
    1.17 +"----------- Test of function factors_from_solution ---------";
    1.18 +"----------- Test of function factors_from_solution ---------";
    1.19 +
    1.20 +val SOME t = parseNEW ctxt "factors_from_solution [(z::real) = 1 / 2, z = -1 / 4]";
    1.21 +val SOME (_, t') = eval_factors_from_solution "" 0 t thy;
    1.22 +if term2str t' =
    1.23 + "factors_from_solution [z = 1 / 2, z = -1 / 4] =\n(z + -1 * (1 / 2)) * (z + -1 * (-1 / 4))"
    1.24 +then () else error "factors_from_solution broken";
    1.25 +
    1.26 +