equal
deleted
inserted
replaced
29 ["equation", "test"]; *) |
29 ["equation", "test"]; *) |
30 *) |
30 *) |
31 |
31 |
32 val t = TermC.str2term "(2 log x)"; |
32 val t = TermC.str2term "(2 log x)"; |
33 val t = TermC.str2term "(2 log x) = 3"; |
33 val t = TermC.str2term "(2 log x) = 3"; |
34 val t = TermC.str2term "TermC.matches ((?a log x) = ?b) ((2 log x) = 3)"; |
34 val t = TermC.str2term "matches ((?a log x) = ?b) ((2 log x) = 3)"; |
35 TermC.atomty t; |
35 TermC.atomty t; |
36 |
36 |
37 |
37 |
38 val fmz = ["equality ((2 log x) = 3)", "solveFor x", "solutions L"]; |
38 val fmz = ["equality ((2 log x) = 3)", "solveFor x", "solutions L"]; |
39 val (dI',pI',mI') = |
39 val (dI',pI',mI') = |