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);
(%o1) done
(%i2) tellsimpafter (sin(aa), foo(aa));
(%o2) [sinRULE1, simp-%sin]
(%i3) tellsimpafter (aa + bb, foo(aa, bb));
bb + aa partitions `sum'
(%o3) [+RULE1, simplus]
(%i4) rules;
(%o4) [trigrule0, trigrule1, trigrule2, trigrule3,
trigrule4,
htrigrule1, htrigrule2, htrigrule3, htrigrule4,
sinRULE1, +RULE1]
I think sinRULE1 and +RULE1 want to be sinrule1 and
+rule1, resp.
disprule (sinRULE1) and disprule (trigrule1) both yield
the expected output; dunno if disprule needs to be
adjusted.
tellsimp, on the other hand, constructs rule names in
lowercase, so no problem there.
Logged In: YES
user_id=501686
Rev 1.6 src/matcom.lisp fixes this bug.
I looked for other rule name case sensitivity problems, but
didn't find anything.