tensorcircuit.zx.utils¶

Utility functions for ZX-calculus and stabilizer decomposition.

class tensorcircuit.zx.utils.ConnectedComponent(graph: Any, output_indices: list[int])[source]¶

Bases: object

A connected subgraph with its associated output indices.

__init__(graph: Any, output_indices: list[int]) → None¶
graph: Any¶
output_indices: list[int]¶
tensorcircuit.zx.utils.connected_components(g: Any) → list[ConnectedComponent][source]¶

Return each connected component of g as its own ZX subgraph.

Parameters:

g (Any) – The input ZX graph.

Returns:

List of ConnectedComponent objects.

Return type:

list[ConnectedComponent]

tensorcircuit.zx.utils.find_basis(vectors: Any) → tuple[Any, Any][source]¶

Decompose a set of binary vectors into a basis subset and a transformation matrix over GF(2).

Parameters:

vectors (Any) – Input binary vectors (2D array-like).

Returns:

Tuple of (basis_vectors, transformation_matrix).

Return type:

tuple[Any, Any]

tensorcircuit.zx.utils.get_params(g: Any) → set[str][source]¶

Get all parameter variables that appear in the graph and its scalar.

Parameters:

g (Any) – The ZX graph to inspect.

Returns:

A set of parameter names.

Return type:

set[str]