dim(PolyhedralComplex) -- computes the dimension of a polyhedral complex

Synopsis

• Function: dim

• Usage:

  d = dim PC

• Inputs:
  • PC, an instance of the type PolyhedralComplex
• Outputs:
  • d, an integer

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