ex 2.87 2.88: added =zero? and sub to sparse polynomial