refactored to reuse some procedures in the next exercise
Exercise 2.97a: reduce-poly, which divides its 2 arguments by their gcd
all done except final test, i think