gTdZddlmZmZmZmZddlmZddlm Z GddZ dS)zXCode from commutative_analysis pass that checks commutation relations between DAG nodes.)ListUnionSetOptional) Operation)CommutationCheckerceZdZdZ ddddededeeefdZ dd ed e fd Z dd e de de de de de d ed e fdZdZdZde de de de d ee dff dZdS)rauThis code is essentially copy-pasted from commutative_analysis.py. This code cleverly hashes commutativity and non-commutativity results between DAG nodes and seems quite efficient for large Clifford circuits. They may be other possible efficiency improvements: using rule-based commutativity analysis, evicting from the cache less useful entries, etc. N@B)gatesstandard_gate_commutationscache_max_entriesr c2t||||_dS)N) RustCheckercc)selfr r r s X/granary/edev/quantum/lib/python3.11/site-packages/qiskit/circuit/commutation_checker.py__init__zCommutationChecker.__init__s8:KUSSmax_num_qubitsreturnc:|j|||S)z!Checks if two DAGOpNodes commute.)r commute_nodes)rop1op2rs rrz CommutationChecker.commute_nodes&sw$$S#~>>>rrqargs1cargs1rqargs2cargs2c B|j|||||||S)aX Checks if two Operations commute. The return value of `True` means that the operations truly commute, and the return value of `False` means that either the operations do not commute or that the commutation check was skipped (for example, when the operations have conditions or have too many qubits). Args: op1: first operation. qargs1: first operation's qubits. cargs1: first operation's clbits. op2: second operation. qargs2: second operation's qubits. cargs2: second operation's clbits. max_num_qubits: the maximum number of qubits to consider, the check may be skipped if the number of qubits for either operation exceeds this amount. Returns: bool: whether two operations commute. )rcommute)rrrrrrrrs rr!zCommutationChecker.commute/s$:wsFFCXXXrc4|jS)z Returns number of cached entries)rnum_cached_entriesrs rr#z%CommutationChecker.num_cached_entriesNsw))+++rc8|jdS)z1Clears the dictionary holding cached commutationsN)rclear_cached_commutationsr$s rr&z,CommutationChecker.clear_cached_commutationsRs ))+++++rfirst_op first_qargs second_op second_qargscF|jj||||S)aXReturns stored commutation relation if any Args: first_op: first operation. first_qargs: first operation's qubits. second_op: second operation. second_qargs: second operation's qubits. Return: bool: True if the gates commute and false if it is not the case. )rlibrarycheck_commutation_entries)rr'r(r)r*s rr-z,CommutationChecker.check_commutation_entriesVs)$w88 k9l   r)Nr )r)__name__ __module__ __qualname____doc__dictintrrstrrboolrrrr!r#r&rr-rrrrs,0!&T %) TTT$(TT C! TTTT ?? ?  ????" YY YY Y  Y  YYY YYYY>,,,,,,       tTz        rrN) r1typingrrrrqiskit.circuit.operationr&qiskit._accelerate.commutation_checkerrrr6rrr:s_^------------......TTTTTTU U U U U U U U U U r