Macaulay2 » Documentation
Packages » Matroids :: independenceComplex(Matroid)
next | previous | forward | backward | up | index | toc

independenceComplex(Matroid) -- independence complex of matroid

Synopsis

Description

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 = simplicialComplex | x_2x_3 x_0x_3 x_1x_2 x_0x_2 x_0x_1 |

o2 : SimplicialComplex

See also

Ways to use this method: