On Thu, Apr 8, 2021 at 3:25 AM Ralph Mellor <ralphdjmel...@gmail.com> wrote:
>
> On Wed, Apr 7, 2021 at 2:12 PM sisyphus <sisyphus...@gmail.com> wrote:
>
> > I also stick to my view that the latter should be the default
> > behaviour, as is the case with python3
> ...
> I can't imagine making an exception for converting nums into
> their exact rational equivalents, with all the negative impact
> that a special case brings, including that code like this:
>
> 0.1 == 1e0
>
> which currently returns `True`, would instead return `False`.

That should of course have been:

0.1 == 1e-1

> > 1) Open a new issue about the fact that The Num to
> > Rat/FatRat conversion cannot be made;
>
> Well it can. It's just that it's an intelligent coercion, one that
> takes into account the nature of a num as an approximate
> format, not an exact one, and thus picks a nearest neatly
> rounded rational. So this returns `True`:
>
> 0.1 == 1e0.Rat; # True

That should of course have been:

say 0.1 == 1e-1.Rat; # True

--
raiph

Reply via email to