autosubduce -- Performs autosubduction on the generators of a subring.

Synopsis

• Usage:
result = internalSubduction(pres)
• Inputs:
• subR, an instance of the type Subring, whose generators need not be a sagbi basis.
• Outputs:
• result, an instance of the type Subring, generated by the autosubduced generators of subR.

Description

Iteratively replaces each generator $g$ of subR with the result of subducing g by ((gens,Subring) subR)$\setminus \{g\}$.