equal
deleted
inserted
replaced
31 autoCalculate 1 CompleteCalc; |
31 autoCalculate 1 CompleteCalc; |
32 val ((pt,p),_) = get_calc 1; |
32 val ((pt,p),_) = get_calc 1; |
33 val Form res = (#1 o pt_extract) (pt, ([],Res)); |
33 val Form res = (#1 o pt_extract) (pt, ([],Res)); |
34 show_pt pt; |
34 show_pt pt; |
35 if p = ([], Res) andalso term2str res = "5 * a" then () |
35 if p = ([], Res) andalso term2str res = "5 * a" then () |
36 else raise error "simplify.sml: diff.behav. CAScmd: Simplify (2*a + 3*a)"; |
36 else error "simplify.sml: diff.behav. CAScmd: Simplify (2*a + 3*a)"; |
37 |
37 |
38 |
38 |
39 "----------- append inform with final result ---------------------"; |
39 "----------- append inform with final result ---------------------"; |
40 "----------- append inform with final result ---------------------"; |
40 "----------- append inform with final result ---------------------"; |
41 "----------- append inform with final result ---------------------"; |
41 "----------- append inform with final result ---------------------"; |
52 |
52 |
53 autoCalculate 1 (Step 1); |
53 autoCalculate 1 (Step 1); |
54 val ((pt,p),_) = get_calc 1; show_pt pt; |
54 val ((pt,p),_) = get_calc 1; show_pt pt; |
55 val Form res = (#1 o pt_extract) (pt, ([],Res)); |
55 val Form res = (#1 o pt_extract) (pt, ([],Res)); |
56 if p = ([], Res) andalso term2str res = "14" then () |
56 if p = ([], Res) andalso term2str res = "14" then () |
57 else raise error "simplify.sml: append inform with final result ?!?"; |
57 else error "simplify.sml: append inform with final result ?!?"; |