Factoring Multivariate Polynomials over Algebraic Number Fields

The algorithm for factoring polynomials over the integers by Wang and Rothschild is generalized to an algorithm for the irreducible factorization of multivariate polynomials over any given algebraic number field. The extended method makes use of recent ideas in factoring univariate polynomials over large finite fields due to Berlekamp and Zassenhaus. The procedure described has been implemented in the algebraic manipulation system MACSYMA. <!-- MATH $^{\ast \ast}$ --> Some machine examples with timing are included.