equal
deleted
inserted
replaced
88 "GesamtLaenge L"], |
88 "GesamtLaenge L"], |
89 ("Isac",["numerischSymbolische", "Berechnung"], |
89 ("Isac",["numerischSymbolische", "Berechnung"], |
90 ["Berechnung","erstSymbolisch"]))]; |
90 ["Berechnung","erstSymbolisch"]))]; |
91 Iterator 1; |
91 Iterator 1; |
92 moveActiveRoot 1; |
92 moveActiveRoot 1; |
93 autoCalculate' 1 CompleteCalc; |
93 autoCalculate 1 CompleteCalc; |
94 val ((pt,p),_) = get_calc 1; show_pt pt; |
94 val ((pt,p),_) = get_calc 1; show_pt pt; |
95 if p = ([], Res) andalso term2str (get_obj g_res pt (fst p)) = "L = 104" then() |
95 if p = ([], Res) andalso term2str (get_obj g_res pt (fst p)) = "L = 104" then() |
96 else error "algein.sml: 'Berechnung' 'erstSymbolisch' changed"; |
96 else error "algein.sml: 'Berechnung' 'erstSymbolisch' changed"; |
97 |
97 |
98 "----------- Widerspruch 3 = 777 ---------------------------------"; |
98 "----------- Widerspruch 3 = 777 ---------------------------------"; |