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 13:30:37 -0400
Lines: 9
Message-ID: <mailman.2.1463938241.20402.python-list@python.org>
References: <CAHJ7fxhOeKFbu3=Jso=wgpBnH9Opr_J_6SHLDO+KtAqVFeGHnA@mail.gmail.com> <mailman.36.1463676220.27390.python-list@python.org> <dq71srF3j00U1@mid.individual.net> <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>
Mime-Version: 1.0
Content-Type: text/plain
Content-Transfer-Encoding: 7bit
X-Trace: news.uni-berlin.de iHXF2h6AW0xOMfxRGMCvLwDDFv97UKUkP5nEMeecLdfA==
Return-Path: <random832@fastmail.com>
X-Original-To: python-list@python.org
Delivered-To: python-list@mail.python.org
X-Spam-Status: OK 0.015
X-Spam-Evidence: '*H*': 0.97; '*S*': 0.00; '22,': 0.09; 'closed.': 0.09; 'received:internal': 0.09; 'subject:while': 0.09; '"an': 0.16; 'message-id:@webmail.messagingengine.com': 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; 'wrote:': 0.16; 'sorry,': 0.22; '(or': 0.23; 'header:In-Reply-To:1': 0.24; 'mathematical': 0.27; 'operators': 0.29; 'subset': 0.29; 'operations': 0.31; 'post': 0.31; 'there': 0.36; 'to:addr:python-list': 0.36; 'subject:: ': 0.37; 'received:10': 0.37; 'received:66': 0.38; 'to:addr:python.org': 0.40; 'your': 0.60; 'entire': 0.61; 'header:Message-Id:1': 0.61; 'real': 0.62; 'subject: / ': 0.63; 'float,': 0.84; 'premise': 0.84; '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=BvVGROFRoKk5Kp80dQPKrn473l0=; b=vJBw/O ZfYTzSHWHPbK3CLa7SbMlZcDZndbsEJSfbe4VNqLNHI5pdDqWRM6iqz1tMjsAqSO JDxzDCIs9Ab1uL8pCQjwqzr4Wd4zxFMPNi5+7gBraQkMd9qrQ39R6CTW6/1K69zr Y+sF0rzQytZnnz4itAotIkrBANDjDORAV8VIA=
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=BvVGROFRoKk5Kp8 0dQPKrn473l0=; b=dRCD+lR3w9FDtRoaLcqX/tEVc+MRdXWKCXdetDHwBpqzCoK pP7w/P2g+1iseNTqJrQIkzVfwLZynpnaXPZ5SRp8qMG7Nehe8JPyd04hIFFIcmPs 3LbyOKcXFJUrk2rjXVBDAEO5MVt7xWp3mHac3x1EAMKjTfQMJ7jlgBlcyU4c=
X-Sasl-Enc: KK6takMBfbxMFvC0J01ZL7KA3/Z/ZLXDQ+mUZfL5py6b 1463938237
X-Mailer: MessagingEngine.com Webmail Interface - ajax-37b57599
In-Reply-To: <slrnnk3opm.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: <1463938237.1828035.615243249.4F306225@webmail.messagingengine.com>
X-Mailman-Original-References: <CAHJ7fxhOeKFbu3=Jso=wgpBnH9Opr_J_6SHLDO+KtAqVFeGHnA@mail.gmail.com> <mailman.36.1463676220.27390.python-list@python.org> <dq71srF3j00U1@mid.individual.net> <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>
Xref: csiph.com comp.lang.python:108952

On Sun, May 22, 2016, at 12:46, Jon Ribbens wrote:
> Sorry, I have to stop you there as the entire premise of your post is
> clearly wrong. "int" is not "an approximation of real numbers", it's
> a model of the mathematical concept "integers",

It is a representation of Z, a subset of R (as is float, technically,
though that particular subset has no nice name like Z and Q) The
operators that apply to it are the operations on R, even operations
under which Z (or even R) is not closed.