constructible: Exact computation with constructible real numbers
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.
| Versions [faq] | 0.1, 0.1.0.1, 0.1.1 |
|---|---|
| Dependencies | base (==4.*), binary-search (>=0.0), complex-generic (>=0.1), integer-roots (>=1.0) [details] |
| License | BSD-3-Clause |
| Copyright | © 2013 Anders Kaseorg |
| Author | Anders Kaseorg <andersk@mit.edu> |
| Maintainer | Anders Kaseorg <andersk@mit.edu> |
| Category | Math |
| Home page | http://andersk.mit.edu/haskell/constructible/ |
| Source repo | head: git clone https://github.com/andersk/haskell-constructible this: git clone https://github.com/andersk/haskell-constructible(tag 0.1.0.1) |
| Uploaded | by AndersKaseorg at 2020-02-09T13:41:38Z |
| Distributions | NixOS:0.1.1 |
| Downloads | 1911 total (9 in the last 30 days) |
| Rating | (no votes yet) [estimated by Bayesian average] |
| Your Rating | |
| Status | Docs available [build log] Last success reported on 2020-02-09 [all 1 reports] |
Downloads
- constructible-0.1.1.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)