constructible: Exact computation with constructible real numbers

[ bsd3, library, math ] [ Propose Tags ]

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 [RSS] [faq] 0.1,, 0.1.1, 0.1.2
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 <>
Maintainer Anders Kaseorg <>
Category Math
Home page
Source repo head: git clone
this: git clone
Uploaded by AndersKaseorg at 2020-02-09T13:41:38Z
Distributions NixOS:0.1.1
Downloads 2066 total (15 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Hackage Matrix CI
Docs available [build log]
Last success reported on 2020-02-09 [all 1 reports]


[Index] [Quick Jump]


Maintainer's Corner

For package maintainers and hackage trustees