Building your own Gröbner basis algorithm

The central class for writing your own Gröbner bases algorithm is called GroebnerStrategy It represents a system of generators (Boolean polynomials) and contains information about critical pairs as well as some extra information like the set of leading terms belonging to these generators.

The most important operations are:

After construction several options can be set, e.g. optRedTail for tail reductions (affects also the nf method). The GroebnerStrategy keeps track not only of the single generators, but also of properties of the whole system:



Subsections

2011-02-25