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

Usage:

cycleIdeal(..., CoefficientRing => QQ)

cycleIdeal(..., CoefficientRing => ZZ/7)

cycleIdeal(..., 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: cycleIdeal -- constructs the cycle ideal of a realization
Option key: CoefficientRing -- an optional argument

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

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

See also

Functions with optional argument named CoefficientRing:

Further information