equal
deleted
inserted
replaced
26 "--------- maximum-example, UC: Modeling / modifyCalcHead --------";*) |
26 "--------- maximum-example, UC: Modeling / modifyCalcHead --------";*) |
27 "--------- syntax error ------------------------------------------"; |
27 "--------- syntax error ------------------------------------------"; |
28 "CAS-command:"; |
28 "CAS-command:"; |
29 "--------- CAS-command on ([],Pbl) -------------------------------"; |
29 "--------- CAS-command on ([],Pbl) -------------------------------"; |
30 "--------- CAS-command on ([],Pbl) FE-interface ------------------"; |
30 "--------- CAS-command on ([],Pbl) FE-interface ------------------"; |
|
31 "--------- inform [rational,simplification] ----------------------"; |
31 "-----------------------------------------------------------------"; |
32 "-----------------------------------------------------------------"; |
32 "-----------------------------------------------------------------"; |
33 "-----------------------------------------------------------------"; |
33 "-----------------------------------------------------------------"; |
34 "-----------------------------------------------------------------"; |
34 |
35 |
35 |
36 |
461 show_pt pt; |
462 show_pt pt; |
462 if p = ([], Res) then () |
463 if p = ([], Res) then () |
463 else raise error "inform.sml: diff.behav. CAScmd ([],Pbl) FE-interface"; |
464 else raise error "inform.sml: diff.behav. CAScmd ([],Pbl) FE-interface"; |
464 |
465 |
465 |
466 |
|
467 |
|
468 "--------- inform [rational,simplification] ----------------------"; |
|
469 "--------- inform [rational,simplification] ----------------------"; |
|
470 "--------- inform [rational,simplification] ----------------------"; |
|
471 states:=[]; |
|
472 CalcTree [(["term (4/x - 3/y - 1)", "normalform N"], |
|
473 ("Rational.thy",["rational","simplification"], |
|
474 ["simplification","of_rationals"]))]; |
|
475 Iterator 1; moveActiveRoot 1; |
|
476 autoCalculate 1 CompleteCalcHead; |
|
477 autoCalculate 1 (Step 1); |
|
478 autoCalculate 1 (Step 1); |
|
479 autoCalculate 1 (Step 1); |
|
480 autoCalculate 1 (Step 1); |
|
481 "--- input the next formula that would be presented by mat-engine"; |
|
482 appendFormula 1 "(4 * y + -3 * x) / (x * y) + -1"; |
|
483 |
|
484 |
|
485 "--- input the exact final result";(*TODO: Exception- LIST "last_elem" raised*) |
|
486 appendFormula 1 "(-3 * x + 4 * y + -1 * x * y) / (x * y)"; |