The Bath algebraic number package

Abstract

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.