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