[Maxima-bugs] [ maxima-Bugs-1547584 ] is(equal([a],[a,b])

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

Bugs item #1547584, was opened at 2006-08-27 14:23
Message generated for change (Comment added) made by robert_dodier
You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=104933&aid=1547584&group_id=4933

Please note that this message will contain a full copy of the comment thread,
including the initial issue submission, for this request,
not just the latest update.
Category: Lisp Core
Group: None
>Status: Closed
>Resolution: Fixed
Priority: 5
Private: No
Submitted By: Barton Willis (willisbl)
Assigned to: Nobody/Anonymous (nobody)
Summary: is(equal([a],[a,b])

Initial Comment:
is(equal([a],[a,b])) signals an error (from fullmap).
That's not right. It should evaluate to false.

Barton

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

>Comment By: Robert Dodier (robert_dodier)
Date: 2006-12-18 21:49

Message:
Logged In: YES 
user_id=501686
Originator: NO

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


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

Comment By: Barton Willis (willisbl)
Date: 2006-08-27 14:30

Message:
Logged In: YES 
user_id=895922

Another problem with is(equal(...)):

assume(equal(a,aa));
is(equal(f(a), f(aa)) --> error or unknown depending on
prederror (should be true),

is(equal(a < b, [a,b]) --> error or unknown depending on
prederror (should be false)

and ....


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

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