20 ["Test", "squ-equ-test-subpbl1"]))]; |
20 ["Test", "squ-equ-test-subpbl1"]))]; |
21 Iterator 1; |
21 Iterator 1; |
22 moveActiveRoot 1; |
22 moveActiveRoot 1; |
23 autoCalculate 1 CompleteCalc; |
23 autoCalculate 1 CompleteCalc; |
24 moveActiveFormula 1 ([2],Res); (*there is "-1 + x = 0"*) |
24 moveActiveFormula 1 ([2],Res); (*there is "-1 + x = 0"*) |
25 replaceFormula 1 "x = 1"; |
25 replaceFormula 1 "x = (1::real)"; |
26 (*... returns calcChangedEvent with ...*) |
26 (*... returns calcChangedEvent with ...*) |
27 val (unc, del, gen) = (([1],Res), ([4],Res), ([3,2],Res)); |
27 val (unc, del, gen) = (([1],Res), ([4],Res), ([3,2],Res)); |
28 val ((pt,_),_) = get_calc 1; |
28 val ((pt,_),_) = get_calc 1; |
29 |
29 |
30 (*default_print_depth 99*)map fst3 (ME_Misc.get_interval ([],Pbl) ([],Res) 9999 pt);(*default_print_depth 3*) |
30 (*default_print_depth 99*)map fst3 (ME_Misc.get_interval ([],Pbl) ([],Res) 9999 pt);(*default_print_depth 3*) |