isLatticePolytope -- checks if a polyhedron is a lattice polytope

Synopsis

• Usage:

  b = isLatticePolytope P

• Inputs:
  • P, a convex polyhedron, which must be compact
• Outputs:
  • b, a Boolean value, true if P is a lattice polytope

Description

isLatticePolytope can only be applied to polytopes, i.e. compact polyhedra. It simply checks if it is compact and all vertices are lattice points.

i1 : P = polyhedronFromHData(matrix{{2,0},{0,-3},{-3,0},{0,2}},matrix{{1},{1},{1},{1}})

o1 = P

o1 : Polyhedron

i2 : isLatticePolytope P

o2 = false

i3 : P = polyhedronFromHData(matrix{{2,0},{0,-3},{-3,0},{0,2}},matrix{{4},{6},{3},{6}})

o3 = P

o3 : Polyhedron

i4 : isLatticePolytope P

o4 = true