update README.md

NoureldinYosri · NoureldinYosri · commit 3d57c7ac4fff · 2025-11-03T17:43:26.000-08:00
diff --git a/qualtran/rotation_synthesis/README.md b/qualtran/rotation_synthesis/README.md
@@ -43,6 +43,12 @@ SU2CliffordT(matrix=array([[ZW(coords=(1509861905169903736208, 11747542590833689
 
 >>> rs.to_sequence(diagonal.to_matrix())  # Print gate names
 ('S', 'H', 'Tz', 'Tx', 'Ty', 'Tz', 'Tx', 'Tz', 'Tx', 'Tz', 'Ty', 'Tz', 'Ty', 'Tx', 'Tz', 'Tx', 'Ty', 'Tx', 'Ty', 'Tx', 'Tz', 'Ty', 'Tz', 'Ty', 'Tz', 'Ty', 'Tz', 'Ty', 'Tx', 'Tz', 'Ty', 'Tz', 'Ty', 'Tz', 'Tx', 'Tz', 'Ty', 'Tz', 'Ty', 'Tx', 'Ty', 'Tz', 'Tx', 'Tz', 'Ty', 'Tx', 'Ty', 'Tx', 'Tz', 'Tx', 'Ty', 'Tz', 'Ty', 'Tx', 'Ty', 'Tx', 'Ty', 'Tz', 'Tx', 'Tz', 'Ty', 'Tz', 'Ty', 'Tz', 'Tx', 'Ty', 'Tz', 'Tx', 'Tz', 'Ty', 'Tx', 'Ty', 'Tz', 'Tx', 'Ty', 'Tx', 'Ty', 'Tx', 'Ty', 'Tz', 'Ty', 'Tz')
+
+>>> print(diagonal.to_cirq())  # Export to Cirq
+0: ───S───Rx(0.25π)───Rz(-0.25π)───Rx(0.25π)───Rz(0.25π)───Rx(0.25π)───Rz(-0.25π)───Rx(0.25π)───Rz(0.25π)───Rx(0.25π)───Rz(-0.25π)───Rx(-0.25π)───Rz(0.25π)───Rx(0.25π)───Rz(0.25π)───Rx(-0.25π)───Rz(-0.25π)───Rx(-0.25π)───Rz(0.25π)───Rx(0.25π)───Rz(-0.25π)───Rx(-0.25π)───Rz(-0.25π)───Rx(-0.25π)───Rz(-0.25π)───Rx(-0.25π)───Rz(0.25π)───Rx(0.25π)───Rz(0.25π)───Rx(-0.25π)───Rz(-0.25π)───Rx(-0.25π)───Rz(0.25π)───Rx(0.25π)───Rz(0.25π)───Rx(0.25π)───Rz(-0.25π)───Rx(-0.25π)───Rz(-0.25π)───Rx(-0.25π)───Rz(-0.25π)───Rx(-0.25π)───Rz(-0.25π)───Rx(0.25π)───Rz(0.25π)───Rx(-0.25π)───Rz(-0.25π)───Rx(-0.25π)───Rz(-0.25π)───Rx(-0.25π)───Rz(-0.25π)───Rx(-0.25π)───Rz(-0.25π)───Rx(0.25π)───Rz(-0.25π)───Rx(-0.25π)───Rz(-0.25π)───Rx(-0.25π)───Rz(-0.25π)───Rx(-0.25π)───Rz(0.25π)───Rx(-0.25π)───Rz(-0.25π)───Rx(-0.25π)───Rz(0.25π)───Rx(0.25π)───Rz(0.25π)───Rx(0.25π)───Rz(-0.25π)───Rx(-0.25π)───Rz(-0.25π)───Rx(-0.25π)───Rz(0.25π)───Rx(-0.25π)───Rz(-0.25π)───Rx(-0.25π)───Rz(-0.25π)───Rx(0.25π)───Rz(0.25π)───Rx(-0.25π)───Rz(-0.25π)───
+
+>>> print(diagonal.to_quirk(fmt='xz'))  # Export to quirk
+https://algassert.com/quirk#circuit={"cols":[["Z^½"],["X^¼"],["Z^-¼"],["X^¼"],["Z^¼"],["X^¼"],["Z^-¼"],["X^¼"],["Z^¼"],["X^¼"],["Z^-¼"],["X^-¼"],["Z^¼"],["X^¼"],["Z^¼"],["X^-¼"],["Z^-¼"],["X^-¼"],["Z^¼"],["X^¼"],["Z^-¼"],["X^-¼"],["Z^-¼"],["X^-¼"],["Z^-¼"],["X^-¼"],["Z^¼"],["X^¼"],["Z^¼"],["X^-¼"],["Z^-¼"],["X^-¼"],["Z^¼"],["X^¼"],["Z^¼"],["X^¼"],["Z^-¼"],["X^-¼"],["Z^-¼"],["X^-¼"],["Z^-¼"],["X^-¼"],["Z^-¼"],["X^¼"],["Z^¼"],["X^-¼"],["Z^-¼"],["X^-¼"],["Z^-¼"],["X^-¼"],["Z^-¼"],["X^-¼"],["Z^-¼"],["X^¼"],["Z^-¼"],["X^-¼"],["Z^-¼"],["X^-¼"],["Z^-¼"],["X^-¼"],["Z^¼"],["X^-¼"],["Z^-¼"],["X^-¼"],["Z^¼"],["X^¼"],["Z^¼"],["X^¼"],["Z^-¼"],["X^-¼"],["Z^-¼"],["X^-¼"],["Z^¼"],["X^-¼"],["Z^-¼"],["X^-¼"],["Z^-¼"],["X^¼"],["Z^¼"],["X^-¼"],["Z^-¼"]]}
 ```
 
 
@@ -60,7 +66,25 @@ expected number of T gates is 32.335 divided into
 
 >>> 'actual diamond distance: %e'%fallback.diamond_norm_distance_to_rz(theta, config)
 'actual diamond distance: 8.358389e-09'
+
+>>> print(fallback.to_quirk(fmt='xz'))  # Export to Quirk
+https://algassert.com/quirk#circuit={"cols":[["•","X"],["Z^½",1],["Z^½",1],["Z^½",1],["H",1],["Z^½",1],["H",1],["X^¼",1],["Z^¼",1],["X^¼",1],["Z^-¼",1],["X^¼",1],["Z^-¼",1],["X^-¼",1],["Z^¼",1],["X^¼",1],["Z^¼",1],["X^¼",1],["Z^¼",1],["X^¼",1],["Z^¼",1],["X^-¼",1],["Z^-¼",1],["X^-¼",1],["Z^-¼",1],["X^¼",1],["Z^-¼",1],["X^-¼",1],["Z^¼",1],["X^-¼",1],["Z^-¼",1],["X^¼",1],["Z^-¼",1],["X^-¼",1],["Z^-¼",1],["X^-¼",1],["Z^-¼",1],["X^-¼",1],["Z^-¼",1],["•","X"],[1,"Measure"],["H","•"],["Z^½","•"],["H","•"],["X^-¼","•"],["Z^-¼","•"],["X^-¼","•"],["Z^-¼","•"],["X^-¼","•"],["Z^-¼","•"],["X^-¼","•"],["Z^-¼","•"],["X^-¼","•"],["Z^¼","•"],["X^-¼","•"],["Z^¼","•"],["X^¼","•"],["Z^¼","•"],["X^¼","•"],["Z^¼","•"],["X^-¼","•"],["Z^¼","•"],["X^¼","•"],["Z^¼","•"],["X^¼","•"],["Z^¼","•"],["X^¼","•"],["Z^¼","•"],["X^-¼","•"],["Z^¼","•"],["X^¼","•"],["Z^-¼","•"],["X^-¼","•"],["Z^¼","•"],["X^-¼","•"],["Z^-¼","•"],["X^¼","•"],["Z^¼","•"],["X^¼","•"],["Z^-¼","•"],["X^-¼","•"],["Z^-¼","•"],["X^¼","•"],["Z^¼","•"],["X^-¼","•"],["Z^¼","•"],["X^-¼","•"],["Z^-¼","•"],["X^¼","•"],["Z^-¼","•"],["X^-¼","•"],["Z^-¼","•"],["X^-¼","•"],["Z^-¼","•"],["X^¼","•"],["Z^¼","•"],["X^-¼","•"],["Z^¼","•"],["X^¼","•"],["Z^¼","•"],["X^¼","•"],["Z^-¼","•"],["X^¼","•"],["Z^¼","•"],["X^-¼","•"],["Z^¼","•"],["X^-¼","•"],["Z^¼","•"],["X^-¼","•"],["H","•"]]}
+
+>>> print(fallback.to_cirq())  # Export to Cirq.
+```
+
+<details>
+<summary> Cirq circuit </summary>
+
+```sh
+
+0: ───@───[ 0: ───S───S───S───H───S───H───Rx(0.25π)───Rz(0.25π)───Rx(0.25π)───Rz(-0.25π)───Rx(0.25π)───Rz(-0.25π)───Rx(-0.25π)───Rz(0.25π)───Rx(0.25π)───Rz(0.25π)───Rx(0.25π)───Rz(0.25π)───Rx(0.25π)───Rz(0.25π)───Rx(-0.25π)───Rz(-0.25π)───Rx(-0.25π)───Rz(-0.25π)───Rx(0.25π)───Rz(-0.25π)───Rx(-0.25π)───Rz(0.25π)───Rx(-0.25π)───Rz(-0.25π)───Rx(0.25π)───Rz(-0.25π)───Rx(-0.25π)───Rz(-0.25π)───Rx(-0.25π)───Rz(-0.25π)───Rx(-0.25π)───Rz(-0.25π)─── ]───@───────[ 0: ───H───S───H───Rx(-0.25π)───Rz(-0.25π)───Rx(-0.25π)───Rz(-0.25π)───Rx(-0.25π)───Rz(-0.25π)───Rx(-0.25π)───Rz(-0.25π)───Rx(-0.25π)───Rz(0.25π)───Rx(-0.25π)───Rz(0.25π)───Rx(0.25π)───Rz(0.25π)───Rx(0.25π)───Rz(0.25π)───Rx(-0.25π)───Rz(0.25π)───Rx(0.25π)───Rz(0.25π)───Rx(0.25π)───Rz(0.25π)───Rx(0.25π)───Rz(0.25π)───Rx(-0.25π)───Rz(0.25π)───Rx(0.25π)───Rz(-0.25π)───Rx(-0.25π)───Rz(0.25π)───Rx(-0.25π)───Rz(-0.25π)───Rx(0.25π)───Rz(0.25π)───Rx(0.25π)───Rz(-0.25π)───Rx(-0.25π)───Rz(-0.25π)───Rx(0.25π)───Rz(0.25π)───Rx(-0.25π)───Rz(0.25π)───Rx(-0.25π)───Rz(-0.25π)───Rx(0.25π)───Rz(-0.25π)───Rx(-0.25π)───Rz(-0.25π)───Rx(-0.25π)───Rz(-0.25π)───Rx(0.25π)───Rz(0.25π)───Rx(-0.25π)───Rz(0.25π)───Rx(0.25π)───Rz(0.25π)───Rx(0.25π)───Rz(-0.25π)───Rx(0.25π)───Rz(0.25π)───Rx(-0.25π)───Rz(0.25π)───Rx(-0.25π)───Rz(0.25π)───Rx(-0.25π)───H─── ].with_classical_controls(m)───
+      │                                                                                                                                                                                                                                                                                                                                                                                                                                                          │       ║
+1: ───X──────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────X───M───╫───────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────
+                                                                                                                                                                                                                                                                                                                                                                                                                                                                     ║   ║
+m: ══════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════@═══╩═══════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════
 ```
+</details>
 
 
 ### Mixed Diagonal Protocol
