19 (["diff","integration","test"], |
19 (["diff","integration","test"], |
20 [("#Given" ,["functionTerm f_f", "integrateBy v_v"]), ("#Find", ["antiDerivative F_F"])], |
20 [("#Given" ,["functionTerm f_f", "integrateBy v_v"]), ("#Find", ["antiDerivative F_F"])], |
21 {rew_ord'="tless_true", rls'=Atools_erls, calc = [], srls = Rule.e_rls, prls = Rule.e_rls, |
21 {rew_ord'="tless_true", rls'=Atools_erls, calc = [], srls = Rule.e_rls, prls = Rule.e_rls, |
22 crls = Atools_erls, errpats = [], nrls = Rule.e_rls}, |
22 crls = Atools_erls, errpats = [], nrls = Rule.e_rls}, |
23 @{thm integration_test.simps} |
23 @{thm integration_test.simps} |
24 (*"Script IntegrationScript (f_f::real) (v_v::real) = \ |
24 (*"Program IntegrationScript (f_f::real) (v_v::real) = \ |
25 \ (((Rewrite_Set_Inst [(''bdv'',v_v)] ''integration_rules'' False) @@ \ |
25 \ (((Rewrite_Set_Inst [(''bdv'',v_v)] ''integration_rules'' False) @@ \ |
26 \ (Rewrite_Set_Inst [(''bdv'',v_v)] ''add_new_c'' False) @@ \ |
26 \ (Rewrite_Set_Inst [(''bdv'',v_v)] ''add_new_c'' False) @@ \ |
27 \ (Rewrite_Set_Inst [(''bdv'',v_v)] ''simplify_Integral'' False)) (f_f::real))"*))] |
27 \ (Rewrite_Set_Inst [(''bdv'',v_v)] ''simplify_Integral'' False)) (f_f::real))"*))] |
28 \<close> |
28 \<close> |
29 |
29 |