My comments Marcin 'Qrczak' Kowalczyk (19 Oct 2005 18:37 UTC)
Re: My comments Bradd W. Szonye (19 Oct 2005 19:17 UTC)
Re: My comments Thomas Bushnell BSG (19 Oct 2005 19:44 UTC)
Re: My comments Bradd W. Szonye (19 Oct 2005 19:55 UTC)
Re: My comments Thomas Bushnell BSG (19 Oct 2005 20:11 UTC)
Re: My comments John.Cowan (19 Oct 2005 20:10 UTC)
Re: My comments Thomas Bushnell BSG (19 Oct 2005 20:13 UTC)
Re: My comments Bradd W. Szonye (19 Oct 2005 20:25 UTC)
Re: My comments Marcin 'Qrczak' Kowalczyk (19 Oct 2005 20:23 UTC)
Re: My comments Bradd W. Szonye (19 Oct 2005 20:36 UTC)
Re: My comments Marcin 'Qrczak' Kowalczyk (19 Oct 2005 21:36 UTC)
Re: My comments Bradd W. Szonye (19 Oct 2005 21:42 UTC)
Re: My comments Bradd W. Szonye (19 Oct 2005 22:08 UTC)
Exactness (was Re: My comments) bear (20 Oct 2005 01:50 UTC)
Re: Exactness Thomas Bushnell BSG (20 Oct 2005 03:45 UTC)
Re: Exactness Marcin 'Qrczak' Kowalczyk (20 Oct 2005 09:13 UTC)
Re: Exactness Bradd W. Szonye (20 Oct 2005 20:15 UTC)
Re: Exactness bear (20 Oct 2005 22:09 UTC)
Re: Exactness Marcin 'Qrczak' Kowalczyk (21 Oct 2005 02:08 UTC)
Re: Exactness Thomas Bushnell BSG (21 Oct 2005 03:05 UTC)
Re: Exactness Marcin 'Qrczak' Kowalczyk (21 Oct 2005 08:15 UTC)
Re: Exactness Thomas Bushnell BSG (21 Oct 2005 18:38 UTC)
Re: Exactness Marcin 'Qrczak' Kowalczyk (21 Oct 2005 20:12 UTC)
Re: Exactness Thomas Bushnell BSG (21 Oct 2005 20:29 UTC)
Re: Exactness Marcin 'Qrczak' Kowalczyk (21 Oct 2005 20:38 UTC)
Re: Exactness Thomas Bushnell BSG (21 Oct 2005 20:44 UTC)
Re: Exactness Marcin 'Qrczak' Kowalczyk (21 Oct 2005 21:20 UTC)
Re: Exactness Thomas Bushnell BSG (21 Oct 2005 21:44 UTC)
Re: Exactness Marcin 'Qrczak' Kowalczyk (21 Oct 2005 22:18 UTC)
Re: Exactness Thomas Bushnell BSG (21 Oct 2005 22:48 UTC)
Re: Exactness Marcin 'Qrczak' Kowalczyk (22 Oct 2005 00:34 UTC)
Re: Exactness Thomas Bushnell BSG (22 Oct 2005 01:02 UTC)
Re: Exactness Per Bothner (22 Oct 2005 00:59 UTC)

Re: My comments Bradd W. Szonye 19 Oct 2005 22:08 UTC

Marcin 'Qrczak' Kowalczyk wrote:
> [The gcd, lcm, numerator, and denominator functions have] ill-defined
> results when the inputs are not known exactly: the slighthest
> inaccuracy in the input yields a totally different answer. R5RS gives
> them too broad domain.

Earlier I said that these functions are useless, but it just occurred to
me that they're necessary whenever you want to deal with a rational
number as a fraction (e.g., to carry out algebraic transformations or
for custom output). In those cases, it doesn't matter whether the
functions are accurate, so long as they're self-consistent.

For example, suppose that some calculation produces the inexact result
1/3 as an approximation to 219/658, and you want to write the fraction
into a TeX document. It doesn't matter that the numerator and
denominator are "wrong," because when you print them together as "1/3"
you still get the correct (if inexact) number.

Likewise, if you're performing algebraic transformations, it doesn't
matter if the GCD or LCM are wildly inaccurate on their own, because you
don't /use/ them on their own. Calculating GCD or LCM is just an
intermediate step. and the later steps in the process will get you back
to reasonable numbers.

These functions are not "ill-defined." Yes, you'll get a totally
different result than you would using exact numbers, but that doesn't
matter unless you use the results improperly (i.e., taking them out of
context instead of preserving their relationships).
--
Bradd W. Szonye
http://www.szonye.com/bradd