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 matrix, a one-row matrix whose entries are the elements of subR are generators of an ideal $I$.
• Outputs:
  • result, a matrix, the reduced generators of the ideal generated by the entries of M.

Description

See also

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