A graph is homogenous binary relation over the set 0, ..., |V|-1,
|V| is the number of vertices in the graph. A homogenous binary
relation is a set of ordered (directed graphs) or unordered
(undirected graphs) pairs taken from 0, ..., |V|-1. The functions
documented here handle graphs as relations. graph.union
creates the union of two or more graphs. Ie. only
edges which are included in at least one graph will be part of the new
graph.
graph.disjoint.union
creates a union of two or more disjoint
graphs. Thus first the vertices in the second, third, etc. graphs are
relabeled to have completely disjoint graphs. Then a simple union is
created.
graph.intersection
creates the intersection of two or more
graphs: only edges present in all graphs will be included.
graph.difference
creates the difference of two graphs. Only
edges present in the first graph but not in the second will be be
included in the new graph.
graph.complementer
creates the complementer of a graph. Only
edges which are not present in the original graph will be
included in the new graph.
graph.compose
creates the composition of two graphs. The new
graph will contain an (a,b) edge only if there is a vertex c, such
that edge (a,c) is included in the first graph and (c,b) is included
in the second graph.
These functions do not handle vertex and edge attributes, the new
graph will have no attributes at all. Yes, this is considered to be a
bug, so will likely change in the near future.