constructible: Exact computation with constructible real numbers

[ 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.

Modules

Data
- Real
  - Data.Real.Constructible

Downloads

constructible-0.1.2.tar.gz [browse] (Cabal source package)
Package description (as included in the package)

Maintainer's Corner

For package maintainers and hackage trustees

edit package information

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>
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)
Uploaded	by AndersKaseorg at 2021-11-09T18:53:45Z
Distributions	NixOS:0.1.2
Downloads	2148 total (10 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]