Cat::UnivariatePolynomial -- the
category of univariate polynomials
Introduction represents
the category of univariate polynomials over Cat::UnivariatePolynomial(R)R.
Generating
the categoryCat::UnivariatePolynomial(R)
ParametersR |
- | A domain which must be from the category Cat::CommutativeRing. |
Cat::Polynomial(R)
DetailsCat::UnivariatePolynomial(R) is a
univariate polynomial over the commutative ring R.pdivide(dom p, dom
q)p and
q.(b, s, r) of a ring element
b and polynomials s and r such
that multcoeffs(p, b) = s * q + r holds with b =
lcoeff(q)^(degree(p) - degree(q) + 1).pquo(dom p, dom
q)p and
q, i.e. the second element s of the sequence
returned by the method "pdivide".prem(dom p, dom
q)p and
q, i.e. the third element r of the sequence
returned by the method "pdivide".Cat::UnivariatePolynomialCat.