flamingpy.utils.linalg¶
Helper functions for linear algebra used for testing LC equivalence.
Functions
|
Check if two EGraphs are LC equivalent, and return the Clifford operation if so. |
Convert a local Clifford gate on n qubits to a local Clifford gate on all n qubits. |
|
Convert a local Clifford gate on n qubits to a list of n single-qubit Cliffords. |
|
|
Build the constraint for LC-equivalence of two adjacency matrices. |
Return the nullspace basis of matrix M. |
|
|
Put a binary matrix into row reduced echelon form modulo 2, up to a maximum number of columns given by max_cols. |
|
Check if the nullspace satisfies the determinant constraints. |