An instance m of the data type Monomial is a monomial with two members: a Field_element entry, representing the coefficient and an array of integers representing the powers of the variables in the given monomial. (The variables are assumed to be the same as those in the list Polynomial ::var_list and the size of the array is assumed to be the same as that in Polynomial ::Num_vars. Thus use of the Monomial data structure (and the Molynomial structure) followed by introduction of additional variables could lead to errors. The user should typically define all the variables he needs before using any routines that use these data structures.)
An instance p of the data type Molynomial is a polynomial in sum of monomials form with one member: a (linked) list of Monomial 's.
1.0