The Bath algebraic number package

This paper describes a package implemented in REDUCE 3.2 for the manipulation of algebraic numbers. The package regards algebraic numbers as elements of abstract extensions of the rational numbers, not as particular real or complex numbers. We describe in this paper the various design choices that were made, and the current state of the package, as well as future possibilities for enhancement.

[1]  James H. Davenport,et al.  On the Integration of Algebraic Functions , 1979, Lecture Notes in Computer Science.

[2]  A. C. Norman,et al.  Implementing a polynomial factorization and GCD package , 1981, SYMSAC '81.

[3]  Donald Ervin Knuth,et al.  The Art of Computer Programming, Volume II: Seminumerical Algorithms , 1970 .

[4]  Peter J. Weinberger,et al.  Factoring Polynomials Over Algebraic Number Fields , 1976, TOMS.

[5]  James H. Davenport,et al.  A remark on factorisation , 1985, SIGS.

[6]  Anthony C. Hearn,et al.  REDUCE - A Case Study in Algebra System Development , 1982, EUROCAM.

[7]  Barry M. Trager,et al.  Algebraic factoring and rational function integration , 1976, SYMSAC '76.

[8]  Arjen K. Lenstra,et al.  Lattices and Factorization of Polynomials over Algebraic Number Fields , 1982, EUROCAM.

[9]  Donald Ervin Knuth,et al.  The Art of Computer Programming , 1968 .

[10]  Anthony C. Hearn.  Non-modular computation of polynomial GCD's using trial division , 1979, EUROSAM.

[11]  R. Loos.  Computing in Algebraic Extensions , 1983 .

[12]  Arjen K. Lenstra,et al.  Factoring Multivariate Polynomials over Algebraic Number Fields , 1984, SIAM J. Comput..

[13]  John ffitch,et al.  Implementing LISP in a high‐level language , 1977, Softw. Pract. Exp..

[14]  Julian Padget,et al.  Enlarging the REDUCE domain of computation , 1986, SYMSAC '86.

[15]  James H. Davenport,et al.  P-adic reconstruction of rational numbers , 1982, SIGS.

[16]  Arjen K. Lenstra,et al.  Factoring polynominals over algebraic number fields , 1983, EUROCAL.

[17]  Susan Landau,et al.  Factoring Polynomials Over Algebraic Number Fields , 1985, SIAM J. Comput..