homIdealPolytope(...,CoefficientRing=>...) -- choose the coefficient ring of the (output) ideal

The function homIdealPolytope creates a new ring of the form $k[X_0,\ldots, X_r]$, where $k$ is the coefficient ring of the output ideal. This option allows the user to chose the coefficient ring $k.$ The default ring is QQ.

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
• homIdealPolytope(...,CoefficientRing=>...) -- choose the coefficient ring of the (output) ideal
• random(...,CoefficientRing=>...) (missing documentation)
• Schubert(...,CoefficientRing=>...) -- see Schubert -- compute the Plücker ideal of a Schubert variety

Further information

• Default value: QQ
• Function: homIdealPolytope -- Compute the homogeneous ideal corresponding to the vertices of a lattice polytope in $\mathbb{R}^n$.
• Option key: CoefficientRing -- an optional argument