[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: NAND & NOR now n-ary; Bug in BITWISE-EQV? implementation

This page is part of the web mail archives of SRFI 33 from before July 7th, 2015. The new archives for SRFI 33 contain all messages, not just those from before July 7th, 2015.

> I also discovered a bug in the spec for n-ary eqv. This is true:
>   (eqv i j) = (not (xor i j))
> But it does not generalise to the n-ary case. That is, it is *NOT TRUE* that
>   (eqv i ...)  =  (not (xor i ...))

Are you sure?  I've always thought that  (eqv i ...)  =  (not (xor i ...)) .
What does eqv mean anyway?  Does a 1 bit in the result mean that all arguments
have the same value for that bit?  Or does it mean even-parity (odd-parity
being computed by xor)?  What's your reference?