SubalgebraBases : Table of Contents

• SubalgebraBases -- A package for finding canonical subalgebra bases (Sagbi bases)
• ambient(Subring) -- Returns the ambient ring (ring containing the generators) of a subring.
• autoreduce -- Perform autoreduction of the generators of an ideal of a subring.
• Autosubduce -- Flag for autosubduction before the Sagbi algorithm
• autosubduce -- Performs autosubduction on the generators of a subring.
• debugPrintAllMaps -- Prints the maps associated with a subring.
• debugPrintGens -- Print the generators of a subring.
• debugPrintMap -- Prints a RingMap in human-readable format.
• debugPrintMat -- Prints a one-row matrix
• Example: Translation and rotation sub-actions of the adjoint action of SE(3)
• Experimental feature: modules over subrings
• Experimental feature: SAGBI bases of subrings of quotient rings
• extractEntries -- Inverse of moduleToSubringIdeal
• extrinsicBuchberger -- Computes a Gröbner basis of an ideal within a subring.
• generators(SAGBIBasis) -- Returns a partial sagbi generating set
• generators(Subring) -- Returns the generators of a subring as a one-row matrix.
• genVars -- tensor ring generators
• internalSubduction -- Performs subduction from a presentation ring
• intrinsicReduce -- Compute normal forms relative to an ideal within a subring.
• isSubalg -- Calculates whether one subring is contained in another subring.
• makePresRing -- Contstructs an instance of the PresRing type
• mingensSubring -- Auto reduces matrix elements
• moduleToSubringIdeal -- Convert a module as a matrix to a subring ideal.
• numgens(Subring) -- Returns the number of generators of a subring.
• PresRing -- Stores data on the lifted presentation ring of a subring.
• PrintLevel -- A verbose mode for the Sagbi algorithm.
• ring(Subring) -- Returns tensor ring
• RingElement % Subring -- Remainder modulo a subring
• RingElement // Subring -- Write a ring element in terms of the generators.
• sagbi -- Subalgebra basis (sagbi basis)
• SAGBIBasis -- The type of all sagbi bases
• sagbiBasis -- Constructs a computation object from a subring.
• sagbiDone -- Test if sagbi basis computation is complete
• subalgebraBasis -- Subalgebra basis (sagbi basis) generators
• subalgEquals -- Check if two subrings are equal.
• subduction -- Performs subduction by the generators of a subring.
• Subring -- The type of all subrings
• subring -- Constructs a subring of a polynomial ring.
• Subring ^ ZZ -- Construct a product subring.
• toricSyz -- Calculate toric syzygies of monomials in the initial algebra.
• verifySagbi -- Test if the generators form sagbi basis