UnivariatePolynomialDivisionPackage(R, UP)

updecomp.spad line 1 [edit on github]

• R: IntegralDomain

• UP: UnivariatePolynomialCategory R

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.