UnivariatePolynomialDivisionPackage(R, UP)ΒΆ

updecomp.spad line 1

UnivariatePolynomialDivisionPackage provides a division for non monic univarite polynomials with coefficients in an IntegralDomain.

divideIfCan: (UP, UP) -> Union(Record(quotient: UP, remainder: UP), failed)
divideIfCan(f, g) returns quotient and remainder of the division of f by g or “failed” if it has not succeeded.