On 5/3/06, Andrej Vodopivec <andrej.vodopivec at gmail.com> wrote:
>
> I think the definition of logand in functs.mac is wrong. It should be
> logand(x,y) = ?bool(1,x,y) or even ?logand(x,y)....
Eventually, I think logand etc. should all become simplifying functions, so
that logand(0,x)=>0, logand(-1,x)=3D>x, logand(x,x)=>x, etc.