Math.Combinatorics.Matroid

implies

exists

unique

shortlex

isShortlex

toShortlex

isClutter

deletions

closedUnderSubsets

data TrieSet a

tsshow

tsempty

tsinsert

tsmember

tssubmember

tstolist

tsfromlist

data Matroid a

elements

indeps

isIndependent

isDependent

isMatroidIndeps

fromIndeps

fromIndeps1

vectorMatroid

vectorMatroid'

cycleMatroid

cycleMatroid'

to1n

incidenceGraphB

incidenceGraphC

incidenceGraphH

matroidIsos

isMatroidIso

matroidAuts

isCircuit

circuits

isMatroidCircuits

fromCircuits

isLoop

isParallel

isSimple

isBase

bases

isMatroidBases

fromBases

fundamentalCircuit

uniformMatroid

u

restriction1

restriction

rankfun

rank

fromRankfun

closure

fromClosure

isFlat

flats1

coveringFlats

minimalFlat

flats

fromFlats

fromFlats'

isSpanning

isHyperplane

hyperplanes1

hyperplanes

isMatroidHyperplanes

fromHyperplanes1

fromHyperplanes

affineMatroid

fromGeoRep

minimal

simpleFromGeoRep

isSimpleGeoRep

isCircuitHyperplane

circuitHyperplanes

relaxation

ex161

transversalGraph

partialMatchings

transversalMatroid

dual

isCoindependent

isCobase

isCocircuit

cocircuits

isColoop

isCoparallel

deletion

(\\\)

contraction

(///)

isConnected

component

dsum

matroidPG

matroidAG

fundamentalCircuitIncidenceMatrix

fundamentalCircuitIncidenceMatrix'

fcim

fcim'

markNonInitialRCs

substStars

starSubstitutionsV

representations1

fcig

markedfcim

representations2

representations

isRepresentable

isBinary

isTernary

data LMR a b

seriesConnection

parallelConnection

twoSum

matroidUnion

f7

f7m

pappus

nonPappus

desargues

vamosMatroid1

vamosMatroid

v8

p8

p8'

p8m

p8mm

wheelGraph

mw4

w4'

w4

isBinary2

x

rankPoly1

rankPoly

numBases

numIndeps

numSpanning

indepCounts

whitney2nd

whitney1st