equal
deleted
inserted
replaced
84 (*asm_thm = [],*) |
84 (*asm_thm = [],*) |
85 rules = [ |
85 rules = [ |
86 Thm ("real_assoc_1",num_str @{thm real_assoc_1}), |
86 Thm ("real_assoc_1",num_str @{thm real_assoc_1}), |
87 Calc ("Groups.plus_class.plus",eval_binop "#add_"), |
87 Calc ("Groups.plus_class.plus",eval_binop "#add_"), |
88 Calc ("Groups.minus_class.minus",eval_binop "#sub_"), |
88 Calc ("Groups.minus_class.minus",eval_binop "#sub_"), |
89 Calc ("op *",eval_binop "#mult_"), |
89 Calc ("Groups.times_class.times",eval_binop "#mult_"), |
90 (* Dont use |
90 (* Dont use |
91 Calc ("Rings.inverse_class.divide", eval_cancel "#divide_e"), |
91 Calc ("Rings.inverse_class.divide", eval_cancel "#divide_e"), |
92 Calc ("NthRoot.sqrt",eval_sqrt "#sqrt_"), |
92 Calc ("NthRoot.sqrt",eval_sqrt "#sqrt_"), |
93 *) |
93 *) |
94 Calc ("Atools.pow" ,eval_binop "#power_") |
94 Calc ("Atools.pow" ,eval_binop "#power_") |