@hackage / constructible

Exact computation with constructible real numbers

Latest0.1.2

About

Metadata

  • Last updated , by AndersKaseorg
  • License BSD-3-Clause
  • Categories Mathematics

  • Maintained by: Anders Kaseorg <andersk@mit.edu>

  • Lottery factor: 0

Links

Installation

Readme

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.