论文
Yuan Chunming
Polynomial factorizations are basic problems in symbolic computation. Polynomial factorization algorithms appeared in the 1960's are considered to be the origin of the field of symbolic computation. At present, polynomial factorization algorithms are well established and implemented in symbolic computation software such as MAPLE. But factorization algorithms over successive algebraic extension fields are still under investigation. The basic factorization algorithm over algebraic extension fields is Trager's algorithm. Algorithms for a single algebraic extension field based
on Hensel lifting are given by Weinberger et al. However, in order to compute the irreducible ascending chain in Wu's method, polynomial factorizations over successive algebraic extension fields are needed. Wu, Hu, and Wang independently put forward factorization algorithms over successive algebraic extension fields based on methods of equation solving. Similar to the Trager's algorithm, Wang and Lin proposed another algorithm reducing the problem to the
factorization over the rational number field. In their approach, Wu's triangularization algorithm is used, and hence the termination of the algorithm depends on the computation of Wu's method. Zhi applied the lifting technique to the factorization over successive algebraic extension fields. A direct algorithm on factorization over successive algebraic extension fields is given in this paper,
extending Trager's algorithm to factorization over successive algebraic extension fields. The proposed algorithm only uses resultant computation and factorization over the rational number field.