cyclotomic

A subfield of the complex numbers for exact calculation.

Version on this page:	1.0.1
LTS Haskell 24.28:	1.1.2
Stackage Nightly 2026-01-17:	1.1.2
Latest on Hackage:	1.1.2

See all snapshots cyclotomic appears in

GPL-3.0-only licensed by Scott N. Walck

Maintained by Scott N. Walck

This version can be pinned in stack with:cyclotomic-1.0.1@sha256:ed21da71028fb52edbc172b3f136027d90df7a9f7aa4589992368628bc6c09d4,2091

Module documentation for 1.0.1

Data
- Data.Complex
  - Data.Complex.Cyclotomic
- Data.Number
  - Data.Number.RealCyclotomic

Depends on 3 packages(full list with versions):

arithmoi, base, containers

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.