**Type Name:**`Poly`**Setup in:**`GB.poly.setup`**Description:**- A polynomial with arbitrary additional information, which can be
utilized in the Gröbner bases algorithm. An example of such additional information attached to a
polynomial are the ``cofactors'' with respect to a set of polynomials (see
Section 3.13).

**Table 4:** Available Coercion Units for Polynomial Structure

Thu Sep 3 14:50:07 MDT 1998