isReflexive -- checks if a Polytope is reflexive

Synopsis

Usage:

b = isReflexive P
Inputs:
- P, a convex polyhedron
Outputs:
- b, true if the Polyhedron is reflexive, false otherwise

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

Ways to use isReflexive :

"isReflexive(Polyhedron)"

For the programmer

The object isReflexive is a method function.

isReflexive -- checks if a Polytope is reflexive

Synopsis

Description

See also

Ways to use isReflexive :

For the programmer