4ti2 tutorial
Input Auxiliary functions Output management
Hilbert bases Graver bases Gröbner bases Markov bases Minimization
'hilbert' computes (truncated) Hilbert bases of cones of the form lattice L \cap R^n_+
where L is given
as ker(A) for given matrix A
or
by lattice generators.
Hilbert basis from matrix

If present, lattice generators will be read automatically from "fileName.lat".

If present, upper bound vector will NOT be read automatically from "fileName.tru".

./hilbert fileName
Truncated Hilbert basis from matrix

If present, lattice generators will be read automatically from "fileName.lat".

Needs upper bounds in "fileName.tru".

./hilbert tru fileName
Note that the option 'inf 0' surpresses most of the output of 'hilbert'.
back to www.4ti2.de