63 ], |
63 ], |
64 append_rls e_rls [Calc ("Test.is'_rootequation'_in", |
64 append_rls e_rls [Calc ("Test.is'_rootequation'_in", |
65 eval_is_rootequation_in "")], |
65 eval_is_rootequation_in "")], |
66 [("Test","methode")])); |
66 [("Test","methode")])); |
67 |
67 |
68 store_pbts |
68 Test_KEStore_Elems.add_pbts |
69 [prep_pbt (*Test.thy*) (theory "Isac") |
69 [prep_pbt (*Test.thy*) (theory "Isac") |
70 (["root'","univariate","equation","test"], |
70 (["root'","univariate","equation","test"], |
71 [("#Given" ,["equality e_e","solveFor v_v"]), |
71 [("#Given" ,["equality e_e","solveFor v_v"]), |
72 ("#Where" ,["is_rootequation_in (e_e::bool) (v_::real)"]), |
72 ("#Where" ,["is_rootequation_in (e_e::bool) (v_::real)"]), |
73 ("#Find" ,["solutions v_i_"])], |
73 ("#Find" ,["solutions v_i_"])], |
88 ("#Find" ,["solutions v_i_"]) |
88 ("#Find" ,["solutions v_i_"]) |
89 ], |
89 ], |
90 append_rls e_rls [Calc ("Tools.matches",eval_matches "#matches_")], |
90 append_rls e_rls [Calc ("Tools.matches",eval_matches "#matches_")], |
91 [])); |
91 [])); |
92 |
92 |
93 store_pbts |
93 Test_KEStore_Elems.add_pbts |
94 [prep_pbt (theory "Isac") |
94 [prep_pbt (theory "Isac") |
95 (["approximate","univariate","equation","test"], |
95 (["approximate","univariate","equation","test"], |
96 [("#Given", ["equality e_e","solveFor v_v","errorBound err_"]), |
96 [("#Given", ["equality e_e","solveFor v_v","errorBound err_"]), |
97 ("#Where", ["matches (?a = ?b) e_e"]), |
97 ("#Where", ["matches (?a = ?b) e_e"]), |
98 ("#Find", ["solutions v_i_"])], |
98 ("#Find", ["solutions v_i_"])], |