i3 : statePolytope(I)
LP algorithm being used: "cddgmp".
polymake: used package cddlib
Implementation of the double description method of Motzkin et al.
Copyright by Komei Fukuda.
http://www.ifor.math.ethz.ch/~fukuda/cdd_home/cdd.html
VERTICES
1 11 7 7 11
1 11 3 15 7
1 8 6 18 4
1 6 9 18 3
1 3 15 15 3
1 7 15 3 11
1 4 18 6 8
1 3 18 9 6
o3 = {{11, 7, 7, 11}, {11, 3, 15, 7}, {8, 6, 18, 4}, {6, 9, 18, 3}, {3, 15,
------------------------------------------------------------------------
15, 3}, {7, 15, 3, 11}, {4, 18, 6, 8}, {3, 18, 9, 6}}
o3 : List
|