next | previous | forward | backward | up | top | index | toc | Macaulay2 website
SubalgebraBases :: SAGBIBasis

SAGBIBasis -- The type of all sagbi bases


This is a computation object for sagbi bases. It stores a partial sagbi computation for picking up a computation where it left off. An instance of a SAGBIBasis is constructed with the function sagbiBasis and as the output of sagbi.

Every instance of SAGBIBasis is guaranteed to have the following keys:

  • ambientRing: The polynomial ring that contains the subring instance's generators.
  • subringGenerators: A one-row matrix, the generators of the subring.
  • sagbiGenerators: A one-row matrix, the currently computed sagbi generators.
  • sagbiDegrees: A one-row matrix, the degrees of the sagbi generators.
  • sagbiDone: A flag that indicates whether the sagbi computation has completed.
  • stoppingData=>limit: An integer containing the degree Limit for the binomial S-pairs that are computed in the sagbi computation.
  • presentation: An instance of the PresRing type associated with the subring's generators.
  • pending, stoppingData=>degree: Internal data used for restarting the sagbi computation.

Methods that use an object of class SAGBIBasis :

For the programmer

The object SAGBIBasis is a type, with ancestor classes HashTable < Thing.