next | previous | forward | backward | up | top | index | toc | Macaulay2 website
Matroids :: independenceComplex(Matroid)

independenceComplex(Matroid) -- independence complex of matroid



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

See also