isCayley -- checks if a polytope is Cayley

Synopsis

Usage:

isCayley M,

isCayley P
Inputs:
- M, a matrix,
- P, a convex polyhedron,
Outputs:
- a Boolean value,

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

Ways to use isCayley :

isCayley(Matrix)
isCayley(Polyhedron)

For the programmer

The object isCayley is a method function.

isCayley -- checks if a polytope is Cayley

Synopsis

Description

See also

Ways to use isCayley :

For the programmer