Scott N. Walck | 1 Aug 17:50 2012

ANNOUNCE: cyclotomic 0.3.1: exact calculations with a subfield of the complex numbers

cyclotomic is a library that allows exact calculations with a subfield
of the complex numbers.

The cyclotomic numbers are a subset of the complex numbers with the
following properties:

* The cyclotomic numbers are represented exactly, enabling exact
  computations and equality comparisons.

* The cyclotomic numbers contain the Gaussian rationals (complex
  numbers of the form p + q i with p and q rational). As a
  consequence, the cyclotomic numbers are a dense subset of the
  complex numbers.

* The cyclotomic numbers contain the square roots of all rational
  numbers.

* The cyclotomic numbers form a field: they are closed under addition,
  subtraction, multiplication, and division.

* The cyclotomic numbers contain the sine and cosine of all rational
  multiples of pi.

* The cyclotomic numbers can be thought of as the rational field
  extended with nth roots of unity for arbitrarily large integers n.

To install, just

cabal install cyclotomic

(Continue reading)


Gmane