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 = intersection(matrix{{2,0},{0,-3},{-3,0},{0,2}},matrix{{1},{1},{1},{1}}) o1 = {ambient dimension => 2 } dimension of lineality space => 0 dimension of polyhedron => 2 number of facets => 4 number of rays => 0 number of vertices => 4 o1 : Polyhedron |
i2 : isLatticePolytope P o2 = false |
i3 : P = intersection(matrix{{2,0},{0,-3},{-3,0},{0,2}},matrix{{4},{6},{3},{6}}) o3 = {ambient dimension => 2 } dimension of lineality space => 0 dimension of polyhedron => 2 number of facets => 4 number of rays => 0 number of vertices => 4 o3 : Polyhedron |
i4 : isLatticePolytope P o4 = true |
The object isLatticePolytope is a method function.