Description
Returns the dimension of a polyhedral complex. This is the maximal dimension of all polyhedra of the complex.
i1 : PC = polyhedralComplex crossPolytope 3
o1 = {ambient dimension => 3 }
number of generating polyhedra => 1
top dimension of the polyhedra => 3
o1 : PolyhedralComplex
|
i2 : dim PC
o2 = 3
|