Math errors in python

Tim Peters tim.peters at gmail.com
Mon Sep 20 06:51:46 CEST 2004


[Paul Rubin]
> I don't know that it's generally tractable to do exact computation on
> constructive reals.  How do you implement comparison (<, >, ==)?

Equality of constructive reals is undecidable.  In practice, CR
packages allow specifying a "number of digits of evidence " parameter
N, so that equality is taken to mean "provably don't differ by more
than a unit in the N'th digit".



More information about the Python-list mailing list