Return to pentT.in CVS log

Up to [local] / OpenXM / src / Ti / examples

o import OpenXM sources

% 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  
}