equal
deleted
inserted
replaced
42 store_pbt |
42 store_pbt |
43 (prep_pbt thy "pbl_equ" [] e_pblID |
43 (prep_pbt thy "pbl_equ" [] e_pblID |
44 (["equation"], |
44 (["equation"], |
45 [("#Given" ,["equality e_e","solveFor v_v"]), |
45 [("#Given" ,["equality e_e","solveFor v_v"]), |
46 ("#Where" ,["matches (?a = ?b) e_e"]), |
46 ("#Where" ,["matches (?a = ?b) e_e"]), |
47 ("#Find" ,["solutions v'i'"]) |
47 ("#Find" ,["solutions v_v'i'"]) |
48 ], |
48 ], |
49 append_rls "equation_prls" e_rls |
49 append_rls "equation_prls" e_rls |
50 [Calc ("Tools.matches",eval_matches "")], |
50 [Calc ("Tools.matches",eval_matches "")], |
51 SOME "solve (e_e::bool, v_v)", |
51 SOME "solve (e_e::bool, v_v)", |
52 [])); |
52 [])); |
54 store_pbt |
54 store_pbt |
55 (prep_pbt thy "pbl_equ_univ" [] e_pblID |
55 (prep_pbt thy "pbl_equ_univ" [] e_pblID |
56 (["univariate","equation"], |
56 (["univariate","equation"], |
57 [("#Given" ,["equality e_e","solveFor v_v"]), |
57 [("#Given" ,["equality e_e","solveFor v_v"]), |
58 ("#Where" ,["matches (?a = ?b) e_e"]), |
58 ("#Where" ,["matches (?a = ?b) e_e"]), |
59 ("#Find" ,["solutions v'i'"]) |
59 ("#Find" ,["solutions v_v'i'"]) |
60 ], |
60 ], |
61 univariate_equation_prls,SOME "solve (e_e::bool, v_v)",[])); |
61 univariate_equation_prls,SOME "solve (e_e::bool, v_v)",[])); |
62 |
62 |
63 |
63 |
64 (*.function for handling the cas-input "solve (x+1=2, x)": |
64 (*.function for handling the cas-input "solve (x+1=2, x)": |