dim(AbstractSimplicialComplex) -- The dimension of a simplicial complex

i1 : K = abstractSimplicialComplex(3)

o1 = AbstractSimplicialComplex{-1 => {{}}                   }
                               0 => {{1}, {2}, {3}}
                               1 => {{1, 2}, {1, 3}, {2, 3}}
                               2 => {{1, 2, 3}}

o1 : AbstractSimplicialComplex

i2 : dim K

o2 = 2