Draw T and S gates as "T" and "S" instead of "Z^1/2" etc

adgt · Jun 7, 2018 · 48c57df · 48c57df
1 parent 1e14146
commit 48c57df
Show file tree

Hide file tree

Showing 3 changed files with 15 additions and 10 deletions.
diff --git a/src/circuit/Gate.js b/src/circuit/Gate.js
@@ -215,15 +215,16 @@ class Gate {
      * @param {!Matrix} matrix
      * @param {!string} name
      * @param {!string} blurb
+     * @param {undefined|!string} serializedId
      * @returns {!Gate}
      */
-    static fromKnownMatrix(symbol, matrix, name='', blurb='') {
+    static fromKnownMatrix(symbol, matrix, name='', blurb='', serializedId=undefined) {
         if (!(matrix instanceof Matrix)) {
             throw new DetailedError("Bad matrix.", {symbol, matrix, name, blurb});
         }
         let g = new Gate();
         g.symbol = symbol;
-        g.serializedId = symbol;
+        g.serializedId = serializedId === undefined ? symbol : serializedId;
         g.name = name;
         g.blurb = blurb;
         g._isDefinitelyUnitary = matrix.isUnitary(0.01);

diff --git a/src/gates/QuarterTurnGates.js b/src/gates/QuarterTurnGates.js
@@ -47,17 +47,19 @@ QuarterTurnGates.SqrtYBackward = Gate.fromKnownMatrix(
 
 /** @type {!Gate} */
 QuarterTurnGates.SqrtZForward = Gate.fromKnownMatrix(
-    "Z^½",
+    "S",
     Matrix.fromPauliRotation(0, 0, 0.25),
     "√Z Gate",
-    "Principle square root of Z.\nAlso known as the 'S' gate.");
+    "Principle square root of Z.\nAlso known as the 'S' gate.",
+    "Z^½");
 
 /** @type {!Gate} */
 QuarterTurnGates.SqrtZBackward = Gate.fromKnownMatrix(
-    "Z^-½",
+    "S^-1",
     Matrix.fromPauliRotation(0, 0, 0.75),
     "Z^-½ Gate",
-    "Adjoint square root of Z.");
+    "Adjoint square root of Z.",
+    "Z^-½");
 
 QuarterTurnGates.all = [
     QuarterTurnGates.SqrtXForward,

diff --git a/src/gates/VariousZGates.js b/src/gates/VariousZGates.js
@@ -28,15 +28,17 @@ VariousZGates.Z3i = Gate.fromKnownMatrix(
     "Z^-⅓ Gate",
     "Adjoint third root of Z.");
 VariousZGates.Z4 = Gate.fromKnownMatrix(
-    "Z^¼",
+    "T",
     Matrix.fromPauliRotation(0, 0, 1 / 8),
     "Z^¼ Gate",
-    "Principle fourth root of Z.\nAlso known as the 'T' gate.");
+    "Principle fourth root of Z.",
+    "Z^¼");
 VariousZGates.Z4i = Gate.fromKnownMatrix(
-    "Z^-¼",
+    "T^-1",
     Matrix.fromPauliRotation(0, 0, -1 / 8),
     "Z^-¼ Gate",
-    "Adjoint fourth root of Z.");
+    "Adjoint fourth root of Z.",
+    "Z^-¼");
 VariousZGates.Z8 = Gate.fromKnownMatrix(
     "Z^⅛",
     Matrix.fromPauliRotation(0, 0, 1 / 16),