GRÖBNER is based on SACLIB , a library of C routines derived from George Collins' well-known SAC-2 Computer Algebra system by translating it into C and systematizing it in various respects, see [6]. Various authors, under the direction of Hoon Hong, cooperated for implementing SACLIB. Before GRÖBNER can be used, SACLIB must be obtained and installed, see Section 1 for details. SACLIB provides a list processing system together with an appropriate storage management, and various sublibraries for elementary and advanced problem areas in multivariate polynomial algebra, for example cylindrical algebraic decomposition. In fact, for GRÖBNER, we need only the list processing system, long integer arithmetic, rational number arithmetic, finite field arithmetic, and polynomial arithmetic of SACLIB. Also, since GRÖBNER should be easily portable to different hardware architectures, we decided to use SACLIB's Word as the only basic type in GRÖBNER: Word is either a small integer or a pointer to a list; SACLIB provides the storage management for Word.