RingElement % SAGBIBasis -- Remainder modulo a subring

Synopsis

• Operator: %

• Usage:

  r = f % SB

• Inputs:
  • f, a ring element,
  • SB, an instance of the type SAGBIBasis,
• Outputs:
  • r, a ring element, the normal form of f 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