4ti2 tutorial
Input Auxiliary functions Output management
Hilbert bases Graver bases Gröbner bases Markov bases Minimization
'markov' extracts a minimal generating set from a graded Gröbner basis.

Extract Markov basis from Gröbner basis in fileName.gro.

If "fileName.gro" does not exist, the project-and-lift algorithm is used to compute a generating set of the lattice ideal and to extract a Markov basis of it.

./markov fileName
back to www.4ti2.de