Graph

Graph()

A graph that supported directional edges, parallel edges, self-edges and expression data on the nodes and edges.

Warning: modifying the graph if it is contained in a dict or set will invalidate the hash.

Methods

Name	Description
add_edge	Add an edge between the source and target nodes, returning the index of the edge.
add_node	Add a node with data data to the graph, returning the index of the node.
canonize	Write the graph in a canonical form. Returns the canonized graph, the vertex map, the automorphism group size, and the orbit.
canonize_edges	Sort and relabel the edges of the graph, keeping the vertices fixed.
edge	Get the idxth edge, consisting of the the source vertex, target vertex, whether the edge is directed, and the data.
generate	Generate all connected graphs with external_edges half-edges and the given allowed list
is_isomorphic	Check if the graph is isomorphic to another graph.
node	Get the idxth node, consisting of the edge indices and the data.
num_edges	Get the number of edges in the graph.
num_loops	Get the number of loops in the graph.
num_nodes	Get the number of nodes in the graph.
set_directed	Set the directed status of the edge at index index, returning the old value.
set_edge_data	Set the data of the edge at index index, returning the old data.
set_node_data	Set the data of the node at index index, returning the old data.
to_dot	Convert the graph to a graphviz dot string.
to_mermaid	Convert the graph to a mermaid string.

add_edge

Graph.add_edge(source, target, directed=False, data=None)

Add an edge between the source and target nodes, returning the index of the edge.

Optionally, the edge can be set as directed. The default data is the number 0.

add_node

Graph.add_node(data=None)

Add a node with data data to the graph, returning the index of the node. The default data is the number 0.

canonize

Graph.canonize()

Write the graph in a canonical form. Returns the canonized graph, the vertex map, the automorphism group size, and the orbit.

canonize_edges

Graph.canonize_edges()

Sort and relabel the edges of the graph, keeping the vertices fixed.

edge

Graph.edge(idx)

Get the idxth edge, consisting of the the source vertex, target vertex, whether the edge is directed, and the data.

generate

Graph.generate(_cls, external_nodes, vertex_signatures, max_vertices=None, max_loops=None, max_bridges=None, allow_self_edges=False)

Generate all connected graphs with external_edges half-edges and the given allowed list of vertex connections.

Returns the canonical form of the graph and the size of its automorphism group (including edge permutations).

Examples

>>> from symbolica import *
>>> g, q, qb, gh, ghb = S('g', 'q', 'qb', 'gh', 'ghb')
>>> Graph.generate([(1, g), (2, g)],
>>>                 [[g, g, g], [g, g, g, g],
>>>                  [q, qb, g], [gh, ghb, g]], max_loops=2)
>>> for (g, sym) in graphs.items():
>>>     print(f'Symmetry factor = 1/{sym}:')
>>>     print(g.to_dot())

generates all connected graphs up to 2 loops with the specified vertices.

Parameters

Name	Type	Description	Default
external_nodes	Sequence[tuple[Expression | int, Expression | int]]	The external edges, consisting of a tuple of the node data and the edge data. If the node data is the same, flip symmetries will be recognized.	required
vertex_signatures	Sequence[Sequence[Expression | int]]	The allowed connections for each vertex.	required
max_vertices	Optional[int]	The maximum number of vertices in the graph.	None
max_loops	Optional[int]	The maximum number of loops in the graph.	None
max_bridges	Optional[int]	The maximum number of bridges in the graph.	None
allow_self_edges	bool	Whether self-edges are allowed.	False

is_isomorphic

Graph.is_isomorphic(other)

Check if the graph is isomorphic to another graph.

node

Graph.node(idx)

Get the idxth node, consisting of the edge indices and the data.

num_edges

Graph.num_edges()

Get the number of edges in the graph.

num_loops

Graph.num_loops()

Get the number of loops in the graph.

num_nodes

Graph.num_nodes()

Get the number of nodes in the graph.

set_directed

Graph.set_directed(index, directed)

Set the directed status of the edge at index index, returning the old value.

set_edge_data

Graph.set_edge_data(index, data)

Set the data of the edge at index index, returning the old data.

set_node_data

Graph.set_node_data(index, data)

Set the data of the node at index index, returning the old data.

to_dot

Graph.to_dot()

Convert the graph to a graphviz dot string.

to_mermaid

Graph.to_mermaid()

Convert the graph to a mermaid string.