GROEBNER

GROEBNER is a library for computing Groebner Bases based on SACLIB. It is developed by W. Windsteiger and B. Buchberger at RISC-Linz and is available by anonymous ftp at ftp.risc.uni-linz.ac.at

GROEBNER differs from implementations of Groebner bases in most computer algebra system that

• the source code is distributed and publically available free of charge.
• the library is written in C
• a simple but efficient mechanism of polymorphism is implemented that enables the user to adjust the library to a wide variety of coefficient domains, power product and polynomial representations, admissible orderings, selection strategies for pairs, etc.

  Thus, GROEBNER is a useful tool

• for those who want to do research in Groebner bases theory and applications, and, hence, need access to all details of the implementation
• and also for those who want to apply the algorithm as a black box, possibly as a subalgorithm in a larger implementation, and need high efficiency.

Special Purpose Systems

Last updated: November 15, 1994