1012 ("#Find" ,["solutions v_v'i'"]) |
1012 ("#Find" ,["solutions v_v'i'"]) |
1013 ], |
1013 ], |
1014 PolyEq_prls, SOME "solve (e_e::bool, v_v)", |
1014 PolyEq_prls, SOME "solve (e_e::bool, v_v)", |
1015 [["PolyEq","complete_square"]])); |
1015 [["PolyEq","complete_square"]])); |
1016 *} |
1016 *} |
1017 setup {* KEStore_Elems.store_pbts |
1017 setup {* KEStore_Elems.add_pbts |
1018 [(prep_pbt thy "pbl_equ_univ_poly" [] e_pblID |
1018 [(prep_pbt thy "pbl_equ_univ_poly" [] e_pblID |
1019 (["polynomial","univariate","equation"], |
1019 (["polynomial","univariate","equation"], |
1020 [("#Given" ,["equality e_e","solveFor v_v"]), |
1020 [("#Given" ,["equality e_e","solveFor v_v"]), |
1021 ("#Where" ,["~((e_e::bool) is_ratequation_in (v_v::real))", |
1021 ("#Where" ,["~((e_e::bool) is_ratequation_in (v_v::real))", |
1022 "~((lhs e_e) is_rootTerm_in (v_v::real))", |
1022 "~((lhs e_e) is_rootTerm_in (v_v::real))", |