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

Versions0.1, 0.1.0.1
Dependenciesarithmoi (>=0.1), base (==4.*), binary-search (>=0.0), complex-generic (>=0.1)
LicenseBSD3
Copyright© 2013 Anders Kaseorg
AuthorAnders Kaseorg <andersk@mit.edu>
MaintainerAnders Kaseorg <andersk@mit.edu>
CategoryMath
Home pagehttp://andersk.mit.edu/haskell/constructible/
Source repositoryhead: git clone https://github.com/andersk/haskell-constructible
this: git clone https://github.com/andersk/haskell-constructible(tag 0.1.0.1)
UploadedThu Jul 11 10:34:31 UTC 2013 by AndersKaseorg
Downloads253 total (16 in last 30 days)
StatusDocs uploaded by user
Build status unknown [no reports yet]

Modules

[Index]

Downloads

Maintainers' corner

For package maintainers and hackage trustees