universalIdeal(...,CoefficientRing=>...) -- specifies the coefficient ring of the underlying ring of the ideal

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=>...) -- specify the 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 -- compute the ideal of 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 -- compute 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

Further information

Default value: QQ
Function: universalIdeal -- computes the universal realization ideal of a matroid
Option key: CoefficientRing -- an optional argument

The source of this document is in SlackIdeals.m2:2908:0.

universalIdeal(...,CoefficientRing=>...) -- specifies the coefficient ring of the underlying ring of the ideal

See also

Functions with optional argument named CoefficientRing:

Further information