The constructible package

[Tags:bsd3, library]

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.

Properties

Versions 0.1, 0.1.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 <andersk@mit.edu>
Maintainer Anders Kaseorg <andersk@mit.edu>
Stability Unknown
Category Math
Home page http://andersk.mit.edu/haskell/constructible/
Source repository head: git clone https://github.com/andersk/haskell-constructible
this: git clone https://github.com/andersk/haskell-constructible(tag 0.1.0.1)
Uploaded Thu Jul 11 10:34:31 UTC 2013 by AndersKaseorg
Distributions NixOS:0.1.0.1
Downloads 563 total (7 in the last 30 days)
Votes
0 []
Status Docs uploaded by user
Build status unknown [no reports yet]

Modules

[Index]

Downloads

Maintainer's Corner

For package maintainers and hackage trustees