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

Polyhedra :: isCompact

isCompact -- checks compactness of a Polyhedron

Synopsis

Usage:
b = isCompact P
Inputs:
- P, a convex polyhedron
Outputs:
- b, a Boolean value, true if the Polyhedron is compact, false otherwise

Description

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

i1 : P = intersection(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}})
Warning: This method is deprecated. Please consider using polyhedronFromHData instead.

o1 = P

o1 : Polyhedron

i2 : isCompact P

o2 = false

Ways to use `isCompact` :

isCompact(Polyhedron)