equal
deleted
inserted
replaced
671 "--------- rat-eq + subpbl: no_met, NO solution dropped - see LI: '--- simpl.rat.term, '.."; |
671 "--------- rat-eq + subpbl: no_met, NO solution dropped - see LI: '--- simpl.rat.term, '.."; |
672 (*--- THIS IS RE-USED WITH fun me IN test/../MathEngine/solve.sml ------------------- |
672 (*--- THIS IS RE-USED WITH fun me IN test/../MathEngine/solve.sml ------------------- |
673 ---- rat-eq + subpbl: set_found in check_tac1 ----*) |
673 ---- rat-eq + subpbl: set_found in check_tac1 ----*) |
674 CalcTree |
674 CalcTree |
675 [(["equality ((5*x)/(x - 2) - x/(x+2)=(4::real))", "solveFor x", "solutions L"], |
675 [(["equality ((5*x)/(x - 2) - x/(x+2)=(4::real))", "solveFor x", "solutions L"], |
676 ("RatEq", ["univariate", "equation"], ["no_met"]))]; |
676 ((** )"RatEq"( **)"PolyEq"(*required for "make_ratpoly_in"*), |
|
677 ["univariate", "equation"], ["no_met"]))]; |
677 Iterator 1; |
678 Iterator 1; |
678 moveActiveRoot 1; |
679 moveActiveRoot 1; |
679 fetchProposedTactic 1; |
680 fetchProposedTactic 1; |
680 |
681 |
681 setNextTactic 1 (Model_Problem); |
682 setNextTactic 1 (Model_Problem); |