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