Skip to main content

Documentation Index

Fetch the complete documentation index at: https://tsim.mintlify.app/llms.txt

Use this file to discover all available pages before exploring further.

​
find_stab

find_stab(graph: BaseGraph, strategy: DecompositionStrategy) -> list[BaseGraph]
Decompose a ZX-graph into a sum of stabilizer components. This is the main entry point for stabilizer rank decomposition. It first removes U3 phases, then decomposes T gates via BSS decompositions, producing a sum of scalar graphs. Parameters:
  • graph (BaseGraph) — The ZX graph to decompose.
  • strategy (DecompositionStrategy) — Decomposition strategy. Must be one of “cat5”, “bss”, “cutting”.
Returns:
  • list[BaseGraph] — A list of scalar graphs whose sum equals the original graph.

​
find_stab_magic

find_stab_magic(graphs: Iterable[BaseGraph], strategy: DecompositionStrategy) -> list[BaseGraph]
Recursively decompose ZX-graphs into stabilizer components via magic-state removal.

​
find_stab_u3

find_stab_u3(graphs: Iterable[BaseGraph], strategy: DecompositionStrategy) -> list[BaseGraph]
Recursively decompose ZX-graphs by removing U3 phases.