Re: True == 1 weirdness

From	Random832 <random832@fastmail.com>
Subject	Re: True == 1 weirdness
Date	2015-09-18 17:21 -0400
References	(1 earlier) <55fc0e4d$0$1645$c3e8da3$5496439d@news.astraweb.com> <1442583652.2433512.387297097.0C910B45@webmail.messagingengine.com> <mthktk$q5p$1@ger.gmane.org> <1442603558.2508492.387585473.6851D82C@webmail.messagingengine.com> <CALwzidnO0=dJhU7BK8oKSZAOOj1Utg33paiNfz=yzGK6sZ87cg@mail.gmail.com>
Newsgroups	comp.lang.python
Message-ID	<mailman.7.1442611269.21674.python-list@python.org> (permalink)

Show all headers | View raw

On Fri, Sep 18, 2015, at 17:13, Ian Kelly wrote:
> Whoever wrote the Wikipedia article disagrees:
> 
> https://en.wikipedia.org/wiki/Inequality_(mathematics)#Chained_notation
> 
> Although the reference to Python leads one to suspect that this could
> be based more on Python's semantics than on actual mathematics.

Also, it says "different directions", but the provided example doesn't
actually *show* different directions (i.e. mixing less-operators with
greater-operators). The provided example "a < b = c <= d" does allow you
to infer relationships between all participants: a < b, a < c, a < d, b
= c, b <= d, c <= d.

Back to comp.lang.python | Previous | Next — Previous in thread | Find similar | Unroll thread

Thread

Re: True == 1 weirdness Random832 <random832@fastmail.com> - 2015-09-18 08:47 -0400
  Re: True == 1 weirdness Steven D'Aprano <steve@pearwood.info> - 2015-09-18 23:14 +1000
    Re: True == 1 weirdness Random832 <random832@fastmail.com> - 2015-09-18 09:40 -0400
      Re: True == 1 weirdness Gregory Ewing <greg.ewing@canterbury.ac.nz> - 2015-09-19 19:19 +1200
    Re: True == 1 weirdness Terry Reedy <tjreedy@udel.edu> - 2015-09-18 14:24 -0400
    Re: True == 1 weirdness Random832 <random832@fastmail.com> - 2015-09-18 15:12 -0400
      Re: True == 1 weirdness Jussi Piitulainen <harvesting@makes.email.invalid> - 2015-09-19 09:23 +0300
    Re: True == 1 weirdness Ian Kelly <ian.g.kelly@gmail.com> - 2015-09-18 15:13 -0600
    Re: True == 1 weirdness Random832 <random832@fastmail.com> - 2015-09-18 17:21 -0400

csiph-web