
Poly - returns a domain of polynomials

Calling sequence:
Poly( [ expr ...]  [ , ring ])
ring  --->  Expr
ring  --->  IntMod( integer )
ring  --->  domain

Parameter:
expr      --  expression
integer   --  integer greater than 1
domain    --  domain

Summary:

Poly([x1,...,xn], r) creates the domain of the polynomialsin the variables
x1, ..., xn over the coefficient ring r. The domain elements are polynomials
with the type DOM_POLY. The variables and the coefficient ring must be
given as for the function poly. If no ring is given then Expr is used.

A domain created with Poly can be used as a coefficient ring for the function
poly. Thus, with Poly polynomials can be created that have polynomials as
their coefficients. With this the user can create a recursive representation of
polynomials.

>>  e:=x * (y^2*2 + y) + 3*y:
    poly(e, [x,y]); poly(e, [x], Poly([y]));

      poly(x*y^2*2 + x*y + y*3, [x, y])

      poly(x*(y + y^2*2) + y*3, [x], Poly([y], Expr))

See also:  poly

