@hackage constructible0.1.1

Exact computation with constructible real numbers

Categories
- Mathematics
License
BSD-3-Clause
Maintainer
Anders Kaseorg <andersk@mit.edu>
Links
Versions
- 0.1.2 Tue, 9 Nov 2021
- 0.1.1 Sun, 9 Feb 2020
- 0.1.0.1 Thu, 11 Jul 2013
- 0.1 Tue, 9 Jul 2013

Installation
In your cabal file:
Dependencies (4)
- base >=4 && <5
- binary-search >=0.0
- complex-generic >=0.1
- integer-roots >=1.0
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.

@hackage constructible0.1.1

Categories

License

Maintainer

Links

Versions

Installation

Dependencies (4)

Dependents (1)