equal
deleted
inserted
replaced
171 else rew_once (lim-1) (rts@[(t,r,(t',a'))]) t' Appl rrs'); |
171 else rew_once (lim-1) (rts@[(t,r,(t',a'))]) t' Appl rrs'); |
172 ...lead to deriv = [] with make_polynomial. |
172 ...lead to deriv = [] with make_polynomial. |
173 THERE IS SOMETHING DIFFERENT beetween rewriting with the code above |
173 THERE IS SOMETHING DIFFERENT beetween rewriting with the code above |
174 and between rewriting with rewrite_set: with rules from make_polynomial and |
174 and between rewriting with rewrite_set: with rules from make_polynomial and |
175 t = "(a^^^2 + -1*b^^^2) / (a^^^2 + -2*a*b + b^^^2)" the actual code |
175 t = "(a^^^2 + -1*b^^^2) / (a^^^2 + -2*a*b + b^^^2)" the actual code |
176 leads to cycling Rls_ order_mult_rls_..Rls_ discard_parentheses_..Rls_ order.. |
176 leads to cycling Rls_ order_mult_rls_..Rls_ discard_parentheses1..Rls_ order.. |
177 *) |
177 *) |
178 in rew_once (!lim_deriv) [] tt Noap rs end; |
178 in rew_once (!lim_deriv) [] tt Noap rs end; |
179 |
179 |
180 |
180 |
181 (*.toggles the marker for 'fun sym_thm'.*) |
181 (*.toggles the marker for 'fun sym_thm'.*) |