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 |