next | previous | forward | backward | up | top | index | toc | Macaulay2 web site
Polyhedra :: isCompact

isCompact -- checks compactness of a Polyhedron

Synopsis

Description

isCompact tests whether P is compact, i.e. a polytope, by checking if the rays and lineality space matrices are 0.

i1 : P = polyhedronFromHData(matrix{{1,1,1},{0,1,0},{-1,-1,-1},{-1,-1,-1},{0,-1,0},{1,-1,1}},matrix{{2},{1},{2},{2},{1},{2}})

o1 = P

o1 : Polyhedron
i2 : isCompact P

o2 = false

Ways to use isCompact :