470 |
470 |
471 |
471 |
472 "-------- cancel from: Mathematik 1 Schalk Reniets Verlag --------"; |
472 "-------- cancel from: Mathematik 1 Schalk Reniets Verlag --------"; |
473 "-------- cancel from: Mathematik 1 Schalk Reniets Verlag --------"; |
473 "-------- cancel from: Mathematik 1 Schalk Reniets Verlag --------"; |
474 "-------- cancel from: Mathematik 1 Schalk Reniets Verlag --------"; |
474 "-------- cancel from: Mathematik 1 Schalk Reniets Verlag --------"; |
475 val thy' = "Rational.thy"; |
475 val thy' = "Rational"; |
476 val rls' = "cancel"; |
476 val rls' = "cancel"; |
477 val mp = "make_polynomial"; |
477 val mp = "make_polynomial"; |
478 |
478 |
479 print("\n\nexample 186:\n"); |
479 print("\n\nexample 186:\n"); |
480 print("a)\n"); |
480 print("a)\n"); |
1826 "-------- me Schalk I No.186 -------------------------------------"; |
1826 "-------- me Schalk I No.186 -------------------------------------"; |
1827 "-------- me Schalk I No.186 -------------------------------------"; |
1827 "-------- me Schalk I No.186 -------------------------------------"; |
1828 val fmz = ["TERM ((14 * x * y) / ( x * y ))", |
1828 val fmz = ["TERM ((14 * x * y) / ( x * y ))", |
1829 "normalform N"]; |
1829 "normalform N"]; |
1830 val (dI',pI',mI') = |
1830 val (dI',pI',mI') = |
1831 ("Rational.thy",["rational","simplification"], |
1831 ("Rational",["rational","simplification"], |
1832 ["simplification","of_rationals"]); |
1832 ["simplification","of_rationals"]); |
1833 val p = e_pos'; val c = []; |
1833 val p = e_pos'; val c = []; |
1834 val (p,_,f,nxt,_,pt) = CalcTreeTEST [(fmz, (dI',pI',mI'))]; |
1834 val (p,_,f,nxt,_,pt) = CalcTreeTEST [(fmz, (dI',pI',mI'))]; |
1835 val (p,_,f,nxt,_,pt) = me nxt p c pt; |
1835 val (p,_,f,nxt,_,pt) = me nxt p c pt; |
1836 val (p,_,f,nxt,_,pt) = me nxt p c pt; |
1836 val (p,_,f,nxt,_,pt) = me nxt p c pt; |
1852 "-------- interSteps ..Simp_Rat_Double_No-1.xml ------------------"; |
1852 "-------- interSteps ..Simp_Rat_Double_No-1.xml ------------------"; |
1853 "-------- interSteps ..Simp_Rat_Double_No-1.xml ------------------"; |
1853 "-------- interSteps ..Simp_Rat_Double_No-1.xml ------------------"; |
1854 states:=[]; |
1854 states:=[]; |
1855 CalcTree |
1855 CalcTree |
1856 [(["TERM (((2 - x)/(2*a)) / (2*a/(x - 2)))", "normalform N"], |
1856 [(["TERM (((2 - x)/(2*a)) / (2*a/(x - 2)))", "normalform N"], |
1857 ("Rational.thy",["rational","simplification"], |
1857 ("Rational",["rational","simplification"], |
1858 ["simplification","of_rationals"]))]; |
1858 ["simplification","of_rationals"]))]; |
1859 Iterator 1; |
1859 Iterator 1; |
1860 moveActiveRoot 1; |
1860 moveActiveRoot 1; |
1861 autoCalculate 1 CompleteCalc; |
1861 autoCalculate 1 CompleteCalc; |
1862 val ((pt,p),_) = get_calc 1; show_pt pt; |
1862 val ((pt,p),_) = get_calc 1; show_pt pt; |
1869 "-------- interSteps ..Simp_Rat_Cancel_No-1.xml ------------------"; |
1869 "-------- interSteps ..Simp_Rat_Cancel_No-1.xml ------------------"; |
1870 "-------- interSteps ..Simp_Rat_Cancel_No-1.xml ------------------"; |
1870 "-------- interSteps ..Simp_Rat_Cancel_No-1.xml ------------------"; |
1871 states:=[]; |
1871 states:=[]; |
1872 CalcTree |
1872 CalcTree |
1873 [(["TERM ((a^2 + -1*b^2) / (a^2 + -2*a*b + b^2))", "normalform N"], |
1873 [(["TERM ((a^2 + -1*b^2) / (a^2 + -2*a*b + b^2))", "normalform N"], |
1874 ("Rational.thy",["rational","simplification"], |
1874 ("Rational",["rational","simplification"], |
1875 ["simplification","of_rationals"]))]; |
1875 ["simplification","of_rationals"]))]; |
1876 Iterator 1; |
1876 Iterator 1; |
1877 moveActiveRoot 1; |
1877 moveActiveRoot 1; |
1878 autoCalculate 1 CompleteCalc; |
1878 autoCalculate 1 CompleteCalc; |
1879 val ((pt,p),_) = get_calc 1; show_pt pt; |
1879 val ((pt,p),_) = get_calc 1; show_pt pt; |