
7.2.4 poly (plural)
Polynomials and vectors are the basic data for all main algorithms in
PLURAL. Polynomials consist of finitely many terms
(coefficient*monomial) which are combined by the usual polynomial
operations (see poly expressions (plural)).
Polynomials can only be defined
or accessed with respect to a basering which determines the coefficient
type, the names of the indeterminants and the monomial ordering.
Remark: Remember the conventions on polynomial
multiplication we follow (
