test/Tools/isac/Knowledge/partial_fractions.sml
changeset 55445 33b0f6db720c
parent 55444 ede4248a827b
child 55446 42c45d1241d7
     1.1 --- a/test/Tools/isac/Knowledge/partial_fractions.sml	Fri Jun 13 10:29:06 2014 +0200
     1.2 +++ b/test/Tools/isac/Knowledge/partial_fractions.sml	Fri Jun 13 12:06:38 2014 +0200
     1.3 @@ -225,7 +225,7 @@
     1.4  "----------- autoCalculate for met_partial_fraction -----";
     1.5  "----------- autoCalculate for met_partial_fraction -----";
     1.6  "----------- autoCalculate for met_partial_fraction -----";
     1.7 -states:= [];
     1.8 +reset_states ();
     1.9    val fmz =                                             
    1.10      ["functionTerm (3 / (z * (z - 1 / 4 + -1 / 8 * (1 / z))))", 
    1.11        "solveFor z", "decomposedFunction p_p"];