equal
deleted
inserted
replaced
1440 | _ => error "rational.sml diff.behav. in me Schalk I No.186"; |
1440 | _ => error "rational.sml diff.behav. in me Schalk I No.186"; |
1441 |
1441 |
1442 "-------- interSteps ..Simp_Rat_Double_No-1.xml ------------------------------"; |
1442 "-------- interSteps ..Simp_Rat_Double_No-1.xml ------------------------------"; |
1443 "-------- interSteps ..Simp_Rat_Double_No-1.xml ------------------------------"; |
1443 "-------- interSteps ..Simp_Rat_Double_No-1.xml ------------------------------"; |
1444 "-------- interSteps ..Simp_Rat_Double_No-1.xml ------------------------------"; |
1444 "-------- interSteps ..Simp_Rat_Double_No-1.xml ------------------------------"; |
1445 states:=[]; |
1445 reset_states (); |
1446 CalcTree [(["Term (((2 - x)/(2*a)) / (2*a/(x - 2)))", "normalform N"], |
1446 CalcTree [(["Term (((2 - x)/(2*a)) / (2*a/(x - 2)))", "normalform N"], |
1447 ("Rational", ["rational", "simplification"], ["simplification", "of_rationals"]))]; |
1447 ("Rational", ["rational", "simplification"], ["simplification", "of_rationals"]))]; |
1448 Iterator 1; |
1448 Iterator 1; |
1449 moveActiveRoot 1; |
1449 moveActiveRoot 1; |
1450 autoCalculate 1 CompleteCalc; |
1450 autoCalculate 1 CompleteCalc; |
1484 |
1484 |
1485 |
1485 |
1486 "-------- interSteps ..Simp_Rat_Cancel_No-1.xml ------------------------------"; |
1486 "-------- interSteps ..Simp_Rat_Cancel_No-1.xml ------------------------------"; |
1487 "-------- interSteps ..Simp_Rat_Cancel_No-1.xml ------------------------------"; |
1487 "-------- interSteps ..Simp_Rat_Cancel_No-1.xml ------------------------------"; |
1488 "-------- interSteps ..Simp_Rat_Cancel_No-1.xml ------------------------------"; |
1488 "-------- interSteps ..Simp_Rat_Cancel_No-1.xml ------------------------------"; |
1489 states:=[]; |
1489 reset_states (); |
1490 CalcTree [(["Term ((a^2 + -1*b^2) / (a^2 + -2*a*b + b^2))", "normalform N"], |
1490 CalcTree [(["Term ((a^2 + -1*b^2) / (a^2 + -2*a*b + b^2))", "normalform N"], |
1491 ("Rational", ["rational", "simplification"], ["simplification", "of_rationals"]))]; |
1491 ("Rational", ["rational", "simplification"], ["simplification", "of_rationals"]))]; |
1492 Iterator 1; |
1492 Iterator 1; |
1493 moveActiveRoot 1; |
1493 moveActiveRoot 1; |
1494 autoCalculate 1 CompleteCalc; |
1494 autoCalculate 1 CompleteCalc; |
1615 "-------- several errpats in complicated term --------------------------------"; |
1615 "-------- several errpats in complicated term --------------------------------"; |
1616 "-------- several errpats in complicated term --------------------------------"; |
1616 "-------- several errpats in complicated term --------------------------------"; |
1617 "-------- several errpats in complicated term --------------------------------"; |
1617 "-------- several errpats in complicated term --------------------------------"; |
1618 (*WN12xxxx TODO: instead of Gabriella's example here (27.Jul.12) find a simpler one |
1618 (*WN12xxxx TODO: instead of Gabriella's example here (27.Jul.12) find a simpler one |
1619 WN130912: kept this test, although not clear what for*) |
1619 WN130912: kept this test, although not clear what for*) |
1620 states := []; |
1620 reset_states (); |
1621 CalcTree [(["Term ((5*b + 25)/(a^2 - b^2) * (a - b)/(5*b))", "normalform N"], |
1621 CalcTree [(["Term ((5*b + 25)/(a^2 - b^2) * (a - b)/(5*b))", "normalform N"], |
1622 ("Rational", ["rational", "simplification"], ["simplification", "of_rationals"]))]; |
1622 ("Rational", ["rational", "simplification"], ["simplification", "of_rationals"]))]; |
1623 Iterator 1; |
1623 Iterator 1; |
1624 moveActiveRoot 1; |
1624 moveActiveRoot 1; |
1625 autoCalculate 1 CompleteCalc; |
1625 autoCalculate 1 CompleteCalc; |