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