next | previous | forward | backward | up | top | index | toc | Macaulay2 website
MixedMultiplicity :: homIdealPolytope(...,CoefficientRing=>...)

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

Synopsis

Description

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.

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 ]
               2  1   3

Further information

Functions with optional argument named CoefficientRing :