GBEnv

© 2010 Anna Bigatti
GNU Free Documentation License, Version 1.2



index page

User documentation

This class contains some information needed for the computation of a GBasis (with Buchberger's algorithm)

At the moment the file contains instead the class GRingInfo which was defined in TmpGPoly.H

Maintainer documentation

As one class should do one thing GRingInfo should split into GBEnv and GBMill (should avoid multiple inheritance)

Partial steps:

  1. use member function in ctor for common assignments (done)
  2. transform functions with GRingInfo as argument into GRingInfo member functions (wip)

Good to know:

  1. reduce.C uses only "env" info
  2. SPoly creates a GPoly with "env" info, only sugar needs "mill"
  3. GRingInfo has many fields, completely unused in the basic case (ie GB for polys). Some are set with a default value which is different for some "concrete classes" (eg modules)

GBEnv will know

GBMill will know

Mill: //A building equipped with machinery for processing raw materials into finished products//

GBData (?) -- was GReductor

the "frozen computation"; it knows:

Bugs, shortcomings and other ideas

Everything so far is just work in progress.

Recent changes

2010