isCompact -- checks compactness of a Polyhedron

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}})

o1 = {ambient dimension => 3           }
      dimension of lineality space => 1
      dimension of polyhedron => 3
      number of facets => 5
      number of rays => 0
      number of vertices => 5

o1 : Polyhedron

i2 : isCompact P

o2 = false

Ways to use isCompact:

isCompact(Polyhedron)

For the programmer

The object isCompact is a method function.

The source of this document is in OldPolyhedra.m2:5562:0.