The constructible package

[ Tags: 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 0.1,
Dependencies arithmoi (>=0.1), base (==4.*), binary-search (>=0.0), complex-generic (>=0.1) [details]
License BSD3
Copyright © 2013 Anders Kaseorg
Author Anders Kaseorg <>
Maintainer Anders Kaseorg <>
Category Math
Home page
Source repository head: git clone
this: git clone 0.1)
Uploaded Tue Jul 9 11:47:30 UTC 2013 by AndersKaseorg
Distributions NixOS:
Downloads 884 total (152 in the last 30 days)
Rating (no votes yet) [estimated by rule of succession]
Your Rating
  • λ
  • λ
  • λ
Status Docs uploaded by user
Build status unknown [no reports yet]
Hackage Matrix CI




Maintainer's Corner

For package maintainers and hackage trustees