next
|
previous
|
forward
|
backward
| up |
top
|
index
|
toc
|
Macaulay2 website
SlackIdeals
::
cycleIdeal(...,CoefficientRing=>...)
cycleIdeal(...,CoefficientRing=>...) -- specifies the coefficient ring of the underlying ring of the ideal
Synopsis
Usage:
cycleIdeal(..., CoefficientRing => QQ)
cycleIdeal(..., CoefficientRing => ZZ/7)
cycleIdeal(..., CoefficientRing => GF(9))
Further information
Default value:
QQ
Function:
cycleIdeal
-- constructs the cycle ideal of a realization
Option key:
CoefficientRing
-- an optional argument
See also
coefficientRing
-- get the coefficient ring
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
"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 Pluecker 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