On Fri, May 04, 2007 at 07:47:06PM +0200, Abdelrazak Younes wrote:
> Andre Poenitz wrote:
> >On Fri, May 04, 2007 at 06:49:32PM +0200, Andre Poenitz wrote:
> >>>About this particular one, I proposed to make the method pure virtual,
> >>>any objection?
> >>Unless you do not end up with 85 implementations, that's fine with me.
^^^^^^ ^^^
Neg. Neg.
> >Negation is considered a projection...
>
> What do you mean?
If for an operator P the equality P o P = P holds true (i.e. basically
$P(P(x)) = P(x) \forall x \in \Omega$), it is called a 'projection'. To
make a double negation mean the same as a single negation (and only a
single negation is needed for wat I was trying to say originally), it
would be sufficient, if negation was a projection...
Now, of course you could argue that it isn't, but then I simply won't
listen ;-}
Andre'
