acknowledgements
We thank the National Science Foundation for generous funding since
1993 for this project, Gert-Martin Greuel and Ruediger Stobbe for the
incorporation of their Factory library, Michael Messollen for
the incorporation of his Factorization and characteristic sets library,
and David Eisenbud, Wolfram Decker and Sorin Popescu for
early support, encouragement and suggestions. We also acknowledge an
intellectual debt to David Bayer, who, with Michael Stillman,
wrote Macaulay, a specialized computer algebra system for algebraic
geometry and the predecessor of this program.



