# isCayley -- checks if a polytope is Cayley

• Usage:
isCayley M,
isCayley P
• Inputs:
• M, ,
• P, ,
• Outputs:

## Description

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