A subfield of the complex numbers for exact calculation.

Latest on Hackage:1.1.1

See all snapshots cyclotomic appears in

GPL-3.0-only licensed by Scott N. Walck
Maintained by Scott N. Walck

Module documentation for 0.5.1

This version can be pinned in stack with:[email protected]:ae2328768707823408b574a4698b9190a4e73517f1fcae27810eb2f95fd2c75b,2177

The cyclotomic numbers are a subset of the complex numbers that are represented exactly, enabling exact computations and equality comparisons. They contain the Gaussian rationals (complex numbers of the form p + q i with p and q rational), as well as all complex roots of unity. The cyclotomic numbers contain the square roots of all rational numbers. They contain the sine and cosine of all rational multiples of pi. The cyclotomic numbers form a field, being closed under addition, subtraction, mutiplication, and division.