No Title

Next: Contents

GRÖBNER:
A Library for Computing Gröbner Bases
based on SACLIB
Manual for Version 2.0
Wolfgang Windsteiger Bruno Buchberger
RISC-Linz
--
Research Institute for Symbolic Computation
Johannes Kepler Universität Linz
A-4040 Linz, Austria
Tel: +43 (732) 2468-9921, Fax: +43 (732) 2468-9930
email:
--
September 3, 1998

© GRÖBNER Copyright 1994 by the RISC-Linz Institute The GRÖBNER system source code and User's Guide are made available free of charge by the RISC-Linz Institute. Persons or institutions receiving it are pledged not to distribute it to others.

Instead, individuals wishing to acquire the system should obtain it by ftp directly from the RISC-Linz Institute, informing the Institute of the acquisition. Thereby the GRÖBNER Group will know who has the system and be able to inform all users of any corrections or newer versions.

Users are kindly asked to cite their use of the system in any resulting publications or in any application packages built upon GRÖBNER. Neither GRÖBNER nor any part thereof may be incorporated in any commercial software product without the consent of the authors. Users developing non-commercial application packages are kindly asked to inform us.

Requests or proposals for changes or additions to the system will be welcomed and given consideration. GRÖBNER is offered without warranty of any kind, either expressed or implied. However reports of bugs or problems are encouraged.

Abstract:

Almost every Computer Algebra System contains some implementation of the Gröbner bases algorithm . The present implementation has the following specific features:

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, GRÖBNER should be a useful tool
for those who want to do research in Gröbner 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.

Next: Contents

windsteiger wolfgang
Thu Sep 3 14:50:07 MDT 1998