MuPAD

  Chapter 9






Important: To access MuPAD worksheet files from this window, your browser must recognize the mnb file extension. If not, load the files with the MuPAD interface.

Section 9.1

Square_free_factor, Figure 9.1 page 356 (Square_free_factor.txt,
    requires the procedures
       Quotient, Figure 4.1 page 116
       Polynomial_gcd, Figure 4.3 page 130, requires additional procedures (see file))

Section 9.2

Kronecker, Kronecker_factors, Figures 9.2 and 9.3 pages 364-365 (Kronecker.txt,
    requires the procedures
       Find_integer_factors (Exercise 3, page 369),
       Find_x_u_values (Exercise 4, page 369),
       Find_S_sets (Exercise 5, page 369),
       Lagrange_polynomial.txt (Exercise 6, page 369),
       Polynomial_division, Figure 4.1 page 116)

Section 9.3

Berlekamp_factor, Figure 9.4 page 384 (Berlekamp_factor.txt,
    requires the procedures
       R_matrix (Exercise 5, page 399),
       Auxiliary_basis, Figure 9.5 pages 393-394, requires additional procedures (see below),
       Find_factors, Figure 9.7 page 396, requires additional procedures (see below))
Auxiliary_basis, Figures 9.5 and 9.6, pages 393-394, (Auxiliary_basis.txt,
    requires the procedures
       Multiplicative_inverse_p (Exercise 11, page 60))
Find_factors, Figure 9.7 page 396 (Find_factors.txt,
    requires the procedures
       Poly_div_p (Exercise 9, page 125),
       Poly_gcd_p (Exercise 4, page 142))

Section 9.4

Irreducible_factor, Figure 9.8 page 423 (Irreducible_factor.txt,
    requires the procedures
       Find_prime (Exercise 13, page 428),
       MuPAD's ithprime operator (ithprime.mnb, see Exercise 13, page 428)
       Berlekamp_factor, Figure 9.4 page 384, requires additional procedures (see above),
       Find_k (Exercise 17, page 429),
       Hensel_lift, Figure 9.9 page 424, requires additional procedures (see below),
       Tnn (Exercise 2(a), page 427)
       Ts (Exercise 2(b), page 427)
       Polynomial_Content (Exercise 7(a), page 260))
Hensel_lift, Figure 9.9 page 424 (Hensel_lift.txt,
    requires the procedures
       Construct (see page 9),
       True_factors, Figure 9.10 page 426, requires additional procedures (see below),
       Gen_ext_sigma_p, Gen_ext_R_p (Exercise 11, page 427),
       Ts (Exercise 2(b), page 427)
True_factors, Figure 9.10 page 426 (True_factors.txt,
    requires the procedures
       Construct (see page 9),
       Clean_up (Exercise 14, page 428),
       Comb (Exercise 15, page 428),
       Polynomial_division, Figure 4.1 page 116)
       Ts (Exercise 2(b), page 427)