COMPOSITION_PAIR
FACTOR
INDETERMINATE
MOB_INTEGER
MONOMIAL
POLYNOMIAL
RATIONAL
TERM
TERM_ORDERING