@hackage constructible0.1.0.1
Exact computation with constructible real numbers
Categories
License
BSD-3-Clause
Maintainer
Anders Kaseorg <andersk@mit.edu>
Links
Versions
Installation
Dependencies (4)
- arithmoi >=0.1
- base >=4 && <5
- binary-search >=0.0
- complex-generic >=0.1 Show all…
Dependents (1)
@hackage/acme-everything
The constructible reals are the subset of the real numbers that can be represented exactly using field operations (addition, subtraction, multiplication, division) and positive square roots. They support exact computations, equality comparisons, and ordering.