lexIdeal(...,CoefficientRing=>...) -- Option to set the ring of coefficients

Description

This option can be used to specify the ring of coefficients of the polynomial ring containing the ideals, when calling lexIdeal giving as input only the number of variables of the polynomial ring.

The default is QQ.

i1 : lexIdeal(10, 3, CoefficientRing=>ZZ/101)

                 10
o1 = ideal (x , x  )
             0   1

               ZZ
o1 : Ideal of ---[x ..x ]
              101  0   2

Further information

Default value: QQ
Function: lexIdeal -- Compute the saturated lexicographic ideal in the given ambient space with given Hilbert polynomial
Option key: CoefficientRing -- an optional argument

Functions with optional argument named CoefficientRing:

flattenRing(...,CoefficientRing=>...) -- optionally specify the desired coefficient ring of the flattened ring
generators(...,CoefficientRing=>...) -- see generators(Ring) -- the list of generators of a ring
Grassmannian(...,CoefficientRing=>...) -- see Grassmannian(ZZ,ZZ) -- the Grassmannian of linear subspaces of a vector space
lexIdeal(...,CoefficientRing=>...) -- Option to set the ring of coefficients
Schubert(...,CoefficientRing=>...) -- see Schubert(ZZ,ZZ,VisibleList) -- find the Plücker ideal of a Schubert variety
stronglyStableIdeals(...,CoefficientRing=>...) -- Option to set the ring of coefficients