Matrix % SAGBIBasis -- Remainder modulo a subring

Synopsis

• Operator: %

• Usage:

  R = M % SB

• Inputs:
  • M, a matrix,
  • SB, an instance of the type SAGBIBasis,
• Outputs:
  • R, a matrix, the normal form of entries of M modulo the subring

Description

See also

• RingElement % Subring -- Remainder modulo a subring
• Matrix % Subring -- Remainder modulo a subring
• RingElement % SAGBIBasis -- Remainder modulo a subring
• Matrix % SAGBIBasis -- Remainder modulo a subring
• Subring -- The type of all subrings
• SAGBIBasis -- The type of all sagbi bases
• groebnerMembershipTest -- Extrinsic method for subring membership