Using GRÖBNER as a ``Black Box''

Wolfgang Windsteiger
RISC-Linz
--
Research Institute for Symbolic Computation
Johannes Kepler Universität Linz
A-4040 Linz, Austria
Tel: +43 (732) 2468-9939, Fax: +43 (732) 2468-9930
E-mail: Wolfgang.Windsteiger@risc.uni-linz.ac.at
URL: http://www.risc.uni-linz.ac.at/people/wwindste
--

Abstract:

This document should serve as a User's Guide to the library GRÖBNER and its accompanying I/O library GRÖBNER-IO for those users who do not intend to change any part of the library but rather want to use it as a ``Gröbner-basis-calculator''. Therefore, no deep insight into the structure of the programs, software-technological issues, and data structures is required but some simple recipes, how to solve certain classes of problems by Gröbner bases are desired.

• Introduction
• Possibilities of Variation
  • Coefficient Domain
  • Term Ordering
  • Selection Strategy for S-Polynomials, Pair Ordering
• Basic Structure
• Possibilities of Adjusting the Library
  • groebner_setup
    • Coefficient Domain
    • Term Ordering
    • Pair Ordering
    • Tracing
    • Further choices
  • mkgroebner
  • groebner
  • xgroebner
• Using Available Tools
  • Examples
• References
• About this document ...