Implement the procedure
pseudoremainder-terms, which is just like
remainder-termsexcept that it multiplies the dividend by the integerizing factor described above before calling
pseudoremainder-terms, and verify that
greatest-common-divisornow produces an answer with integer coefficients on the example in exercise 2.95.
The GCD now has integer coefficients, but they are larger than those of P1. Modify
gcd-termsso that it removes common factors from the coefficients of the answer by dividing all the coefficients by their (integer) greatest common divisor.