74 |
74 |
75 "--------- fun rm_doublets '-4 * b ^^^^^^^^^ 2 / (...' -----------"; |
75 "--------- fun rm_doublets '-4 * b ^^^^^^^^^ 2 / (...' -----------"; |
76 "--------- fun rm_doublets '-4 * b ^^^^^^^^^ 2 / (...' -----------"; |
76 "--------- fun rm_doublets '-4 * b ^^^^^^^^^ 2 / (...' -----------"; |
77 "--------- fun rm_doublets '-4 * b ^^^^^^^^^ 2 / (...' -----------"; |
77 "--------- fun rm_doublets '-4 * b ^^^^^^^^^ 2 / (...' -----------"; |
78 val c = "^"; |
78 val c = "^"; |
79 val cs = ["^","^","^","d","e"]; |
79 val cs = ["^", "^", "^", "d", "e"]; |
80 if rm_doublets c [] cs = Symbol.explode "^de" |
80 if rm_doublets c [] cs = Symbol.explode "^de" |
81 then () else error "rm_doublets '^^^de' CHANGED"; |
81 then () else error "rm_doublets '^^^de' CHANGED"; |
82 |
82 |
83 val cs = ["a","b","^","^","^","d","e"]; |
83 val cs = ["a", "b", "^", "^", "^", "d", "e"]; |
84 if rm_doublets c [] cs = Symbol.explode "ab^de" |
84 if rm_doublets c [] cs = Symbol.explode "ab^de" |
85 then () else error "rm_doublets 'ab^^^de' CHANGED"; |
85 then () else error "rm_doublets 'ab^^^de' CHANGED"; |
86 |
86 |
87 val cstr = |
87 val cstr = |
88 "-4 * b ^^^^^^^^^ 2 / (a + b) + 4 * a ^^^^^^^^^ 2 / (a + b) -4 * b ^ 2 / (a + b) + 4 * a ^ 2 / (a + b)"; |
88 "-4 * b ^^^^^^^^^ 2 / (a + b) + 4 * a ^^^^^^^^^ 2 / (a + b) -4 * b ^ 2 / (a + b) + 4 * a ^ 2 / (a + b)"; |