internalSubduction -- Performs subduction from a presentation ring

Synopsis

• Usage:

  result = internalSubduction(presR,relem)

  result = internalSubduction(presR,M)

  resultMat = M % subR

• Inputs:
  • presR, an instance of the type PresRing,
  • relem, a ring element,
  • M, a matrix, A matrix of ring elements to be subducted
  • subR, an instance of the type Subring,
• Outputs:
  • result, a matrix,

Description

See also

• subduction -- Performs subduction by the generators of a subring.
• autosubduce -- Performs autosubduction on the generators of a subring.
• autoreduce -- Perform autoreduction of the generators of an ideal of a subring.