intrinsicReduce -- Compute normal forms relative to an ideal within a subring.

Synopsis

• Usage:

  result = toricSyz(subR, M, p)

  resultMat = toricSyz(subR, G, M)

• Inputs:
  • subR, an instance of the type Subring, that is generated by a Sagbi basis and contains the ideal generated by the 1-row matrix G.
  • G, a matrix, A one-row matrix that generates an ideal of subR.
  • p, a ring element, An element of the tensor ring of subR.
  • M, a matrix, A one-row matrix containing elements of the tensor ring of subR.
• Outputs:
  • result, a ring element,
  • resultMat, a matrix,

Description

See also

• extrinsicBuchberger -- Computes a Gröbner basis of an ideal within a subring.