mimiqcircuits.decomposition.rules.toffoli_to_clifford_t

Rewrite rule for decomposing Toffoli into Clifford+T.

Classes

ToffoliToCliffordTRewrite()

Decompose GateCCX into an explicit Clifford+T sequence.
class mimiqcircuits.decomposition.rules.toffoli_to_clifford_t.ToffoliToCliffordTRewrite[source]

Bases: RewriteRule

Decompose GateCCX into an explicit Clifford+T sequence.

matches(op)[source]

Return True for Toffoli (CCX) gates.

decompose_step(op, qubits, bits, zvars)[source]

Apply the standard 7-T Toffoli decomposition.