Macaulay2 » Documentation
Packages » SubalgebraBases :: AutoSubduce
next | previous | forward | backward | up | index | toc

AutoSubduce -- Flag for autosubduction before the sagbi algorithm


Autosubduction is a procedure which performs subduction on a collection of ring elements against each other, one at a time. This is typically performed on a set of generators of a Subring or SAGBIBasis. The result of each subduction replaces the original element in the collection and zeros are removed from the collection. If the elements form a subalgebra basis, then the result of autosubduction is unique.

By default, the function sagbi performs autosubduction on the generators of the given Subring before starting the main algorithm. Setting this flag to false sometimes results in a performance improvement, but with a risk of including nonreduced or redundant generators.

See also

Functions with optional argument named AutoSubduce :

For the programmer

The object AutoSubduce is a symbol.