On 8/29/09, Alejandro Jakubi <jakubi at df.uba.ar> wrote:
> (%i1) tellsimpafter (aa + bb, special_add (aa, bb));
> (%o1) [+rule1, simplus]
> (%i2) aa+bb;
> (%o2) special_add(aa, bb)
> (%i3) remrule("+", "+rule1");
>
> "+rule1" - no such rule.
Sorry, the example is out of date.
I think remrule("+", ?\+rule1); should work instead.
I'll update the manual.
Robert Dodier