A few more remarks: (1) Specifying polytopes in terms of a V-description works by providing POINTS. Using VERTICES is potentially more efficient, but this requires that the points (i.e., rows of the matrix) are actually, the vertices, and without repetitions. (2) We use a homogeneous coordinate mode...