192 ], |
192 ], |
193 |
193 |
194 RatEq_prls, SOME "solve (e_e::bool, v_v)", |
194 RatEq_prls, SOME "solve (e_e::bool, v_v)", |
195 [["RatEq","solve_rat_equation"]])); |
195 [["RatEq","solve_rat_equation"]])); |
196 *} |
196 *} |
197 setup {* KEStore_Elems.store_pbts |
197 setup {* KEStore_Elems.add_pbts |
198 [(prep_pbt thy "pbl_equ_univ_rat" [] e_pblID |
198 [(prep_pbt thy "pbl_equ_univ_rat" [] e_pblID |
199 (["rational","univariate","equation"], |
199 (["rational","univariate","equation"], |
200 [("#Given", ["equality e_e","solveFor v_v"]), |
200 [("#Given", ["equality e_e","solveFor v_v"]), |
201 ("#Where", ["(e_e::bool) is_ratequation_in (v_v::real)"]), |
201 ("#Where", ["(e_e::bool) is_ratequation_in (v_v::real)"]), |
202 ("#Find", ["solutions v_v'i'"])], |
202 ("#Find", ["solutions v_v'i'"])], |