An instance tl of the data type TermList is a term list with one member : a pointer to a TermNode , which is the pointer to the first term node in the list. A instance tn of type TermNode is a term node which has three entries : an int entry representing the degree, a pointer to Polynomial entry representing the coefficient polynomial and a pointer to the next TermNode in the term list.