449 (Specify.prep_pbt thy "pbl_vereinf_poly_klammer_mal" [] Celem.e_pblID |
449 (Specify.prep_pbt thy "pbl_vereinf_poly_klammer_mal" [] Celem.e_pblID |
450 (["binom_klammer","polynom","vereinfachen"], |
450 (["binom_klammer","polynom","vereinfachen"], |
451 [("#Given", ["Term t_t"]), |
451 [("#Given", ["Term t_t"]), |
452 ("#Where", ["t_t is_polyexp"]), |
452 ("#Where", ["t_t is_polyexp"]), |
453 ("#Find", ["normalform n_n"])], |
453 ("#Find", ["normalform n_n"])], |
454 Celem.append_rls "xxxe_rlsxxx" Celem.e_rls [(*for preds in where_*) |
454 Celem.append_rls "e_rls" Celem.e_rls [(*for preds in where_*) |
455 Celem.Calc ("Poly.is'_polyexp", eval_is_polyexp "")], |
455 Celem.Calc ("Poly.is'_polyexp", eval_is_polyexp "")], |
456 SOME "Vereinfache t_t", |
456 SOME "Vereinfache t_t", |
457 [["simplification","for_polynomials","with_parentheses_mult"]])), |
457 [["simplification","for_polynomials","with_parentheses_mult"]])), |
458 (Specify.prep_pbt thy "pbl_probe" [] Celem.e_pblID (["probe"], [], Celem.Erls, NONE, [])), |
458 (Specify.prep_pbt thy "pbl_probe" [] Celem.e_pblID (["probe"], [], Celem.Erls, NONE, [])), |
459 (Specify.prep_pbt thy "pbl_probe_poly" [] Celem.e_pblID |
459 (Specify.prep_pbt thy "pbl_probe_poly" [] Celem.e_pblID |