qsharp-lang 1.17.1-dev → 1.17.3-dev

package/ux/circuit-vis/utils.ts

@@ -207,6 +207,52 @@ const getGateLocationString = (operation: Operation): string | null => {
   return operation.dataAttributes["location"];
 };
 
+/**
+ * Get the minimum and maximum register indices for a given operation.
+ *
+ * @param operation The operation for which to get the register indices.
+ * @param numQubits The number of qubits in the circuit.
+ * @returns A tuple containing the minimum and maximum register indices.
+ */
+function getMinMaxRegIdx(
+  operation: Operation,
+  numQubits: number,
+): [number, number] {
+  let targets: Register[];
+  let controls: Register[];
+  switch (operation.kind) {
+    case "measurement":
+      targets = operation.results;
+      controls = operation.qubits;
+      break;
+    case "unitary":
+      targets = operation.targets;
+      controls = operation.controls || [];
+      break;
+    case "ket":
+      targets = operation.targets;
+      controls = [];
+      break;
+  }
+
+  const qRegs = [...controls, ...targets]
+    .filter(({ result }) => result === undefined)
+    .map(({ qubit }) => qubit);
+  const clsControls: Register[] = controls.filter(
+    ({ result }) => result !== undefined,
+  );
+  const isClassicallyControlled: boolean = clsControls.length > 0;
+  if (!isClassicallyControlled && qRegs.length === 0) return [-1, -1];
+  // If operation is classically-controlled, pad all qubit registers. Otherwise, only pad
+  // the contiguous range of registers that it covers.
+  const minRegIdx: number = isClassicallyControlled ? 0 : Math.min(...qRegs);
+  const maxRegIdx: number = isClassicallyControlled
+    ? numQubits - 1
+    : Math.max(...qRegs);
+
+  return [minRegIdx, maxRegIdx];
+}
+
 /**********************
  *  Finder Functions  *
  **********************/
@@ -399,6 +445,7 @@ export {
   getChildTargets,
   locationStringToIndexes,
   getGateLocationString,
+  getMinMaxRegIdx,
   findGateElem,
   findLocation,
   findParentOperation,

package/ux/circuit.tsx

@@ -22,31 +22,41 @@ export function Circuit(props: {
   circuit?: qviz.CircuitGroup | qviz.Circuit;
   isEditable: boolean;
   editCallback?: (fileData: qviz.CircuitGroup) => void;
+  runCallback?: () => void;
 }) {
-  const circuitGroup = toCircuitGroup(props.circuit);
-  const circuit = circuitGroup.circuits[0];
+  let unrenderable = false;
+  let qubits = 0;
+  let operations = 0;
+  let errorMsg: string | undefined = undefined;
 
-  if (circuit.componentGrid === undefined) circuit.componentGrid = [];
-  if (circuit.qubits === undefined) circuit.qubits = [];
+  const result = toCircuitGroup(props.circuit);
+  if (result.ok) {
+    const circuit = result.circuitGroup.circuits[0];
+    if (circuit.componentGrid === undefined) circuit.componentGrid = [];
+    if (circuit.qubits === undefined) circuit.qubits = [];
+    qubits = circuit.qubits.length;
+    operations = circuit.componentGrid.length;
 
-  if (circuit.componentGrid === undefined) circuit.componentGrid = [];
-  if (circuit.qubits === undefined) circuit.qubits = [];
-
-  const unrenderable =
-    circuitGroup.circuits.length > MAX_CIRCUITS ||
-    (!props.isEditable && circuit.qubits.length === 0) ||
-    circuit.componentGrid.length > MAX_OPERATIONS ||
-    circuit.qubits.length > MAX_QUBITS;
+    unrenderable =
+      unrenderable ||
+      result.circuitGroup.circuits.length > MAX_CIRCUITS ||
+      (!props.isEditable && qubits === 0) ||
+      operations > MAX_OPERATIONS ||
+      qubits > MAX_QUBITS;
+  } else {
+    errorMsg = result.error;
+  }
 
   return (
     <div>
-      {unrenderable ? (
+      {!result.ok || unrenderable ? (
         <Unrenderable
-          qubits={circuit.qubits.length}
-          operations={circuit.componentGrid.length}
+          qubits={qubits}
+          operations={operations}
+          error={errorMsg}
         />
       ) : (
-        <ZoomableCircuit {...props} circuitGroup={circuitGroup} />
+        <ZoomableCircuit {...props} circuitGroup={result.circuitGroup} />
       )}
     </div>
   );
@@ -56,6 +66,7 @@ function ZoomableCircuit(props: {
   circuitGroup: qviz.CircuitGroup;
   isEditable: boolean;
   editCallback?: (fileData: qviz.CircuitGroup) => void;
+  runCallback?: () => void;
 }) {
   const circuitDiv = useRef<HTMLDivElement>(null);
   const [zoomLevel, setZoomLevel] = useState(100);
@@ -78,6 +89,7 @@ function ZoomableCircuit(props: {
         container,
         props.isEditable,
         props.editCallback,
+        props.runCallback,
       );
 
       if (!props.isEditable) {
@@ -163,8 +175,16 @@ function ZoomableCircuit(props: {
     container: HTMLDivElement,
     isEditable: boolean,
     editCallback?: (fileData: qviz.CircuitGroup) => void,
+    runCallback?: () => void,
   ) {
-    qviz.draw(circuitGroup, container, 0, isEditable, editCallback);
+    qviz.draw(
+      circuitGroup,
+      container,
+      0,
+      isEditable,
+      editCallback,
+      runCallback,
+    );
     return container.getElementsByClassName("qviz")[0]!;
   }
 
@@ -192,29 +212,49 @@ function ZoomableCircuit(props: {
   }
 }
 
-function Unrenderable(props: { qubits: number; operations: number }) {
-  const errorDiv =
-    props.qubits === 0 ? (
+function Unrenderable(props: {
+  qubits: number;
+  operations: number;
+  error?: string;
+}) {
+  let errorDiv = null;
+
+  if (props.error) {
+    errorDiv = (
+      <div>
+        <p>
+          <b>Unable to render circuit:</b>
+        </p>
+        <pre>{props.error}</pre>
+      </div>
+    );
+  } else if (props.qubits === 0) {
+    errorDiv = (
       <div>
         <p>No circuit to display. No qubits have been allocated.</p>
       </div>
-    ) : props.operations > MAX_OPERATIONS ? (
-      // Don't show the real number of operations here, as that number is
-      // *already* truncated by the underlying circuit builder.
+    );
+  } else if (props.operations > MAX_OPERATIONS) {
+    // Don't show the real number of operations here, as that number is
+    // *already* truncated by the underlying circuit builder.
+    errorDiv = (
       <div>
         <p>
           This circuit has too many gates to display. The maximum supported
           number of gates is {MAX_OPERATIONS}.
         </p>
       </div>
-    ) : props.qubits > MAX_QUBITS ? (
+    );
+  } else if (props.qubits > MAX_QUBITS) {
+    errorDiv = (
       <div>
         <p>
           This circuit has too many qubits to display. It has {props.qubits}{" "}
           qubits, but the maximum supported is {MAX_QUBITS}.
         </p>
       </div>
-    ) : undefined;
+    );
+  }
 
   return <div class="qs-circuit-error">{errorDiv}</div>;
 }
@@ -288,6 +328,7 @@ export function CircuitPanel(props: CircuitProps) {
           circuit={props.circuit}
           isEditable={props.isEditable}
           editCallback={props.editCallback}
+          runCallback={props.runCallback}
         ></Circuit>
       ) : null}
     </div>

package/ux/data.ts

@@ -75,6 +75,7 @@ export type CircuitProps = {
   calculating: boolean;
   isEditable: boolean;
   editCallback?: (fileData: CircuitGroup) => void;
+  runCallback?: () => void;
 };
 
 export type CircuitGroup = import("./circuit-vis/circuit").CircuitGroup;

package/ux/qsharp-circuit.css

@@ -327,6 +327,37 @@
   .ghost-opacity {
     opacity: 0.5;
   }
+
+  .svg-run-button-rect {
+    fill: var(--vscode-button-background, #007acc);
+    rx: 8;
+    filter: drop-shadow(0 2px 4px rgba(0, 0, 0, 0.15));
+    transition:
+      fill 0.2s,
+      filter 0.2s;
+  }
+
+  .svg-run-button:hover .svg-run-button-rect,
+  .svg-run-button:focus .svg-run-button-rect {
+    fill: var(--vscode-button-hoverBackground, #005a9e);
+    filter: drop-shadow(0 4px 8px rgba(0, 0, 0, 0.25));
+  }
+
+  .svg-run-button-text {
+    fill: var(--vscode-button-foreground, #ffffff);
+    font-size: 16px;
+    font-family: "Segoe UI", Arial, sans-serif;
+    font-weight: bold;
+    text-anchor: middle;
+    dominant-baseline: middle;
+    pointer-events: none;
+    letter-spacing: 1px;
+    user-select: none;
+  }
+
+  .svg-run-button {
+    cursor: pointer;
+  }
 }
 
 .context-menu {

package/dist/shared/circuit.js

@@ -1,20 +0,0 @@
-// Copyright (c) Microsoft Corporation.
-// Licensed under the MIT license.
-/**
- * Current format version.
- */
-export const CURRENT_VERSION = 1;
-/**
- * Conditions on when to render the given operation.
- */
-export var ConditionalRender;
-(function (ConditionalRender) {
-    /** Always rendered. */
-    ConditionalRender[ConditionalRender["Always"] = 0] = "Always";
-    /** Render classically-controlled operation when measurement is a zero. */
-    ConditionalRender[ConditionalRender["OnZero"] = 1] = "OnZero";
-    /** Render classically-controlled operation when measurement is a one. */
-    ConditionalRender[ConditionalRender["OnOne"] = 2] = "OnOne";
-    /** Render operation as a group of its nested operations. */
-    ConditionalRender[ConditionalRender["AsGroup"] = 3] = "AsGroup";
-})(ConditionalRender || (ConditionalRender = {}));

package/dist/shared/legacyCircuitUpdate.d.ts

@@ -1,9 +0,0 @@
-import { CircuitGroup } from "./circuit.js";
-/**
- * Ensures that the given circuit object is a CircuitGroup, doing any
- * necessary conversions from Circuit or legacy formats.
- *
- * @param circuit The circuit to convert.
- * @returns The converted CircuitGroup.
- */
-export declare function toCircuitGroup(circuit: any): CircuitGroup;

package/dist/shared/register.js

@@ -1,10 +0,0 @@
-// Copyright (c) Microsoft Corporation.
-// Licensed under the MIT license.
-/**
- * Type of register.
- */
-export var RegisterType;
-(function (RegisterType) {
-    RegisterType[RegisterType["Qubit"] = 0] = "Qubit";
-    RegisterType[RegisterType["Classical"] = 1] = "Classical";
-})(RegisterType || (RegisterType = {}));