Math.Algebra.Polynomial.Univariate.Cyclotomic

Cyclotomic polynomials

See https://en.wikipedia.org/wiki/Cyclotomic_polynomial

Documentation

cyclotomic :: Int -> Univariate Integer "x"

Synonym to cyclotomicMoebius

cyclotomicMoebius :: Int -> Univariate Integer "x"

Cyclotomic polynomials via Moebius inversion

cyclotomicNaive :: Int -> Univariate Integer "x"

Naive algorithm (using the direct definition of cyclotomic polynomials, and reducing sums of roots of unity till they become integers)