#731 tellsimpafter names rules incorrectly (case sensitivity bug)

closed
nobody
Lisp Core (471)
5
2012-12-04
2005-04-28
No

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.

Discussion

  • Robert Dodier

    Robert Dodier - 2005-04-29

    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.

     
  • Robert Dodier

    Robert Dodier - 2005-04-29
    • status: open --> closed
     

Log in to post a comment.