2015-05-27 14:15 GMT+02:00 Sean P. DeNigris <[email protected]>:

> Nicolas Cellier wrote
> > we want to have this property a=b & (a=c) ==> (b=c).
>
> If IUC it sounds more inconsistent because
>   (5463/20) = (10926/40) "true"
>
>
>
What is less consistent is that these fractions are all different:

fractions := (101 to: 200) collect:  [:n | 1<<n+1/(1<<n)].
[fractions asSet size = 100] assert.

But they are all "equal" to the same float:

[fractions allSatisfy: [:f | f asFloat = 1.0]] assert.
[(fractions collect: #asFloat as: Set) size = 1] assert.

Don't you see a problem now?


> -----
> Cheers,
> Sean
> --
> View this message in context:
> http://forum.world.st/Inconsistent-number-comparison-tp4828795p4828890.html
> Sent from the Pharo Smalltalk Developers mailing list archive at
> Nabble.com.
>
>

Reply via email to