Math.Combinatorics.Graph
set
powerset
data Graph a
nf
isSetSystem
isGraph
graph
toGraph
vertices
edges
incidenceMatrix
fromIncidenceMatrix
adjacencyMatrix
fromAdjacencyMatrix
nullGraph
nullGraph'
c
k
kb
kb'
q
q'
tetrahedron
cube
octahedron
dodecahedron
icosahedron
prism
to1n
fromDigits
fromBinary
petersen
complement
restriction
inducedSubgraph
lineGraph
lineGraph'
cartProd
order
size
valency
valencies
valencyPartition
regularParam
isRegular
isCubic
nbrs
findPaths
distance
diameter
findCycles
girth
distancePartition
distancePartitionS
component
isConnected
components
j
kneser
johnson
bipartiteKneser
desargues1
gp
petersen2
prism'
durer
mobiusKantor
dodecahedron2
desargues2