[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Scheme-reports] Onderwerp: Re: Implied equality
- To: John Cowan <cowan@x>
- Subject: [Scheme-reports] Onderwerp: Re: Implied equality
- From: Biep <scheme@x>
- Date: Sun, 06 Jan 2013 18:38:30 +0100
- Cc: scheme-reports <scheme-reports@x>
- In-reply-to: <20130106172732.GU21765@mercury.ccil.org>
- References: <mailman.83.1356142923.885.scheme-reports@scheme-reports.org> <646005380.190332.1356182404191.JavaMail.sas1@172.29.249.242> <CAMMPzYPSnYC8fWKit844AhD8KKxAKx6Aa9Q-=qEYeVxspCAx7w@mail.gmail.com> <1480517702.266076.1357487075380.JavaMail.sas1@[172.29.249.242]> <20130106172732.GU21765@mercury.ccil.org>
---- Aan Sun, 06 Jan 2013 18:27:33 +0100 John Cowan<cowan@x> schreef ----
> Biep scripsit:
>
> > But in that case the equations for make-polar are false, aren't they?
> > z may be exact on input and inexact on output.
>
> Well, yes. But that point is made immediately thereafter,
That was my point, I suppose. I am not a native speaker of English, and in my ears this sounds like a contradiction, which would be easy to repair by adding some transitional words, such as "except that".
(And very formally, the draft doesn't say /which/ inexact number it may return, once it no longer follows the equations..)
_______________________________________________
Scheme-reports mailing list
Scheme-reports@x
http://lists.scheme-reports.org/cgi-bin/mailman/listinfo/scheme-reports