Tableau
CHP tableau gate correctness
13/13 passed in 1ms
| Test | What it does | Result |
|---|---|---|
test_bell | Bell state stabilizers +XX, +ZZ. | ✅ pass |
test_cx_varargs_pairs | CX accepts flattened (control, target) pairs. | ✅ pass |
test_cz_on_plus | CZ|++> stabilized by XZ, ZX. | ✅ pass |
test_ghz | GHZ_3 group generated by XXX, ZZI, IZZ. | ✅ pass |
test_h_plus | H|0> = |+>, stabilized by +X. | ✅ pass |
test_random_clifford_inverse | A random Clifford followed by its inverse returns to |0...0>. | ✅ pass |
test_s_dag_inverts_s | S_DAG . S = identity. | ✅ pass |
test_s_maps_x_to_y | S maps X -> Y. | ✅ pass |
test_swap | SWAP exchanges |+>|0> -> |0>|+>. | ✅ pass |
test_y_gate | Y|0> = i|1>, stabilized by -Z. | ✅ pass |
test_z_makes_minus | Z|+> = |->, stabilized by -X. | ✅ pass |
test_zero_1q | |0> is stabilized by +Z. | ✅ pass |
test_zero_3q | |000> is stabilized by +ZII, +IZI, +IIZ. | ✅ pass |