MonomialAlgebras : Index
- adjoinPurePowers -- adjoin semigroup elements corresponding to pure powers of variables
- adjoinPurePowers(List) -- adjoin semigroup elements corresponding to pure powers of variables
- codimMA -- Codimension of a monomial algebra.
- codimMA(List) -- Codimension of a monomial algebra.
- codimMA(PolynomialRing) -- Codimension of a monomial algebra.
- CoefficientField -- Option to set the coefficient field.
- decomposeHomogeneousMonomialAlgebra -- Decomposition of one monomial algebra over a subalgebra
- decomposeHomogeneousMonomialAlgebra(..., CoefficientField => ...) -- Option to set the coefficient field.
- decomposeHomogeneousMonomialAlgebra(..., ReturnMingens => ...) -- Option to return the minimal generating set B_A of K[B] as K[A]-module.
- decomposeHomogeneousMonomialAlgebra(..., Verbose => ...) -- Option to print intermediate results.
- decomposeHomogeneousMonomialAlgebra(List) -- Decomposition of one monomial algebra over a subalgebra
- decomposeHomogeneousMonomialAlgebra(PolynomialRing) -- Decomposition of one monomial algebra over a subalgebra
- decomposeHomogeneousMonomialAlgebra(RingMap) -- Decomposition of one monomial algebra over a subalgebra
- decomposeMonomialAlgebra -- Decomposition of one monomial algebra over a subalgebra
- decomposeMonomialAlgebra(..., CoefficientField => ...) -- Option to set the coefficient field.
- decomposeMonomialAlgebra(..., ReturnMingens => ...) -- Option to return the minimal generating set B_A of K[B] as K[A]-module.
- decomposeMonomialAlgebra(..., Verbose => ...) -- Option to print intermediate results.
- decomposeMonomialAlgebra(List) -- Decomposition of one monomial algebra over a subalgebra
- decomposeMonomialAlgebra(PolynomialRing) -- Decomposition of one monomial algebra over a subalgebra
- decomposeMonomialAlgebra(RingMap) -- Decomposition of one monomial algebra over a subalgebra
- degreeMA -- Degree of a monomial algebra.
- degreeMA(..., Verbose => ...) -- Option to print intermediate results.
- degreeMA(List) -- Degree of a monomial algebra.
- degreeMA(PolynomialRing) -- Degree of a monomial algebra.
- Diagrams -- Diagrams illustrating the tests
- findGeneratorsOfSubalgebra -- Find submonoid corresponding to the convex hull.
- findGeneratorsOfSubalgebra(List) -- Find submonoid corresponding to the convex hull.
- homogenizeSemigroup -- Homogenize generators of a semigroup.
- homogenizeSemigroup(List) -- Homogenize generators of a semigroup.
- isBuchsbaumMA -- Test whether a simplicial monomial algebra is Buchsbaum.
- isBuchsbaumMA(List) -- Test whether a simplicial monomial algebra is Buchsbaum.
- isBuchsbaumMA(PolynomialRing) -- Test whether a simplicial monomial algebra is Buchsbaum.
- isCohenMacaulayMA -- Test whether a simplicial monomial algebra is Cohen-Macaulay.
- isCohenMacaulayMA(List) -- Test whether a simplicial monomial algebra is Cohen-Macaulay.
- isCohenMacaulayMA(PolynomialRing) -- Test whether a simplicial monomial algebra is Cohen-Macaulay.
- isGorensteinMA -- Test whether a simplicial monomial algebra is Gorenstein.
- isGorensteinMA(List) -- Test whether a simplicial monomial algebra is Gorenstein.
- isGorensteinMA(PolynomialRing) -- Test whether a simplicial monomial algebra is Gorenstein.
- isNormalMA -- Test whether a simplicial monomial algebra is normal.
- isNormalMA(List) -- Test whether a simplicial monomial algebra is normal.
- isNormalMA(PolynomialRing) -- Test whether a simplicial monomial algebra is normal.
- isSeminormalMA -- Test whether a simplicial monomial algebra is seminormal.
- isSeminormalMA(List) -- Test whether a simplicial monomial algebra is seminormal.
- isSeminormalMA(PolynomialRing) -- Test whether a simplicial monomial algebra is seminormal.
- isSimplicialMA -- Test whether a monomial algebra is simplicial.
- isSimplicialMA(List) -- Test whether a monomial algebra is simplicial.
- isSimplicialMA(PolynomialRing) -- Test whether a monomial algebra is simplicial.
- monomialAlgebraIdeal -- Compute the ideal of a monomial algebra
- monomialAlgebraIdeal(PolynomialRing) -- Compute the ideal of a monomial algebra
- MonomialAlgebras -- Decompose a monomial algebra as a module over a subalgebra.
- Num -- Option of randomSemigroup to return a list of several semigroups.
- randomSemigroup -- Generate random semigroups.
- randomSemigroup(..., Num => ...) -- Option of randomSemigroup to return a list of several semigroups.
- randomSemigroup(..., SetSeed => ...) -- Option to set the random seed for randomSemigroup.
- randomSemigroup(..., Simplicial => ...) -- Option of randomSemigroup to return a simplicial semigroup.
- randomSemigroup(ZZ,ZZ,ZZ) -- Generate random semigroups.
- regularityMA -- Compute regularity from decomposition
- regularityMA(..., CoefficientField => ...) -- Option to set the coefficient field.
- regularityMA(HashTable,List) -- Compute regularity from decomposition
- regularityMA(List) -- Compute regularity from decomposition
- regularityMA(PolynomialRing) -- Compute regularity from decomposition
- ReturnMingens -- Option to return the minimal generating set B_A of K[B] as K[A]-module.
- SetSeed -- Option to set the random seed for randomSemigroup.
- Simplicial -- Option of randomSemigroup to return a simplicial semigroup.