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

Synopsis

Usage:

homIdealPolytope(..., CoefficientRing => QQ)

mixedVolume(..., CoefficientRing => QQ)

Description

The function homIdealPolytope creates a new ring of the form k[X₀,..., 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.

i1 : I = homIdealPolytope ({(0,1),(1,0),(2,1),(1,2)}, CoefficientRing => ZZ/2)

             2       2     2     2
o1 = ideal (X X , X X , X X , X X )
             1 2   1 2   1 3   2 3

              ZZ
o1 : Ideal of --[X , X , X ]
               2  1   2   3

Further information

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