Return to pentT.in CVS log

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

Annotation of OpenXM/src/Ti/examples/pentT.in, Revision 1.1.1.1

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