Macaulay2 » Documentation
Packages » KustinMiller :: dim(Face)
next | previous | forward | backward | up | index | toc

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

- Function: dim
- Usage:
    `dim F`
- Inputs:
  - F, an instance of the type Face,
- Outputs:
  - an integer, bigger or equal to -1

## Description

Returns the dimension of a Face, i.e., the number of vertices F minus 1.

    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

## See also

- face -- Generate a face.
- facets(SimplicialComplex) -- get the list of maximal faces
- faces(SimplicialComplex) -- get the list of faces for an abstract simplicial complex

## Ways to use this method:

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

The source of this document is in /build/macaulay2-88fgJW/macaulay2-1.25.11+ds/M2/Macaulay2/packages/KustinMiller.m2:1369:0.