Domain of polynomials
polylib::Poly([x1, …], <R>)
polylib::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 is a facade domain; it has no domain elements. It serves only as a coefficient ring for polynomials.
The attempt to create an element of polylib::Poly results in a DOM_POLY.
The arithmetical operations of the domain are realized by the corresponding kernel methods.
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]))
Admissible coefficient ring for polynomials. See poly.
the zero polynomial
the constant polynomial one
list of unknowns
the coefficient ring R