isLatticePolytope -- checks if a polyhedron is a lattice polytope

• 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

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