CyclotomicPolynomialPackage

cyclotom.spad line 1 [edit on github]

This package is undocumented.

cyclotomic: Integer -> SparseUnivariatePolynomial Integer

cyclotomic(n) returns n-th cyclotomic polynomial, that is minimal polynomial over rationals of primitive n-th root of 1.

cyclotomicDecomposition: Integer -> List SparseUnivariatePolynomial Integer

cyclotomicDecomposition(n) returns prime factors of x^n - 1 over integers.

cyclotomicFactorization: Integer -> Factored SparseUnivariatePolynomial Integer

cyclotomicFactorization(n) returns prime factors of x^n - 1 over integers.