The independence complex of a matroid is the simplicial complex associated (via the Stanley-Reisner correspondence) to the circuit ideal of the matroid (which is a squarefree monomial ideal). This method uses the SimplicialComplexes package to return an object of type SimplicialComplex.
i1 : M = matroid({{0,1},{0,2},{0,3},{1,2},{2,3}})
o1 = a matroid of rank 2 on 4 elements
o1 : Matroid
|
i2 : independenceComplex M o2 = | x_2x_3 x_0x_3 x_1x_2 x_0x_2 x_0x_1 | o2 : SimplicialComplex |