Path: csiph.com!fu-berlin.de!uni-berlin.de!not-for-mail
From: Chris Angelico <rosuav@gmail.com>
Newsgroups: comp.lang.python
Subject: Re: What exactly is "exact" (was Clean Singleton Docstrings)
Date: Mon, 18 Jul 2016 14:35:48 +1000
Lines: 25
Message-ID: <mailman.67.1468816557.2307.python-list@python.org>
References: <nlmpl5$9l4$1@dont-email.me> <nlnl9m$j3b$1@ger.gmane.org> <mailman.137.1467963521.2295.python-list@python.org> <df9aaf24-394f-451a-9518-7e3a8dc67318@googlegroups.com> <nm6kbb$t6b$1@ger.gmane.org> <mailman.51.1468454075.21009.python-list@python.org> <7046c74e-e5ea-4dde-8847-8c556756a563@googlegroups.com> <5789B601.9000604@stoneleaf.us> <mailman.26.1468642801.2307.python-list@python.org> <9d2a0934-bf26-42a8-9bb2-e4e75b2d2ad3@googlegroups.com> <CAPTjJmq+VKdu7x_nzfP8fb=0EiAqWJO6_qKNsabQSnbBStyMsA@mail.gmail.com> <1468652038.1427719.667878897.460955C0@webmail.messagingengine.com> <mailman.28.1468652041.2307.python-list@python.org> <578a027c$0$1616$c3e8da3$5496439d@news.astraweb.com> <69d8d886-c18a-4c05-8bca-9a05afacd9a9@googlegroups.com> <CAPTjJmqTnwJq_gSu6cUZZ4P3ifqGj0Q_0koqwhPz6gibq_SR2g@mail.gmail.com>
Mime-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: quoted-printable
X-Trace: news.uni-berlin.de bIqFRrz8EJ++CoPTiyxtww3IGiwVkDy+p3fJAe4QXEfA==
Return-Path: <rosuav@gmail.com>
X-Original-To: python-list@python.org
Delivered-To: python-list@mail.python.org
X-Spam-Status: OK 0.006
X-Spam-Evidence: '*H*': 0.99; '*S*': 0.00; '16,': 0.03; 'cc:addr :python-list': 0.09; 'integers': 0.09; 'observation': 0.09; '0.3': 0.16; '2016': 0.16; 'from:addr:rosuav': 0.16; 'from:name:chris angelico': 0.16; 'hits': 0.16; 'integer.': 0.16; 'measurement': 0.16; 'received:io': 0.16; 'received:psf.io': 0.16; 'subject:Singleton': 0.16; 'wrote:': 0.16; 'integer': 0.18; 'cc:2**0': 0.20; 'cc:addr:python.org': 0.20; 'explicit': 0.22; 'produces': 0.22; 'second': 0.24; 'written': 0.24; 'header:In- Reply-To:1': 0.24; 'mon,': 0.24; 'message-id:@mail.gmail.com': 0.27; '3.0': 0.27; 'towards': 0.28; 'decimal': 0.29; "d'aprano": 0.33; 'steven': 0.33; 'gives': 0.35; 'received:google.com': 0.35; 'could': 0.35; 'but': 0.36; 'there': 0.36; 'pm,': 0.36; 'subject:: ': 0.37; 'two': 0.37; 'mean': 0.38; 'why': 0.39; 'does': 0.39; 'saturday,': 0.63; 'here': 0.66; 'jul': 0.72; 'chrisa': 0.84; 'utc+5:30,': 0.84; 'to:none': 0.91; 'notion': 0.91
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:in-reply-to:references:from:date:message-id:subject:cc :content-transfer-encoding; bh=I8T1HuoAc/eWPii1rFrOvoC17ZUKaJR/CiScMDuRckk=; b=rf10suv+D+x2mqIOfXMJGGAvRaUagbjpR0KrKZ7P1oNXnQrCxTIg7rqlbW8MUBq+jH lAXge+9zXarWhv0mLJ04KbWkvtmWcdmoi8qCyaubGXfpWSNf0tVcMgFMK8DGgNQG+6Mm h4ci5Wi5wKY8Nw1y3L/+oP38LzMawmoK6pXnnHM+dfjQRT2UfoHEGPRgSuxsY33boklM gd4FK75cGssTz1XJ7vj8qwzzduRRfKi+raWaepsQuaJ87783lzVKYScfVHxvYhPheppx zOb7nX/0DCy4OxJGn5gFjlfW32ZhQ3vt06dNu39AVnMX9nYhFgsEvp/la98OK436H7nk tWBw==
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:mime-version:in-reply-to:references:from:date :message-id:subject:cc:content-transfer-encoding; bh=I8T1HuoAc/eWPii1rFrOvoC17ZUKaJR/CiScMDuRckk=; b=PSlvoTreEWMCjyRbXwmK5UFyvqn5DnISUs9DPKhYvglaJ8VTIFkUeksLEq9SOwmKrg xvLMD/LH/IogArXouioCTTvUpfbBpBLgjkemjwmzTTt6J5ziaMYAEg1cNFGREqYdfAmE AnqU+8xYojN31kxjMI1gq73Z4dDFhObYpUG08b6b+CsukMRTe92nr4zkL8f1BzI+ABvF JnIBns3ln8Orc9hKMQzvEB2h7ECNWURJS1xMziHAUgHqWP0zcQWp0l4Yonj8Rz0Gg6nB GBKzvnj0LiVeRCalhm1YBzB3XB9Grt84KI7VRdZKHIdVx8631nlW8SMWPFBnQKKTtq/M R98A==
X-Gm-Message-State: ALyK8tKwE0HtZb+C/J2uBbSXf4DkzhXqL9ruZIB2opi44MQW1vdO64ThjqMw6mgQM7rG0hz0rLz3JP4yau2bWg==
X-Received: by 10.28.1.23 with SMTP id 23mr35721918wmb.22.1468816549015; Sun, 17 Jul 2016 21:35:49 -0700 (PDT)
In-Reply-To: <69d8d886-c18a-4c05-8bca-9a05afacd9a9@googlegroups.com>
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: <CAPTjJmqTnwJq_gSu6cUZZ4P3ifqGj0Q_0koqwhPz6gibq_SR2g@mail.gmail.com>
X-Mailman-Original-References: <nlmpl5$9l4$1@dont-email.me> <nlnl9m$j3b$1@ger.gmane.org> <mailman.137.1467963521.2295.python-list@python.org> <df9aaf24-394f-451a-9518-7e3a8dc67318@googlegroups.com> <nm6kbb$t6b$1@ger.gmane.org> <mailman.51.1468454075.21009.python-list@python.org> <7046c74e-e5ea-4dde-8847-8c556756a563@googlegroups.com> <5789B601.9000604@stoneleaf.us> <mailman.26.1468642801.2307.python-list@python.org> <9d2a0934-bf26-42a8-9bb2-e4e75b2d2ad3@googlegroups.com> <CAPTjJmq+VKdu7x_nzfP8fb=0EiAqWJO6_qKNsabQSnbBStyMsA@mail.gmail.com> <1468652038.1427719.667878897.460955C0@webmail.messagingengine.com> <mailman.28.1468652041.2307.python-list@python.org> <578a027c$0$1616$c3e8da3$5496439d@news.astraweb.com> <69d8d886-c18a-4c05-8bca-9a05afacd9a9@googlegroups.com>
Xref: csiph.com comp.lang.python:111589

On Mon, Jul 18, 2016 at 2:16 PM, Rustom Mody <rustompmody@gmail.com> wrote:
> On Saturday, July 16, 2016 at 3:16:48 PM UTC+5:30, Steven D'Aprano wrote:
> Here are the first couple of hits it gives (me) for =E2=80=9Cscheme exact=
 number=E2=80=9D
>
> | Scheme integers can be exact and inexact. For example, a number
> | written as 3.0 with an explicit decimal-point is inexact, but it
> | is also an integer.
>
> AIUI=E2=80=A6
> There are two almost completely unrelated notions of exact
>
> 1. =E2=85=93 in decimal cannot be exactly represented though 0.3 0.33 etc=
 are approximations.
>    We could call these inexact forms of =E2=85=93
>
> 2. Measurement and observation produces numbers.  These are inexact inher=
ently.
>
> Scheme's notion of exact is towards capturing the second notion.

Why does that mean that 3.0 is inexact? In what way is 3.0 "inexact"?
It's an exact value representing the integer three.

ChrisA