[Maxima] Incompatible changes .. was Re: Program stack overflow defining infix operator

[Robert Dodier]

On Mon, Aug 10, 2009 at 3:54 AM, Barton Willis<willisb at unk.edu> wrote:

> Maxima already has simplifying and non-simplifying logical connectives.
> Both conjunctions are named "and."

> Further there is a defmspec mand function. The function mand
> is sometimes called before simp-mand

OK, thanks for this info. From the user's point of view,
I think the major distinction is commutative vs noncommutative,
and short-circuit vs non-short-circuit.
At present we have noncommutative, short-circuit operators.
I think we also want commutative, non-short-circuit operators,
among other things.

FWIW

Robert Dodier