src/Tools/isac/Interpret/inform.sml
branchisac-update-Isa09-2
changeset 37986 7b1d2366c191
parent 37947 22235e4dbe5f
child 38006 16d56796f5a0
equal deleted inserted replaced
37985:0be0c4e7ab9e 37986:7b1d2366c191
   536 "Schalk II s.56 Bsp 73b (sqrt(x+1)+sqrt(4*x+4)=sqrt(9*x+9))";
   536 "Schalk II s.56 Bsp 73b (sqrt(x+1)+sqrt(4*x+4)=sqrt(9*x+9))";
   537 ------------------------------------------------------------------------------
   537 ------------------------------------------------------------------------------
   538 1. "sqrt (x + 1) + sqrt (4 * x + 4) = sqrt (9 * x + 9)"
   538 1. "sqrt (x + 1) + sqrt (4 * x + 4) = sqrt (9 * x + 9)"
   539 ...
   539 ...
   540 6. "13 + 13 * x + -2 * sqrt ((4 + 4 * x) * (9 + 9 * x)) = 1 + x"
   540 6. "13 + 13 * x + -2 * sqrt ((4 + 4 * x) * (9 + 9 * x)) = 1 + x"
   541                              Subproblem["sq", "root", "univariate", "equation"]
   541                              Subproblem["sq", "root'", "univariate", "equation"]
   542 ...
   542 ...
   543 6.6. "144 + 288 * x + 144 * x ^^^ 2 = 144 + x ^^^ 2 + 288 * x + 143 * x ^^^ 2"
   543 6.6. "144 + 288 * x + 144 * x ^^^ 2 = 144 + x ^^^ 2 + 288 * x + 143 * x ^^^ 2"
   544                 Subproblem["normalize", "polynomial", "univariate", "equation"]
   544                 Subproblem["normalize", "polynomial", "univariate", "equation"]
   545 ...
   545 ...
   546 6.6.3 "0 = 0"    Subproblem["degree_0", "polynomial", "univariate", "equation"]
   546 6.6.3 "0 = 0"    Subproblem["degree_0", "polynomial", "univariate", "equation"]