;;a
(define(reduce-terms n d)(let((gcdterms (gcd-terms n d)))(list(car(div-terms n gcdterms))(car(div-terms d gcdterms)))))(define(reduce-poly p1 p2)(if(same-variable? (variable p1)(variable p2))(let((result (reduce-terms (term-list p1)(term-list p2))))(list(make-poly (variable p1)(car result))(make-poly (variable p1)(cadr result))))(error "not the same variable--REDUCE-POLY"(list p1 p2))));;b. skip this, I had done such work many times, I'm tired of it.

The answer above does not follow the exercise's requirement.
Before dividing n & d by gcdterms, a integerizing factor should be multiplied as stated in 2.96

(define(reduce-terms n d)(let((gcd-n-d (gcd-terms n d))(n-first (first-term n))(d-first (first-term d)))(let((first (first-term gcd-n-d))(n-ord (order n-first))(d-ord (order d-first)))(let((c (coeff first))(o2 (order first))(o1 (max n-ord d-ord)))(let((k (expt c (add 1 (sub o1 o2)))))(let((k-terms (adjoin-term
(make-term 0 k)(the-empty-termlist))))(let((kn (mul-terms k-terms n))(kd (mul-terms k-terms d)))(list(car(div-terms kn gcd-n-d))(car(div-terms kd gcd-n-d))))))))))(define(reduce-poly p1 p2)(if(same-variable? (variable p1)(variable p2))(let((result (reduce-terms (term-list p1)(term-list p2))))(list(make-poly (variable p1)(car result))(make-poly (variable p1)(cadr result))))(error
"Polys not in same var -- REDUCE-POLY"(list p1 p2))))

There are problems in the test examples of this question, and the results cannot be scored. It is recommended to use the example in Exercise 2.93 for testing.

Siki

The answer above does not follow the exercise's requirement. Before dividing n & d by gcdterms, a integerizing factor should be multiplied as stated in 2.96

master

I think that's done by

gcd-terms, which presumably usespseudoremainder-terms.Sphinxsky

There are problems in the test examples of this question, and the results cannot be scored. It is recommended to use the example in Exercise 2.93 for testing.