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.