On Sat, Feb 12, 2005 at 10:55:05AM -0600, Patrick R. Michaud wrote: > On Sat, Feb 12, 2005 at 12:09:37PM +0800, Autrijus Tang wrote: > > [...] > > - one() checks its operands for duplicates; if found, it collapses > > itself into an empty one() junction, thus failing all tests. > > Is this somewhat saner? :-) > > Depends on when it's checking its operands for duplicates, and > the type of checking being performed. For example, > > $x = one(0, 0, 1);
Right. What I mean is that
one($a, $a, $b)
should collapse into
one($b)
That is, it should delete all duplicate elements from its set. Does it
look like correct?
Thanks,
/Autrijus/
pgpThV8mlWjRN.pgp
Description: PGP signature
