constructible
Version 0.1.2 revision 0 uploaded by AndersKaseorg.
Package meta
- Synopsis
- Exact computation with constructible real numbers
- Description
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.
- Author
- Anders Kaseorg <andersk@mit.edu>
- Bug reports
- n/a
- Category
- Math
- Copyright
- © 2013 Anders Kaseorg
- Homepage
- http://andersk.mit.edu/haskell/constructible/
- Maintainer
- Anders Kaseorg <andersk@mit.edu>
- Package URL
- n/a
- Stability
- n/a