dim(Face) -- The dimension of a face.

i1 : K = QQ;

i2 : R = K[x_0..x_4];

i3 : I = monomialIdeal(x_0*x_1,x_1*x_2,x_2*x_3,x_3*x_4,x_4*x_0);

o3 : MonomialIdeal of R

i4 : D = simplicialComplex I

o4 = simplicialComplex | x_2x_4 x_1x_4 x_1x_3 x_0x_3 x_0x_2 |

o4 : SimplicialComplex

i5 : fc = faces(D)

o5 = HashTable{-1 => {1}                          }
               0 => {x , x , x , x , x }
                      0   1   2   3   4
               1 => {x x , x x , x x , x x , x x }
                      0 2   0 3   1 3   1 4   2 4

o5 : HashTable