A lattice polytope is Cayley if its vertices are contained in two parallel hyperplanes. The function isCayley checks this condition for a given polytope P.
i1 : P=hypercube 3; |
i2 : isCayley(P) o2 = true |
One can also input a matrix M to the function isCayley. In this case the function checks if the convex hull och the columns of M is a Cayley polytope.
i3 : isCayley matrix{{0,2,0},{0,0,2}} o3 = true |
The object isCayley is a method function.