On 7/7/2014 6:14 AM, Jaime Villate wrote:
On 04-07-2014 22:48, Barton Willis wrote:

    (%i7) (x : [a], y : [b])$
    (%i8) :lisp(eq (car (meval '$x)) (car (meval '$y)))
    NIL


I'm puzzled by this result:

(%i1) (x : [a], y : [b])$
(%i2) :lisp(eq (car (meval '$x)) (car (meval '$y)))
NIL

mlist has no operators property and no simplifier, so the simplifier merely
simplifies the individual items on the list.  I suppose it is a bug that it
just tacks on  'simp   to make   ((mlist simp) ....)  instead of looking for msimpind.

(and in response to later note by Bill Wood)   it saves memory and time
to have all (mlisp simp)  forms be identical   (EQ)  not just EQUAL.

RJF


(%i2) :lisp(car (meval '$x))
(MLIST SIMP)
(%i2) :lisp(car (meval '$y))
(MLIST SIMP)


Jaime



------------------------------------------------------------------------------
Open source business process management suite built on Java and Eclipse
Turn processes into business applications with Bonita BPM Community Edition
Quickly connect people, data, and systems into organized workflows
Winner of BOSSIE, CODIE, OW2 and Gartner awards
http://p.sf.net/sfu/Bonitasoft


_______________________________________________
Maxima-discuss mailing list
Maxima-discuss@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/maxima-discuss