# DegreeReductionPackage(R1, R2)¶

expand(f, n) returns list of all solutions y to equation y^n = f
reduce(p) returns [q, d] such that p(x) = q(x^d) and d is maximal with this property