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

See also

• autoreduce -- Perform autoreduction of the generators of an ideal of a subring.
• internalSubduction(PresRing,RingElement) -- Performs subduction from a presentation ring