experimental meqp



-----"Stavros Macrakis"  wrote: -----


>Do we really want 'is' to try to figure out what
>the user meant?  Or
>should we keep it simple and clear?
>
>         -s
>

It's fun to see what some imagination and a dozen
lines of code can do. For meqp, I think simple
and clear means to ditch the code that compares
arrays and lambda forms. Toy examples make it
seem cute, but it doesn't work well enough to
be useful:

(%i4) f(x) := x$
(%i5) is(equal(f, lambda([x],x)));
Maxima was unable to evaluate the predicate:

Oh it's all fixable, but I don't know that it
would be all that useful. What do  you all think?

Barton