SubalgebraBases : Index

• 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
• forceSB(...,AutoSubduce=>...) -- declare the generators of a subring or SAGBIBasis to be a complete sagbi basis
• forceSB(...,Limit=>...) -- declare the generators of a subring or SAGBIBasis to be a complete sagbi basis
• forceSB(...,PrintLevel=>...) -- declare the generators of a subring or SAGBIBasis to be a complete sagbi basis
• forceSB(...,RenewOptions=>...) -- declare the generators of a subring or SAGBIBasis to be a complete sagbi basis
• forceSB(...,Strategy=>...) -- declare the generators of a subring or SAGBIBasis to be a complete sagbi basis
• forceSB(...,SubductionMethod=>...) -- declare the generators of a subring or SAGBIBasis to be a complete sagbi basis
• forceSB(SAGBIBasis) -- declare the generators of a subring or SAGBIBasis to be a complete sagbi basis
• forceSB(Subring) -- 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
• groebnerMembershipTest(RingElement,Subring) -- Extrinsic method for subring membership
• groebnerSubductionQuotient -- Extrinsic method for subduction quotients
• groebnerSubductionQuotient(RingElement,Subring) -- Extrinsic method for subduction quotients
• isSAGBI -- Check if the generators are a sagbi basis
• isSAGBI(...,Compute=>...) -- Check if the generators are a sagbi basis
• isSAGBI(...,Limit=>...) -- Check if the generators are a sagbi basis
• isSAGBI(...,PrintLevel=>...) -- Check if the generators are a sagbi basis
• isSAGBI(...,Recompute=>...) -- Check if the generators are a sagbi basis
• isSAGBI(...,RenewOptions=>...) -- Check if the generators are a sagbi basis
• isSAGBI(...,Strategy=>...) -- Check if the generators are a sagbi basis
• isSAGBI(...,SubductionMethod=>...) -- Check if the generators are a sagbi basis
• isSAGBI(...,UseSubringGens=>...) -- Check if the generators are a sagbi basis
• isSAGBI(List) -- Check if the generators are a sagbi basis
• isSAGBI(Matrix) -- Check if the generators are a sagbi basis
• isSAGBI(SAGBIBasis) -- Check if the generators are a sagbi basis
• isSAGBI(Subring) -- 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)
• sagbi(...,AutoSubduce=>...) -- Compute a subalgebra basis (sagbi basis)
• sagbi(...,AutoSubduceOnPartialCompletion=>...) -- Compute a subalgebra basis (sagbi basis)
• sagbi(...,Limit=>...) -- Compute a subalgebra basis (sagbi basis)
• sagbi(...,PrintLevel=>...) -- Compute a subalgebra basis (sagbi basis)
• sagbi(...,Recompute=>...) -- Compute a subalgebra basis (sagbi basis)
• sagbi(...,ReduceNewGenerators=>...) -- Compute a subalgebra basis (sagbi basis)
• sagbi(...,RenewOptions=>...) -- Compute a subalgebra basis (sagbi basis)
• sagbi(...,StorePending=>...) -- Compute a subalgebra basis (sagbi basis)
• sagbi(...,Strategy=>...) -- Compute a subalgebra basis (sagbi basis)
• sagbi(...,SubductionMethod=>...) -- Compute a subalgebra basis (sagbi basis)
• sagbi(List) -- Compute a subalgebra basis (sagbi basis)
• sagbi(Matrix) -- Compute a subalgebra basis (sagbi basis)
• sagbi(SAGBIBasis) -- Compute a subalgebra basis (sagbi basis)
• sagbi(Subring) -- Compute a subalgebra basis (sagbi basis)
• SAGBIBasis -- The type of all sagbi bases
• sagbiBasis -- Constructs a computation object from a subring.
• sagbiBasis(...,AutoSubduce=>...) -- Constructs a computation object from a subring.
• sagbiBasis(...,AutoSubduceOnPartialCompletion=>...) -- Constructs a computation object from a subring.
• sagbiBasis(...,Limit=>...) -- Constructs a computation object from a subring.
• sagbiBasis(...,PrintLevel=>...) -- Constructs a computation object from a subring.
• sagbiBasis(...,Recompute=>...) -- Constructs a computation object from a subring.
• sagbiBasis(...,ReduceNewGenerators=>...) -- Constructs a computation object from a subring.
• sagbiBasis(...,RenewOptions=>...) -- Constructs a computation object from a subring.
• sagbiBasis(...,StorePending=>...) -- Constructs a computation object from a subring.
• sagbiBasis(...,Strategy=>...) -- Constructs a computation object from a subring.
• sagbiBasis(...,SubductionMethod=>...) -- Constructs a computation object from a subring.
• sagbiBasis(HashTable) -- Constructs a computation object from a subring.
• sagbiBasis(Subring) -- Constructs a computation object from a subring.
• sagbiDegree -- The current degree of the sagbi computation
• sagbiDegree(SAGBIBasis) -- The current degree of the sagbi computation
• sagbiLimit -- The current limit of the sagbi computation
• sagbiLimit(SAGBIBasis) -- The current limit of the sagbi computation
• sagbiStatus -- returns if the sagbi computation is done
• sagbiStatus(SAGBIBasis) -- 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
• SubalgebraBases -- A package for finding canonical subalgebra bases (Sagbi bases)
• subalgebraBasis -- Compute subalgebra basis (sagbi basis) generators
• subalgebraBasis(...,AutoSubduce=>...) -- Compute subalgebra basis (sagbi basis) generators
• subalgebraBasis(...,AutoSubduceOnPartialCompletion=>...) -- Compute subalgebra basis (sagbi basis) generators
• subalgebraBasis(...,Limit=>...) -- Compute subalgebra basis (sagbi basis) generators
• subalgebraBasis(...,PrintLevel=>...) -- Compute subalgebra basis (sagbi basis) generators
• subalgebraBasis(...,Recompute=>...) -- Compute subalgebra basis (sagbi basis) generators
• subalgebraBasis(...,ReduceNewGenerators=>...) -- Compute subalgebra basis (sagbi basis) generators
• subalgebraBasis(...,RenewOptions=>...) -- Compute subalgebra basis (sagbi basis) generators
• subalgebraBasis(...,StorePending=>...) -- Compute subalgebra basis (sagbi basis) generators
• subalgebraBasis(...,Strategy=>...) -- Compute subalgebra basis (sagbi basis) generators
• subalgebraBasis(...,SubductionMethod=>...) -- Compute subalgebra basis (sagbi basis) generators
• subalgebraBasis(List) -- Compute subalgebra basis (sagbi basis) generators
• subalgebraBasis(Matrix) -- Compute subalgebra basis (sagbi basis) generators
• subalgebraBasis(Subring) -- Compute subalgebra basis (sagbi basis) generators
• subduction -- Subduction of polynomials
• subduction(...,AutoSubduce=>...) -- Subduction of polynomials
• subduction(...,AutoSubduceOnPartialCompletion=>...) -- Subduction of polynomials
• subduction(...,Limit=>...) -- Subduction of polynomials
• subduction(...,PrintLevel=>...) -- Subduction of polynomials
• subduction(...,Recompute=>...) -- Subduction of polynomials
• subduction(...,ReduceNewGenerators=>...) -- Subduction of polynomials
• subduction(...,RenewOptions=>...) -- Subduction of polynomials
• subduction(...,StorePending=>...) -- Subduction of polynomials
• subduction(...,Strategy=>...) -- Subduction of polynomials
• subduction(...,SubductionMethod=>...) -- Subduction of polynomials
• subduction(List,List) -- Subduction of polynomials
• subduction(List,RingElement) -- Subduction of polynomials
• subduction(Matrix,Matrix) -- Subduction of polynomials
• subduction(Matrix,RingElement) -- Subduction of polynomials
• subduction(SAGBIBasis,Matrix) -- Subduction of polynomials
• subduction(SAGBIBasis,RingElement) -- Subduction of polynomials
• subduction(Subring,Matrix) -- Subduction of polynomials
• subduction(Subring,RingElement) -- Subduction of polynomials
• SubductionMethod -- Subduction method for the Sagbi algorithm
• subductionQuotientRing -- returns the subduction quotient ring of a subring
• subductionQuotientRing(Subring) -- returns the subduction quotient ring of a subring
• Subring -- The type of all subrings
• subring -- Constructs a subring of a polynomial ring.
• subring(...,GeneratorSymbol=>...) -- Constructs a subring of a polynomial ring.
• subring(List) -- Constructs a subring of a polynomial ring.
• subring(Matrix) -- Constructs a subring of a polynomial ring.
• subring(SAGBIBasis) -- Constructs a subring of a polynomial ring.
• subringIntersection -- Intersection of subrings
• subringIntersection(...,Limit=>...) -- Intersection of subrings
• subringIntersection(...,PrintLevel=>...) -- Intersection of subrings
• subringIntersection(...,Strategy=>...) -- Intersection of subrings
• subringIntersection(...,SubductionMethod=>...) -- Intersection of subrings
• subringIntersection(Subring,Subring) -- Intersection of subrings
• UseSubringGens -- Flag for using the subring generators when checking a sagbi basis