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