In article <[EMAIL PROTECTED]>,
Jerzy Karczmarczuk <[EMAIL PROTECTED]> wrote:
> If I were to write
>
> pi = 3.1415926536 :: Rational
>
> I suppose that I would like to see rather 355/113 or something close,
> than 3926990817/125000 or similar.
There should be a separate syntax for that. As
Ashley Yakeley <[EMAIL PROTECTED]> writes:
> There should be a separate syntax for that. As it stands, the string
> "3.1415926536" unambiguously specifies a rational number. Perhaps
> something like "3.1415926536..." should be interpreted as the 'simplest'
> rational that agrees with the given
In article <[EMAIL PROTECTED]>,
[EMAIL PROTECTED] (Ketil Z. Malde) wrote:
> I.e. for 3.14, allow any rational number in [3.14,3.15), or
> perhaps (3.135,3.145]?
Specifically the simplest rational in the range (I prefer the second
one, "round half even"). One rational is simpler than another if