This code computes the Graver basis of a matrix or a given lattice.
You must specify either a matrix or a lattice basis. If both exist,
'graver' will choose the matrix as input.
Usage
./graver [--options] foo
Examples
./graver foo
./graver --quiet foo
Default behavior
- 'graver' always uses matrix file 'foo' as input if present. If you wish to
use a given lattice basis as input, specify only the lattice generators in 'foo.lat'.
|
Option
|
Effect
|
|
--quiet
|
no output is written to the screen
|
|
Output file
|
Content
|
|
foo.gra
|
list of Graver basis elements
|