Polish some phase text

- Hidden phase -> Global phase - Phase r+i -> Phase degs
adgt · Sep 9, 2019 · 966318c · 966318c
1 parent 7f461a9
commit 966318c
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 3 deletions.
diff --git a/html/forge.partial.html b/html/forge.partial.html
@@ -26,7 +26,7 @@
                 <td>
                     <input tabindex="100" id='gate-forge-rotation-axis' type="text" size="8" placeholder="X+Z"> axis<br/>
                     <input tabindex="101" id='gate-forge-rotation-angle' type="text" size="8" placeholder="45" style="margin:0.5em 0 0 0;">° angle<br/>
-                    <input tabindex="102" id='gate-forge-rotation-phase' type="text" size="8" placeholder="0" style="margin:0.5em 0 0 0;">° phase
+                    <input tabindex="102" id='gate-forge-rotation-phase' type="text" size="8" placeholder="0" style="margin:0.5em 0 0 0;">° global phase
                 </td>
                 <td></td>
                 <td>

diff --git a/src/draw/WidgetPainter.js b/src/draw/WidgetPainter.js
@@ -47,7 +47,8 @@ class WidgetPainter {
                         return "doesn't affect " + inputDescription;
                     }
                 } else if (Seq.range(n).every(r => r === c || col[r].isEqualTo(0))) {
-                    return "phases " + inputDescription + " by " + col[c].toString(format);
+                    let degs = col[c].ln().imag * 180/Math.PI;
+                    return "phases " + inputDescription + " by " + format.formatFloat(degs) + "°";
                 }
                 let outputDescription = new Seq(col).
                     mapWithIndex((e, c) => WidgetPainter.describeKet(b, c, e, format)).
@@ -146,7 +147,7 @@ class WidgetPainter {
             `rotates: ${format.formatFloat(angle * 180 / Math.PI)}°`,
             `around: ${WidgetPainter.describeAxis(axis, format)}`,
             '',
-            `hidden phase: exp(${format.formatFloat(phase * 180 / Math.PI)}°i)`,
+            `global phase: exp(${format.formatFloat(phase * 180 / Math.PI)}°i)`,
             ''
         ]).join('\n');
         pushRect(painter.printParagraph(