autoreduce -- Perform autoreduction of the generators of an ideal of a subring.

Synopsis

• Usage:
result = autoreduce(subR, idealGens)
• Inputs:
• subR, an instance of the type Subring, whose generators are a sagbi basis.
• idealGens, , a one-row matrix whose entries are the elements of subR are generators of an ideal $I$.
• Outputs:
• result, , the reduced generators of the ideal generated by the entries of M.

Description

Performs autoreduction on the generators of an ideal within a subring. Iteratively, each generator $g\in M$ is replaced with the normal form of $g$ relative to $M\setminus \{g\}$, computed using the function intrinsicReduce.