Math.Combinatorics.Matroid
data TrieSet a
data Matroid a
elements
indeps
isIndependent
isDependent
isMatroidIndeps
fromIndeps
vectorMatroid
vectorMatroid'
cycleMatroid
to1n
isMatroidIso
matroidAuts
isCircuit
circuits
isMatroidCircuits
fromCircuits
isLoop
isParallel
isSimple
isBase
bases
isMatroidBases
fromBases
fundamentalCircuit
u
restriction
rankfun
rank
fromRankfun
closure
fromClosure
isFlat
flats
fromFlats
isSpanning
isHyperplane
hyperplanes
isMatroidHyperplanes
fromHyperplanes
affineMatroid
fromGeoRep
simpleFromGeoRep
circuitHyperplanes
relaxation
transversalMatroid
dual
cocircuits
deletion
contraction
isConnected
dsum
matroidPG
matroidAG
fundamentalCircuitIncidenceMatrix
representations
isRepresentable
isBinary
isTernary
data LMR a b
f7
f7m
pappus
nonPappus
desargues
v8
p8
p8m
p8mm
rankPoly