63 ("#Find" ,["solutions v_i_"])], |
63 ("#Find" ,["solutions v_i_"])], |
64 Rule_Set.append_rules Rule_Set.empty [Eval ("Test.is_rootequation_in", eval_is_rootequation_in "")], |
64 Rule_Set.append_rules Rule_Set.empty [Eval ("Test.is_rootequation_in", eval_is_rootequation_in "")], |
65 [("Test", "methode")])] |
65 [("Test", "methode")])] |
66 thy; |
66 thy; |
67 |
67 |
68 M_Match.match_pbl ["equality (sqrt(x)=1)", "solveFor x", "solutions L"] (Problem.from_store ["rootX", "univariate", "equation", "test"]); |
68 M_Match.by_formalise ["equality (sqrt(x)=1)", "solveFor x", "solutions L"] (Problem.from_store ["rootX", "univariate", "equation", "test"]); |
69 |
69 |
70 Know_Store.add_pbls |
70 Know_Store.add_pbls |
71 [Problem.prep_input (theory "Isac_Knowledge") |
71 [Problem.prep_input (theory "Isac_Knowledge") |
72 (["approximate", "univariate", "equation", "test"], |
72 (["approximate", "univariate", "equation", "test"], |
73 [("#Given", ["equality e_e", "solveFor v_v", "errorBound err_"]), |
73 [("#Given", ["equality e_e", "solveFor v_v", "errorBound err_"]), |