next | previous | forward | backward | up | top | index | toc | Macaulay2 web site

hilbertBasis -- calculates the Hilbert basis of the cone; invokes "hilbert" from 4ti2

Synopsis

Description

i1 : A = matrix "1,1,1,1; 1,2,3,4"

o1 = | 1 1 1 1 |
     | 1 2 3 4 |

              2        4
o1 : Matrix ZZ  <--- ZZ
i2 : B = syz A

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

              4        2
o2 : Matrix ZZ  <--- ZZ
i3 : hilbertBasis(transpose B)
-------------------------------------------------
4ti2 version 1.3.2, Copyright (C) 2006 4ti2 team.
4ti2 comes with ABSOLUTELY NO WARRANTY.
This is free software, and you are welcome
to redistribute it under certain conditions.
For details, see the file COPYING.
-------------------------------------------------


Final basis has 1 inhomogeneous, 3 homogeneous and 0 free elements.

4ti2 Total Time: 0.00 secs
using temporary file name /tmp/M2-52532-1

o3 = | 3 2 1 0 |
     | 0 1 2 3 |
     | 1 1 1 1 |

              3        4
o3 : Matrix ZZ  <--- ZZ
i4 : hilbertBasis(A, InputType => "lattice")
-------------------------------------------------
4ti2 version 1.3.2, Copyright (C) 2006 4ti2 team.
4ti2 comes with ABSOLUTELY NO WARRANTY.
This is free software, and you are welcome
to redistribute it under certain conditions.
For details, see the file COPYING.
-------------------------------------------------


Final basis has 1 inhomogeneous, 3 homogeneous and 0 free elements.

4ti2 Total Time: 0.00 secs
using temporary file name /tmp/M2-52532-2

o4 = | 3 2 1 0 |
     | 0 1 2 3 |
     | 1 1 1 1 |

              3        4
o4 : Matrix ZZ  <--- ZZ

Ways to use hilbertBasis :