next | previous | forward | backward | up | top | index | toc | Macaulay2 website
Binomials :: latticeBasisIdeal

latticeBasisIdeal -- construct the ideal whose generators correspond to generators of an integer lattice

Synopsis

Description

This function is only a very simple wrapper around makeBinomial
i1 : R = QQ[x,y,z]

o1 = R

o1 : PolynomialRing
i2 : L = matrix {{1,1},{-3,0},{0,1}}

o2 = | 1  1 |
     | -3 0 |
     | 0  1 |

              3        2
o2 : Matrix ZZ  <--- ZZ
i3 : latticeBasisIdeal (R, L)

               3
o3 = ideal (- y  + x, x*z - 1)

o3 : Ideal of R

For the programmer

The object latticeBasisIdeal is a function closure.