On 5/3/06, Stavros Macrakis <macrakis at gmail.com> wrote:
> Eventually, I think logand etc. should all become simplifying functions, so
> that logand(0,x)=>0, logand(-1,x)=>x, logand(x,x)=>x, etc.
Agreed, but when we get to that, let's take the opportunity to change the
names from logand, logor, and logxor to bitwise_and, bitwise_or, and
bitwise_xor.
logfoo is confusing on two counts; log is short for logarithm, a function
which plays a larger role in Maxima than bitwise operations, and
"logical" isn't a very good description anyway -- these functions are
just for bit twiddling, and have nothing to do with symbolic true / false.
FWIW
Robert