SubalgebraBases : Table of Contents

• SubalgebraBases -- A package for finding canonical subalgebra bases (Sagbi bases)
• ambient(SAGBIBasis) -- The ambient ring of a SAGBIBasis computation object
• ambient(Subring) -- The ambient ring of a subring
• AutoSubduce -- Flag for autosubduction before the Sagbi algorithm
• AutoSubduceOnPartialCompletion -- Subduct sagbi generators at the end of the Sagbi algorithm
• Compute -- Flag for performing computations while checking a sagbi basis
• Example: Translation and rotation sub-actions of the adjoint action of SE(3)
• forceSB -- declare the generators of a subring or SAGBIBasis to be a complete sagbi basis
• generators(SAGBIBasis) -- Returns a partial sagbi generating set
• generators(Subring) -- A generating set of a subring
• GeneratorSymbol -- variables for the subductionQuotientRing
• groebnerMembershipTest -- Extrinsic method for subring membership
• groebnerSubductionQuotient -- Extrinsic method for subduction quotients
• isSAGBI -- Check if the generators are a sagbi basis
• Limit -- Degree limit for the Sagbi algorithm
• Matrix % SAGBIBasis -- Remainder modulo a subring
• Matrix % Subring -- Remainder modulo a subring
• net(SAGBIBasis) -- Short summary of a sagbi basis computation object
• net(Subring) -- Short summary of a subring
• numgens(SAGBIBasis) -- The number of generators of a SAGBIBasis
• numgens(Subring) -- The number of generators of a subring
• PrintLevel -- Levels of information displayed during Sagbi algorithm
• Recompute -- Flag for restarting a sagbi computation
• ReduceNewGenerators -- Flag for reducing new generators in Sagbi algorithm
• RenewOptions -- Flag for reselecting the options for a sagbi computation
• ring(SAGBIBasis) -- The lifted ring of a SAGBIBasis computation object
• RingElement % SAGBIBasis -- Remainder modulo a subring
• RingElement % Subring -- Remainder modulo a subring
• RingElement // Subring -- subductionQuotient with respect to a subring
• sagbi -- Compute a subalgebra basis (sagbi basis)
• SAGBIBasis -- The type of all sagbi bases
• sagbiBasis -- Constructs a computation object from a subring.
• sagbiDegree -- The current degree of the sagbi computation
• sagbiLimit -- The current limit of the sagbi computation
• sagbiStatus -- returns if the sagbi computation is done
• status(SAGBIBasis) -- status of the sagbi computation
• StorePending -- Flag for storing the pending list to the result of the Sagbi algorithm
• Strategy -- Update procedure for the Sagbi algorithm
• subalgebraBasis -- Compute subalgebra basis (sagbi basis) generators
• subduction -- Subduction of polynomials
• SubductionMethod -- Subduction method for the Sagbi algorithm
• subductionQuotientRing -- returns the subduction quotient ring of a subring
• Subring -- The type of all subrings
• subring -- Constructs a subring of a polynomial ring.
• subringIntersection -- Intersection of subrings
• UseSubringGens -- Flag for using the subring generators when checking a sagbi basis