independenceComplex(Matroid) -- independence complex of matroid

Synopsis

Function: independenceComplex
Usage:

independenceComplex M
Inputs:
- M, a matroid,
Outputs:
- an abstract simplicial complex,

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

Ways to use this method: