Interesting list Validity (True/False)

[mensanator at aol.com]

On May 14, 8:10?pm, Carsten Haese <cars... at uniqsys.com> wrote:
> On Mon, 2007-05-14 at 11:41 -0700, mensana... at aol.com wrote:
> > On May 13, 8:24 am, Steven D'Aprano
> > <s... at REMOVE.THIS.cybersource.com.au> wrote:
> > > On Sat, 12 May 2007 21:50:12 -0700, mensana... at aol.com wrote:
> > > >> > <quote>
> > > >> > "if arg==True" tests whether the object known as arg is equal to the
> > > >> > object known as True.
> > > >> > </quote>
>
> > > >> Not at all, it makes perfect sense. X == Y always tests whether the
> > > >> argument X is equal to the object Y regardless of what X and Y are.
>
> > > > Except for the exceptions, that's why the statement is wrong.
>
> > > But there are no exceptions.
>
> > <quote emphasis added>
> > Sec 2.2.3:
> > Objects of different types, *--->except<---* different numeric types
> > and different string types, never compare equal;
> > </quote>
>
> The exceptions you mean are not exceptions to "'X==Y' means 'X equals
> Y'".

I never said they were. I said they were exceptions to
"Obbjects of different types never compare equal".

> They are exceptions to "'X equals Y' means 'X is mathematically the
> same as Y',"

Who's "they"?. (1,2) and [1,2] are mathematically equal but
the == comparison returns False. They are not an exception
to "mathematically equal", neither are they exceptions to
"different types never compare equal".

1 and mpz(1) compare equal so aren't an exception to
"mathematically equal" although they are an exception
to "different types never compare equal".

You need to be more explicit about what you're
talking about, as this last argument makes no sense.

> but that is not how equality is actually defined.

Ok, I'll bite. How is "equality" defined?

Are you implying that I can interchange 1 and mpz(1)
because the == comparison returns True?

Are you implying that I can't interchange (1,2) and [1,2]
because the == comparison returns False?

Please make sure your definition deals with these cases.

>
> --
> Carsten Haesehttp://informixdb.sourceforge.net