An instance p of the data type Polynomial is a polynomial with two members : a Field_element entry and a TermList entry used as explained above. For basic algorithms dealing with polynomials, the operators and functions below should suffice. To perform more complex operations (e.g., extract the coefficient of the term of a polynomial of the second highest degree) the user will have to work with the TermList and TermNode data structures which are explained in Chapter 6. Also see Section 5.8 for utilities for polynomials such as pseudo-remainder and resultant.
Figure 5.1: Polynomial representation for
