next | previous | forward | backward | up | top | index | toc | Macaulay2 web site
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[X0,..., Xr], 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