301 ("PolyMinus",["plus_minus","polynom","vereinfachen"], |
301 ("PolyMinus",["plus_minus","polynom","vereinfachen"], |
302 ["simplification","for_polynomials","with_minus"]))]; |
302 ["simplification","for_polynomials","with_minus"]))]; |
303 moveActiveRoot 1; |
303 moveActiveRoot 1; |
304 autoCalculate 1 CompleteCalc; |
304 autoCalculate 1 CompleteCalc; |
305 val ((pt,p),_) = get_calc 1; show_pt pt; |
305 val ((pt,p),_) = get_calc 1; show_pt pt; |
|
306 (*========== inhibit exn 110520 ================================================ |
|
307 "??.empty" came with getting preconditions into ctxt: |
|
308 |
306 if p = ([], Res) andalso |
309 if p = ([], Res) andalso |
307 term2str (get_obj g_res pt (fst p)) = "3 + 3 * r + 6 * s - 8 * t" |
310 term2str (get_obj g_res pt (fst p)) = "3 + 3 * r + 6 * s - 8 * t" |
308 then () else error "polyminus.sml: Vereinfache 140 d)"; |
311 then () else error "polyminus.sml: Vereinfache 140 d)"; |
|
312 ============ inhibit exn 110520 ==============================================*) |
309 |
313 |
310 |
314 |
311 "----------- 139 c ---"; |
315 "----------- 139 c ---"; |
312 states:=[]; |
316 states:=[]; |
313 CalcTree [(["Term (3*e - 6*f - 8*e - 4*f + 5*e + 7*f)", |
317 CalcTree [(["Term (3*e - 6*f - 8*e - 4*f + 5*e + 7*f)", |