next | previous | forward | backward | up | top | index | toc | Macaulay2 web site
Matroids :: specificMatroids

specificMatroids -- creates built-in matroid

Synopsis

Description

Returns one of the named matroids below.

  • fano
  • nonfano
  • V8+
  • vamos
  • pappus
  • nonpappus
  • AG32
  • R10

Many of these matroids are interesting for their non-representability or duality properties:

  • The Fano matroid F7 is the matroid of the projective plane over F_2, and is representable only in characteristic 2. The non-Fano matroid is a relaxation of F7, and is representable only in characteristic not equal to 2.
  • The Pappus matroid is an illustration of Pappus' theorem. By the same token, the non-Pappus matroid is a relaxation which is not representable over any field.
  • The Vamos matroid V, which is a relaxation of V8+, is the smallest (size) matroid which is not representable over any field - indeed, it is not even algebraic. V8+ is identically self-dual, while V is isomorphic to its dual.
  • AG32 is the affine geometry corresponding to a 3-dimensional vector space over F_2, and is identically self-dual, with circuits equal to its hyperplanes. A relaxation of AG32 is the smallest matroid not representable over any field, with fewer basis elements than V.
i1 : F7 = specificMatroids "fano"

o1 = a matroid of rank 3 on 7 elements

o1 : Matroid
i2 : all(F7_*, x -> areIsomorphic(matroid completeGraph 4, F7 \ {x}))
Matroids are equal

o2 = true
i3 : AG32 = specificMatroids "AG32"

o3 = a matroid of rank 4 on 8 elements

o3 : Matroid
i4 : representationOf AG32

o4 = | 1 1 1 1 1 1 1 1 |
     | 0 0 0 0 1 1 1 1 |
     | 0 0 1 1 0 0 1 1 |
     | 0 1 0 1 0 1 0 1 |

             ZZ 4       ZZ 8
o4 : Matrix (--)  <--- (--)
              2          2
i5 : AG32 == dual AG32

o5 = true
i6 : R10 = specificMatroids "R10"

o6 = a matroid of rank 5 on 10 elements

o6 : Matroid
i7 : representationOf R10

o7 = | 1 0 0 0 0 1 1 0 0 1 |
     | 0 1 0 0 0 1 1 1 0 0 |
     | 0 0 1 0 0 0 1 1 1 0 |
     | 0 0 0 1 0 0 0 1 1 1 |
     | 0 0 0 0 1 1 0 0 1 1 |

             ZZ 5       ZZ 10
o7 : Matrix (--)  <--- (--)
              2          2
i8 : areIsomorphic(R10 \ set{0}, matroid completeMultipartiteGraph {3,3})

o8 = true

Caveat

Notice that the ground set is a subset of {0, ..., n-1}  rather than {1, ..., n}.

Ways to use specificMatroids :