#456 is/equal fails with varying vrbl ordering

closed
nobody
Lisp Core (471)
5
2006-12-19
2003-11-30
No

is(equal(rat((x+y+a)^3,x),rat((x+y+a)^3,y)))

is "unable to evaluate the predicate".

This is really annoying. Equal should at least check
whether ratsimp(a-b)=0. It is also annoying that equal
disreps rat expressions for no good reason.
Unfortunately, you can't simply add $equal to (mlist
mequal) in simpargs because meqp gets confused.

But something like that would be good when someone
has the time to test thoroughly.

Discussion

  • Robert Dodier

    Robert Dodier - 2006-07-13
    • labels: --> Lisp Core
     
  • Robert Dodier

    Robert Dodier - 2006-07-13

    Logged In: YES
    user_id=501686

    Observed in 5.9.3cvs.

     
  • Robert Dodier

    Robert Dodier - 2006-12-19

    Logged In: YES
    user_id=501686
    Originator: NO

    Fixed by r1.16 src/compar.lisp (by Barton Willis).

     
  • Robert Dodier

    Robert Dodier - 2006-12-19
    • status: open --> closed
     

Log in to post a comment.

Get latest updates about Open Source Projects, Conferences and News.

Sign up for the SourceForge newsletter:





No, thanks