zbMATH — the first resource for mathematics

Implementation of a p-adic package for polynomial factorization and other related operations. (English) Zbl 0563.12013
EUROSAM 84, Symbolic and algebraic computation, Proc. int. Symp., Cambridge/Engl. 1984, Lect. Notes Comput. Sci. 174, 86-99 (1984).
[For the entire collection see Zbl 0539.00015.]
The author describes an extension to the Macsyma package (in fact, Vaxima, which runs on a Vax with Unix). This extension is written in Franz-Lips and C. It deals with (multivariate) polynomial manipulations over the integers, the rationals, algebraic number fields, p-adic fields and finite fields. The manipulations that are contained are: gcd- computation, factorization, irreducibility testing and partial fraction expansion of rational functions. The author regrets the absence of a fast factorization procedure for large integers. This would have improved the usefulness of the package.
Reviewer: F.J.van der Linden

11S05 Polynomials
12-04 Software, source code, etc. for problems pertaining to field theory
68W30 Symbolic computation and algebraic computation
11R09 Polynomials (irreducibility, etc.)
11T06 Polynomials over finite fields
12D05 Polynomials in real and complex fields: factorization
11-04 Software, source code, etc. for problems pertaining to number theory