A lattice polytope P in the QQ space of a lattice $M$ is reflexive if its polar polytope is also a lattice polytope. The function checks if P is compact, a lattice polytope and if the dual is a lattice polytope.
i1 : P = convexHull matrix {{1,0,-1},{0,1,-1}} o1 = {ambient dimension => 2 } dimension of lineality space => 0 dimension of polyhedron => 2 number of facets => 3 number of rays => 0 number of vertices => 3 o1 : Polyhedron |
i2 : isReflexive P o2 = true |
The object isReflexive is a method function.