stronglyStableIdeals(...,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 stronglyStableIdeals giving as input only the number of variables of the polynomial ring.

The default is QQ.

i1 : QQ[t];

i2 : stronglyStableIdeals(3, 3, CoefficientRing=>ZZ/101)

                  3           2         2
o2 = {ideal (x , x ), ideal (x , x x , x )}
              0   1           1   0 1   0

o2 : List

i3 : oo#0

                 3
o3 = ideal (x , x )
             0   1

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

Functions with optional argument named CoefficientRing:

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

Further information

Default value: QQ
Function: stronglyStableIdeals -- Compute the saturated strongly stable ideals in the given ambient space with given Hilbert polynomial
Option key: CoefficientRing -- an optional argument

The source of this document is in StronglyStableIdeals.m2:1020:0.