Mathematica
Chapter 6
Section 6.2
RecPolyDiv.txt, RecQuotient, RecRemainder,
Figure 6.1 page 211 (RecPolyDiv.txt)
LeadingMonomial, Figure 6.2 page 215 (LeadingMonomial.txt)
MbPolyDiv, Figure 6.3
page 222 (MbPolyDiv.txt)
requires the procedures
G (see Equation (6.12), page 212 and Exercise 2, page 228),
LeadingMonomial, Figure 6.2
page 215 (LeadingMonomial.txt))
MbPolyExp, Figure 6.4 page 225 (MbPolyExp.txt,
requires the procedure
MbPolyDiv, Figure 6.3
page 222 (MbPolyDiv.txt, requires additional procedure (see file))
Section 6.3
PseudoDivision, PseudoQuotient, PseudoRemainder, Figure 6.5,
page 240 (PseudoDivision.txt)
MvPolyGcd, MvPolyGcdRec, Figure 6.6, pages 248-249 (MvPolyGcd.txt,
requires the
procedures
Normalize
(Exercise 12, page 261),
PseudoRemainder, Figure 6.5
page 240 (PseudoDivision.txt)
PolynomialContent
(Exercise 7(a), page 260)
RecQuotient,
Figure 6.1 page 211 (RecPolyDiv.txt)
SubResultantGcd, SubResultantGcdRec, Figures 6,9 and 6.10
pages 255-256 (SubResultantGcd.txt)
requires the
procedures
Normalize
(Exercise 12, page 261),
PseudoRemainder, Figure 6.5
page 240 (PseudoDivision.txt)
PolynomialContentSr
(Exercise 7(b), page 261)
RecQuotient,
Figure 6.1 page 211 (RecPolyDiv.txt)