[Maxima-bugs] [ maxima-Bugs-1191487 ] tellsimpafter names rules incorrectly (case sensitivity bug)

[SourceForge.net <no...@so...>]

Bugs item #1191487, was opened at 2005-04-27 23:20
Message generated for change (Tracker Item Submitted) made by Item Submitter
You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=104933&aid=1191487&group_id=4933

Category: Lisp Core
Group: Fix for 5.9.2
Status: Open
Resolution: None
Priority: 5
Submitted By: Robert Dodier (robert_dodier)
Assigned to: Nobody/Anonymous (nobody)
Summary: tellsimpafter names rules incorrectly (case sensitivity bug)

Initial Comment:
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.

----------------------------------------------------------------------

You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=104933&aid=1191487&group_id=4933