Description
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 = P
o1 : Polyhedron

i2 : isReflexive P
o2 = true
