Path: csiph.com!fu-berlin.de!uni-berlin.de!not-for-mail
From: Random832 <random832@fastmail.com>
Newsgroups: comp.lang.python
Subject: Re: for / while else doesn't make sense
Date: Sun, 22 May 2016 14:14:47 -0400
Lines: 11
Message-ID: <mailman.3.1463940890.20402.python-list@python.org>
References: <CAHJ7fxhOeKFbu3=Jso=wgpBnH9Opr_J_6SHLDO+KtAqVFeGHnA@mail.gmail.com> <573EC62F.4090401@lucidity.plus.com> <CAKJDb-Nj=Wr2=3ZL3n=xRCiCa6qVmyRX1P47Wvvy7EAw1izjLQ@mail.gmail.com> <d95ba62e-0acb-d0df-8eca-7b748d4730bb@icloud.com> <mailman.57.1463775663.27390.python-list@python.org> <573f9322$0$1616$c3e8da3$5496439d@news.astraweb.com> <slrnnjvbhs.krr.jon+usenet@wintry.unequivocal.co.uk> <CAPTjJmp3FK7qeAPRmmY_9u8dg8DMB16uejHtzewkm=d6Rbo8qg@mail.gmail.com> <mailman.63.1463796315.27390.python-list@python.org> <slrnnk3fv0.krr.jon+usenet@wintry.unequivocal.co.uk> <5741cde9$0$1587$c3e8da3$5496439d@news.astraweb.com> <slrnnk3ll1.krr.jon+usenet@wintry.unequivocal.co.uk> <CAPTjJmop7eCo+cPXWWH24_CJSYH7NU=FwJdN8otGcb3B9wLe+A@mail.gmail.com> <mailman.0.1463934926.20402.python-list@python.org> <slrnnk3opm.krr.jon+usenet@wintry.unequivocal.co.uk> <1463938237.1828035.615243249.4F306225@webmail.messagingengine.com> <mailman.2.1463938241.20402.python-list@python.org> <slrnnk3sqn.krr.jon+usenet@wintry.unequivocal.co.uk> <1463940887.1835433.615265121.35FBEC6D@webmail.messagingengine.com>
Mime-Version: 1.0
Content-Type: text/plain
Content-Transfer-Encoding: 7bit
X-Trace: news.uni-berlin.de tjQPs0ZX88qOYi8vye9jlAGETxIfJFH8+ltjjPybD3Kg==
Return-Path: <random832@fastmail.com>
X-Original-To: python-list@python.org
Delivered-To: python-list@mail.python.org
X-Spam-Status: OK 0.002
X-Spam-Evidence: '*H*': 1.00; '*S*': 0.00; '**)': 0.09; '22,': 0.09; 'integers': 0.09; 'received:internal': 0.09; 'subject:while': 0.09; 'python': 0.10; '"/"': 0.16; 'division,': 0.16; 'message- id:@webmail.messagingengine.com': 0.16; 'operation.': 0.16; 'received:10.202': 0.16; 'received:10.202.2': 0.16; 'received:10.202.2.212': 0.16; 'received:66.111': 0.16; 'received:66.111.4': 0.16; 'received:io': 0.16; 'received:messagingengine.com': 0.16; 'received:psf.io': 0.16; 'subject:make': 0.16; 'subtraction': 0.16; 'wrote:': 0.16; 'saying': 0.22; '(you': 0.23; 'header:In-Reply-To:1': 0.24; 'least': 0.27; 'mathematical': 0.27; 'arithmetic': 0.29; 'division': 0.29; 'operators': 0.29; 'language.': 0.32; 'surely': 0.33; 'gives': 0.35; "isn't": 0.35; 'to:addr:python-list': 0.36; 'subject:: ': 0.37; 'received:10': 0.37; 'no,': 0.38; 'received:66': 0.38; 'to:addr:python.org': 0.40; 'header:Message- Id:1': 0.61; 'subject: / ': 0.63; 'fact,': 0.67; 'therefore': 0.67; 'subject:else': 0.84; 'subject:sense': 0.84
DKIM-Signature: v=1; a=rsa-sha1; c=relaxed/relaxed; d=fastmail.com; h= content-transfer-encoding:content-type:date:from:in-reply-to :message-id:mime-version:references:subject:to:x-sasl-enc :x-sasl-enc; s=mesmtp; bh=78oUD00KXVkPJ1OZEQr7qyACejc=; b=P4kRcO uoCzMtCVzVJX6wbksei8QdZVy0CprWWytgJrYHOKXPn1Wp+P+HbjEWHGbyZWSety 2U8cwujCZ2RyhweVP7Vx449dGJ+DXDzEvkt35OhM5Uw2YlZ/21Jo5Ix3twu/bQbc 2LFQBctvnsj1S9uQVj82Q8Re7mFS29nZLoW3M=
DKIM-Signature: v=1; a=rsa-sha1; c=relaxed/relaxed; d= messagingengine.com; h=content-transfer-encoding:content-type :date:from:in-reply-to:message-id:mime-version:references :subject:to:x-sasl-enc:x-sasl-enc; s=smtpout; bh=78oUD00KXVkPJ1O ZEQr7qyACejc=; b=knWseODcobvbdoPF1F2NgfWAsgj+7ilZizVOwJ43An8qPAN 5v14GF45DgSjxqW2Q5wzbjbvQgBLuguDzNWY62DEqU4VkCH82vU7ybUxrUrmsbop qzeyrtWPqq2OHYX0++Q7QVBfo5uVulRZn6x4UqbJp9an35VuJoZt/yRLrhqQ=
X-Sasl-Enc: 2fcq3FKu+q/HeXymnOLKcJ3ou0eWGUblW8TpiHJvZMNX 1463940887
X-Mailer: MessagingEngine.com Webmail Interface - ajax-37b57599
In-Reply-To: <slrnnk3sqn.krr.jon+usenet@wintry.unequivocal.co.uk>
X-BeenThere: python-list@python.org
X-Mailman-Version: 2.1.22
Precedence: list
List-Id: General discussion list for the Python programming language <python-list.python.org>
List-Unsubscribe: <https://mail.python.org/mailman/options/python-list>, <mailto:python-list-request@python.org?subject=unsubscribe>
List-Archive: <http://mail.python.org/pipermail/python-list/>
List-Post: <mailto:python-list@python.org>
List-Help: <mailto:python-list-request@python.org?subject=help>
List-Subscribe: <https://mail.python.org/mailman/listinfo/python-list>, <mailto:python-list-request@python.org?subject=subscribe>
X-Mailman-Original-Message-ID: <1463940887.1835433.615265121.35FBEC6D@webmail.messagingengine.com>
X-Mailman-Original-References: <CAHJ7fxhOeKFbu3=Jso=wgpBnH9Opr_J_6SHLDO+KtAqVFeGHnA@mail.gmail.com> <573EC62F.4090401@lucidity.plus.com> <CAKJDb-Nj=Wr2=3ZL3n=xRCiCa6qVmyRX1P47Wvvy7EAw1izjLQ@mail.gmail.com> <d95ba62e-0acb-d0df-8eca-7b748d4730bb@icloud.com> <mailman.57.1463775663.27390.python-list@python.org> <573f9322$0$1616$c3e8da3$5496439d@news.astraweb.com> <slrnnjvbhs.krr.jon+usenet@wintry.unequivocal.co.uk> <CAPTjJmp3FK7qeAPRmmY_9u8dg8DMB16uejHtzewkm=d6Rbo8qg@mail.gmail.com> <mailman.63.1463796315.27390.python-list@python.org> <slrnnk3fv0.krr.jon+usenet@wintry.unequivocal.co.uk> <5741cde9$0$1587$c3e8da3$5496439d@news.astraweb.com> <slrnnk3ll1.krr.jon+usenet@wintry.unequivocal.co.uk> <CAPTjJmop7eCo+cPXWWH24_CJSYH7NU=FwJdN8otGcb3B9wLe+A@mail.gmail.com> <mailman.0.1463934926.20402.python-list@python.org> <slrnnk3opm.krr.jon+usenet@wintry.unequivocal.co.uk> <1463938237.1828035.615243249.4F306225@webmail.messagingengine.com> <mailman.2.1463938241.20402.python-list@python.org> <slrnnk3sqn.krr.jon+usenet@wintry.unequivocal.co.uk>
Xref: csiph.com comp.lang.python:108956

On Sun, May 22, 2016, at 13:55, Jon Ribbens wrote:
> No, in Python integers are closed under the standard arithmetic
> operators (+ - * / % **)

Z is not closed under standard division, as surely as N isn't closed
under subtraction and R isn't closed under exponentiation. That is a
mathematical fact, not one about any particular language. What you are
saying is that Python 2's "/" is _not_ standard division (you want to
talk about the principle of least surprise...), and is therefore _not_ a
standard arithmetic operation. It's not Euclidean division, either,
since it gives a negative remainder for negative divisors.