Incompatible changes .. was Re: Program stack overflow defining infix operator
Subject: Incompatible changes .. was Re: Program stack overflow defining infix operator
From: Robert Dodier
Date: Mon, 10 Aug 2009 10:00:25 -0600
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