homIdealPolytope(..., CoefficientRing => QQ)
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.
|