polylib::Poly -- domain of
polynomials
Introductionpolylib::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.
Domainpolylib::Poly([x1...] <, R>)
Parametersx1 |
- | unknown |
R |
- | admissible coefficient ring for polynomials. See
poly. |
Detailspolylib::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.
Related
Domainsthe zero polynomial
the constant polynomial one
list of unknowns
the coefficient ring R
Example
1polylib::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