Exercise 2.88: Extend the polynomial system to
include subtraction of polynomials. (Hint: You may find it helpful to define a
generic negation operation.)