equal
deleted
inserted
replaced
28 autoCalculate 1 CompleteCalc; |
28 autoCalculate 1 CompleteCalc; |
29 val ((pt,p),_) = get_calc 1; |
29 val ((pt,p),_) = get_calc 1; |
30 val Form res = (#1 o pt_extract) (pt, ([],Res)); |
30 val Form res = (#1 o pt_extract) (pt, ([],Res)); |
31 show_pt pt; |
31 show_pt pt; |
32 if p = ([], Res) andalso term2str res = "[x = 1]" then () |
32 if p = ([], Res) andalso term2str res = "[x = 1]" then () |
33 else raise error "equation.sml behav.changed for CAS solve (x+1=2, x))"; |
33 else error "equation.sml behav.changed for CAS solve (x+1=2, x))"; |