Maple
Chapter 6
Section 6.2
Rec_poly_div.txt, Rec_quotient, Rec_remainder,
Figure 6.1 page 211 (Rec_poly_div.txt)
Leading_monomial, Figure 6.2 page 215 (Leading_monomial.txt)
Mb_poly_div, Figure 6.3
page 222 (Mb_poly_div.txt)
requires the procedures
G (see Equation (6.12), page 212 and Exercise 2, page 228),
Leading_monomial, Figure 6.2
page 215 (Leading_monomial.txt))
Mb_poly_exp, Figure 6.4 page 225 (Mb_poly_exp.txt,
requires the procedure
Mb_poly_div, Figure 6.3
page 222 (Mb_poly_div.txt, requires additional procedure (see file))
Section 6.3
Pseudo_division, Pseudo_quotient, Pseudo_remainder, Figure 6.5,
page 240 (Pseudo_division.txt)
Mv_poly_gcd, Mv_poly_gcd_rec, Figure 6.6, pages 248-249 (Mv_poly_gcd.txt,
requires the
procedures
Normalize
(Exercise 12, page 261),
Pseudo_remainder, Figure 6.5
page 240 (Pseudo_division.txt)
Polynomial_content
(Exercise 7(a), page 260)
Rec_quotient,
Figure 6.1 page 211 (Rec_poly_div.txt)
Sub_resultant_gcd, Sub_resultant_gcd_rec, Figures 6,9 and 6.10
pages 255-256 (Sub_resultant_gcd.txt)
requires the
procedures
Normalize
(Exercise 12, page 261),
Pseudo_remainder, Figure 6.5
page 240 (Pseudo_division.txt)
Polynomial_content_sr
(Exercise 7(b), page 261)
Rec_quotient,
Figure 6.1 page 211 (Rec_poly_div.txt)