Cat::UnivariatePolynomial
-- the
category of univariate polynomials
represents
the category of univariate polynomials over Cat::UnivariatePolynomial
(R)R
.
Cat::UnivariatePolynomial(R)
R |
- | A domain which must be from the category Cat::CommutativeRing . |
Cat::Polynomial(R)
Cat::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
.