universalIdeal(...,CoefficientRing=>...) -- specifies the coefficient ring of the underlying ring of the ideal
Synopsis
-
- Usage:
universalIdeal(..., CoefficientRing => QQ)universalIdeal(..., CoefficientRing => ZZ/7)universalIdeal(..., CoefficientRing => GF(9))
Functions with optional argument named CoefficientRing :
-
cycleIdeal(...,CoefficientRing=>...) -- specifies the coefficient ring of the underlying ring of the ideal
-
flattenRing(...,CoefficientRing=>...) -- optionally specify the desired coefficient ring of the flattened ring
-
generators(...,CoefficientRing=>...) -- see generators(Ring) -- the list of generators of a ring
-
graphicIdeal(...,CoefficientRing=>...) -- specifies the coefficient ring of the underlying ring of the ideal
-
Grassmannian(...,CoefficientRing=>...) -- see Grassmannian(ZZ,ZZ) -- the Grassmannian of linear subspaces of a vector space
-
grassmannSectionIdeal(...,CoefficientRing=>...) -- specifies the coefficient ring of the underlying ring of the ideal
-
hibiIdeal(...,CoefficientRing=>...) -- see hibiIdeal -- produces the Hibi ideal of a poset
-
hibiRing(...,CoefficientRing=>...) -- see hibiRing -- produces the Hibi ring of a poset
-
idealChowRing(...,CoefficientRing=>...) -- see idealChowRing -- the defining ideal of the Chow ring
-
idealOrlikSolomonAlgebra(...,CoefficientRing=>...) (missing documentation)
-
orderComplex(...,CoefficientRing=>...) -- see orderComplex -- produces the order complex of a poset
-
pPartitionRing(...,CoefficientRing=>...) -- see pPartitionRing -- produces the p-partition ring of a poset
-
reconstructSlackMatrix(...,CoefficientRing=>...) -- specifies the coefficient ring of the underlying ring of the ideal
-
reducedSlackMatrix(...,CoefficientRing=>...) -- specifies the coefficient ring of the underlying ring of the ideal
-
Schubert(...,CoefficientRing=>...) -- see Schubert(ZZ,ZZ,VisibleList) -- find the Plücker ideal of a Schubert variety
-
slackIdeal(...,CoefficientRing=>...) -- specifies the coefficient ring of the underlying ring of the ideal
-
symbolicSlackMatrix(...,CoefficientRing=>...) -- specifies the coefficient ring of the underlying ring of the matrix
-
symbolicSlackOfPlucker(...,CoefficientRing=>...) -- specifies the coefficient ring of the underlying ring of the matrix
-
universalIdeal(...,CoefficientRing=>...) -- specifies the coefficient ring of the underlying ring of the ideal