AutoSubduce -- Flag for autosubduction before the sagbi algorithm

Description

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.

Functions with optional argument named AutoSubduce :

forceSB(SAGBIBasis,AutoSubduce=>...)
forceSB(Subring,AutoSubduce=>...)
sagbi(...,AutoSubduce=>...)
sagbiBasis(...,AutoSubduce=>...)
subalgebraBasis(...,AutoSubduce=>...)
subduction(...,AutoSubduce=>...)

For the programmer

The object AutoSubduce is a symbol.

AutoSubduce -- Flag for autosubduction before the sagbi algorithm

Description

See also

Functions with optional argument named AutoSubduce :

For the programmer