moduleToSubringIdeal -- Convert a module as a matrix to a subring ideal.

Synopsis

• Usage:

  (moduleSubR,result,gVars) = mingensSubring(subR, M)

• Inputs:
  • subR, an instance of the type Subring, whose generators are a sagbi basis
  • M, a matrix, whose elements are in subR.
• Outputs:
  • moduleSubR, an instance of the type Subring,
  • result, a matrix, a one-column matrix whose entries are the generators of the subring ideal.
  • gVars, a matrix, a one-row matrix whose entries are the generators of the module.

Description

See also

• Experimental feature: modules over subrings