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     ! 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: