tellsimpafter constructs rule names which have RULE in
caps, but I think the names want to have rule in lowercase.
(%i1) matchdeclare ([aa, bb], constantp);
(%i2) tellsimpafter (sin(aa), foo(aa));
(%o2) [sinRULE1, simp-%sin]
(%i3) tellsimpafter (aa + bb, foo(aa, bb));
bb + aa partitions `sum'
(%o3) [+RULE1, simplus]
(%o4) [trigrule0, trigrule1, trigrule2, trigrule3,
htrigrule1, htrigrule2, htrigrule3, htrigrule4,
I think sinRULE1 and +RULE1 want to be sinrule1 and
disprule (sinRULE1) and disprule (trigrule1) both yield
the expected output; dunno if disprule needs to be
tellsimp, on the other hand, constructs rule names in
lowercase, so no problem there.
Log in to post a comment.