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)