DegreeReductionPackage(R1, R2)

solverad.spad line 260 [edit on github]

• R1: Ring

• R2: Join(Comparable, IntegralDomain)

This package is undocumented.

cyclotomic_roots: PositiveInteger -> List Expression R2

cyclotomic_roots(n) returns list of roots of n-th cyclotomic polynomial.

expand: (Expression R2, PositiveInteger) -> List Expression R2

expand(f, n) returns list of all solutions y to equation y^n = f

reduce: SparseUnivariatePolynomial R1 -> Record(pol: SparseUnivariatePolynomial R1, deg: PositiveInteger)

reduce(p) returns [q, d] such that p(x) = q(x^d) and d is maximal with this property