equal
deleted
inserted
replaced
299 ("PolyMinus",["plus_minus","polynom","vereinfachen"], |
299 ("PolyMinus",["plus_minus","polynom","vereinfachen"], |
300 ["simplification","for_polynomials","with_minus"]))]; |
300 ["simplification","for_polynomials","with_minus"]))]; |
301 moveActiveRoot 1; |
301 moveActiveRoot 1; |
302 autoCalculate 1 CompleteCalc; |
302 autoCalculate 1 CompleteCalc; |
303 val ((pt,p),_) = get_calc 1; show_pt pt; |
303 val ((pt,p),_) = get_calc 1; show_pt pt; |
304 |
|
305 show_pt pt; |
|
306 p; |
|
307 (get_obj g_res pt (fst p)); |
|
308 term2str (get_obj g_res pt (fst p)); |
|
309 if p = ([], Res) andalso |
304 if p = ([], Res) andalso |
310 term2str (get_obj g_res pt (fst p)) = "3 + 3 * r + 6 * s - 8 * t" |
305 term2str (get_obj g_res pt (fst p)) = "3 + 3 * r + 6 * s - 8 * t" |
311 then () else error "polyminus.sml: Vereinfache 140 d)"; |
306 then () else error "polyminus.sml: Vereinfache 140 d)"; |
312 |
307 |
313 |
308 |
382 autoCalculate 1 (Step 1); |
377 autoCalculate 1 (Step 1); |
383 val ((pt,p),_) = get_calc 1; term2str (get_obj g_res pt (fst p)); |
378 val ((pt,p),_) = get_calc 1; term2str (get_obj g_res pt (fst p)); |
384 @@@@@WN081114 gives "??.empty", all "Pruefe" are the same, |
379 @@@@@WN081114 gives "??.empty", all "Pruefe" are the same, |
385 although analogies work in interface.sml: FIXME.WN081114 in "Pruefe"*) |
380 although analogies work in interface.sml: FIXME.WN081114 in "Pruefe"*) |
386 val ((pt,p),_) = get_calc 1; |
381 val ((pt,p),_) = get_calc 1; |
|
382 (*========== inhibit exn 110310 ================================================ |
387 if p = ([], Res) andalso term2str (get_obj g_res pt (fst p)) = "11 = 11" |
383 if p = ([], Res) andalso term2str (get_obj g_res pt (fst p)) = "11 = 11" |
388 then () else error "polyminus.sml: Probe 11 = 11"; |
384 then () else error "polyminus.sml: Probe 11 = 11"; |
389 show_pt pt; |
385 show_pt pt; |
390 |
386 |
391 |
387 |
661 (*val it = |
657 (*val it = |
662 [(1, [1], "#Given", Const (...), [...]), |
658 [(1, [1], "#Given", Const (...), [...]), |
663 (2, [1], "#Find", Const (...), [...])] |
659 (2, [1], "#Find", Const (...), [...])] |
664 : ori list |
660 : ori list |
665 *) |
661 *) |
|
662 ============ inhibit exn 110310 ==============================================*) |