DegreeReductionPackage(R1, R2)ΒΆ

solverad.spad line 1 [edit on github]

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