83 (("Test", ["univariate","equation","test"], ["no_met"]), argl2dtss)), |
83 (("Test", ["univariate","equation","test"], ["no_met"]), argl2dtss)), |
84 ((term_of o the o (parse thy)) "solve", |
84 ((term_of o the o (parse thy)) "solve", |
85 (("Isac", ["univariate","equation"], ["no_met"]), argl2dtss))]*} |
85 (("Isac", ["univariate","equation"], ["no_met"]), argl2dtss))]*} |
86 |
86 |
87 |
87 |
88 ML {* |
|
89 store_met |
|
90 (prep_met thy "met_equ" [] e_metID |
|
91 (["Equation"], |
|
92 [], |
|
93 {rew_ord'="tless_true", rls'=Erls, calc = [], |
|
94 srls = e_rls, |
|
95 prls=e_rls, |
|
96 crls = Atools_erls, errpats = [], nrls = e_rls}, |
|
97 "empty_script" |
|
98 )); |
|
99 *} |
|
100 setup {* KEStore_Elems.add_mets |
88 setup {* KEStore_Elems.add_mets |
101 [prep_met thy "met_equ" [] e_metID |
89 [prep_met thy "met_equ" [] e_metID |
102 (["Equation"], [], |
90 (["Equation"], [], |
103 {rew_ord'="tless_true", rls'=Erls, calc = [], srls = e_rls, prls=e_rls, crls = Atools_erls, |
91 {rew_ord'="tless_true", rls'=Erls, calc = [], srls = e_rls, prls=e_rls, crls = Atools_erls, |
104 errpats = [], nrls = e_rls}, |
92 errpats = [], nrls = e_rls}, |