constructible: Exact computation with constructible real numbers

[ bsd3, library, math ] [ Propose Tags ] [ Report a vulnerability ]

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.

Modules

[Last Documentation]

  • Data
    • Real
      • Data.Real.Constructible

Downloads

Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees

Candidates

  • No Candidates
Versions [RSS] 0.1, 0.1.0.1, 0.1.1, 0.1.2
Dependencies base (>=4 && <5), binary-search (>=0.0), complex-generic (>=0.1), integer-roots (>=1.0) [details]
License BSD-3-Clause
Copyright © 2013 Anders Kaseorg
Author Anders Kaseorg <andersk@mit.edu>
Maintainer Anders Kaseorg <andersk@mit.edu>
Uploaded by AndersKaseorg at 2021-11-09T18:53:45Z
Category Math
Home page http://andersk.mit.edu/haskell/constructible/
Source repo head: git clone https://github.com/andersk/haskell-constructible
this: git clone https://github.com/andersk/haskell-constructible(tag 0.1.2)
Distributions
Reverse Dependencies 1 direct, 0 indirect [details]
Downloads 2498 total (13 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs not available [build log]
All reported builds failed as of 2021-11-09 [all 2 reports]