next up previous
Next: Possibilities of Adjusting the Up: Using GRÖBNER as a Previous: Selection Strategy for S-Polynomials

Basic Structure

In this section, we assume that the contents of the file GB.tar has already been extracted, hence, the directory Groebner exists. We will often call this directory ``Gröbner-directory''. In the Gröbner-directory you can find a file called README, which contains a brief description of the directory structure.

Basically, the Gröbner-directory contains

remark289



windsteiger wolfgang
Wed Sep 2 09:42:51 MDT 1998