% pentT.in % first example in paper -- 2D state polytope with 8 vertices. % can use "tigers -ioR pentT.in pentG.in" to get first grobner basis % or "tigers -i pentT.in" to compute whole state polytope. M: { 3 5 : 1 1 1 1 1 0 1 2 1 0 0 0 1 2 1 }