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.
The object AutoSubduce is a symbol.
The source of this document is in /build/reproducible-path/macaulay2-1.25.05+ds/M2/Macaulay2/packages/SubalgebraBases/documentation.m2:309:0.