DegreeReductionPackage(R1, R2)ΒΆ

solverad.spad line 1

This package is undocumented.

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