polylib::Poly
-- domain of
polynomialspolylib::Poly
([x1,...,xn], R)
creates the
ring of polynomials in the unknowns x1
through
xn
over the coefficient ring R
. If the
argument R
is missing, Expr
is used.
polylib::Poly([x1...] <, R>)
x1 |
- | unknown |
R |
- | admissible coefficient ring for polynomials. See
poly . |
polylib::Poly
is a facade domain; it has no domain
elements. It serves only as a coefficient ring for polynomials.polylib::Poly
results in a DOM_POLY
.the zero polynomial
the constant polynomial one
list of unknowns
the coefficient ring R
polylib::Poly
can be used for defining
polynomials in x
whose coefficients are polynomials in
y
. Such polynomials must not be confused with bivariate
polynomials in x
and y
.
>> delete x,y: e:= x*(y^2*2 + y) + 3*y: poly(e, [x, y]); poly(e, [x], polylib::Poly([y]))
2 poly(2 x y + x y + 3 y, [x, y]) 2 poly((y + 2 y ) x + 3 y, [x], polylib::Poly([y], Expr))
Poly