qsharp-lang 1.3.6-dev → 1.4.1-dev

package/docs/Microsoft.Quantum.Unstable.StatePreparation/ApproximatelyPreparePureStateCP.md

@@ -1,7 +1,7 @@
 ---
 uid: Qdk.Microsoft.Quantum.Unstable.StatePreparation.ApproximatelyPreparePureStateCP
 title: ApproximatelyPreparePureStateCP operation
-ms.date: 04/17/2024 12:00:00 AM
+ms.date: 05/06/2024 12:00:00 AM
 ms.topic: managed-reference
 qsharp.kind: operation
 qsharp.namespace: Microsoft.Quantum.Unstable.StatePreparation
@@ -61,6 +61,6 @@ elements (rⱼ, tⱼ) = (0.0, 0.0) if fewer than 2ⁿ are
 specified.
 
 ## References
-- Synthesis of Quantum Logic Circuits
+- [arXiv:quant-ph/0406176](https://arxiv.org/abs/quant-ph/0406176)
+  "Synthesis of Quantum Logic Circuits",
   Vivek V. Shende, Stephen S. Bullock, Igor L. Markov
-  https://arxiv.org/abs/quant-ph/0406176

package/docs/Microsoft.Quantum.Unstable.StatePreparation/PreparePureStateD.md

@@ -1,7 +1,7 @@
 ---
 uid: Qdk.Microsoft.Quantum.Unstable.StatePreparation.PreparePureStateD
 title: PreparePureStateD operation
-ms.date: 04/17/2024 12:00:00 AM
+ms.date: 05/06/2024 12:00:00 AM
 ms.topic: managed-reference
 qsharp.kind: operation
 qsharp.namespace: Microsoft.Quantum.Unstable.StatePreparation
@@ -56,9 +56,9 @@ PreparePureStateD(amplitudes, qubits);
 ```
 
 ## References
-- Synthesis of Quantum Logic Circuits
+- [arXiv:quant-ph/0406176](https://arxiv.org/abs/quant-ph/0406176)
+  "Synthesis of Quantum Logic Circuits",
   Vivek V. Shende, Stephen S. Bullock, Igor L. Markov
-  https://arxiv.org/abs/quant-ph/0406176
 
 ## See Also
 - Microsoft.Quantum.Unstable.StatePreparation.ApproximatelyPreparePureStateCP

package/docs/Microsoft.Quantum.Unstable.TableLookup/Select.md

@@ -1,7 +1,7 @@
 ---
 uid: Qdk.Microsoft.Quantum.Unstable.TableLookup.Select
 title: Select operation
-ms.date: 04/17/2024 12:00:00 AM
+ms.date: 05/06/2024 12:00:00 AM
 ms.topic: managed-reference
 qsharp.kind: operation
 qsharp.namespace: Microsoft.Quantum.Unstable.TableLookup
@@ -44,10 +44,10 @@ measurement-based unlookup operation [3]. The controlled adjoint variant
 is not optimized using this technique.
 
 ## References
-[1] [arXiv:1805.03662](https://arxiv.org/abs/1805.03662)
-    "Encoding Electronic Spectra in Quantum Circuits with Linear T
-     Complexity"
-[2] [arXiv:1905.07682](https://arxiv.org/abs/1905.07682)
-    "Windowed arithmetic"
-[3] [arXiv:2211.01133](https://arxiv.org/abs/2211.01133)
-    "Space-time optimized table lookup"
+1. [arXiv:1805.03662](https://arxiv.org/abs/1805.03662)
+   "Encoding Electronic Spectra in Quantum Circuits with Linear T
+   Complexity"
+2. [arXiv:1905.07682](https://arxiv.org/abs/1905.07682)
+   "Windowed arithmetic"
+3. [arXiv:2211.01133](https://arxiv.org/abs/2211.01133)
+   "Space-time optimized table lookup"

package/lib/node/qsc_wasm.cjs

@@ -455,60 +455,74 @@ module.exports.get_library_source_content = function(name) {
 /**
 * @param {string} code
 * @param {(string)[]} language_features
+* @param {string} profile
 * @returns {string}
 */
-module.exports.get_ast = function(code, language_features) {
-    let deferred3_0;
-    let deferred3_1;
+module.exports.get_ast = function(code, language_features, profile) {
+    let deferred5_0;
+    let deferred5_1;
     try {
         const retptr = wasm.__wbindgen_add_to_stack_pointer(-16);
         const ptr0 = passStringToWasm0(code, wasm.__wbindgen_export_0, wasm.__wbindgen_export_1);
         const len0 = WASM_VECTOR_LEN;
         const ptr1 = passArrayJsValueToWasm0(language_features, wasm.__wbindgen_export_0);
         const len1 = WASM_VECTOR_LEN;
-        wasm.get_ast(retptr, ptr0, len0, ptr1, len1);
+        const ptr2 = passStringToWasm0(profile, wasm.__wbindgen_export_0, wasm.__wbindgen_export_1);
+        const len2 = WASM_VECTOR_LEN;
+        wasm.get_ast(retptr, ptr0, len0, ptr1, len1, ptr2, len2);
         var r0 = getInt32Memory0()[retptr / 4 + 0];
         var r1 = getInt32Memory0()[retptr / 4 + 1];
-        deferred3_0 = r0;
-        deferred3_1 = r1;
-        return getStringFromWasm0(r0, r1);
+        var r2 = getInt32Memory0()[retptr / 4 + 2];
+        var r3 = getInt32Memory0()[retptr / 4 + 3];
+        var ptr4 = r0;
+        var len4 = r1;
+        if (r3) {
+            ptr4 = 0; len4 = 0;
+            throw takeObject(r2);
+        }
+        deferred5_0 = ptr4;
+        deferred5_1 = len4;
+        return getStringFromWasm0(ptr4, len4);
     } finally {
         wasm.__wbindgen_add_to_stack_pointer(16);
-        wasm.__wbindgen_export_4(deferred3_0, deferred3_1, 1);
+        wasm.__wbindgen_export_4(deferred5_0, deferred5_1, 1);
     }
 };
 
 /**
 * @param {string} code
 * @param {(string)[]} language_features
+* @param {string} profile
 * @returns {string}
 */
-module.exports.get_hir = function(code, language_features) {
-    let deferred4_0;
-    let deferred4_1;
+module.exports.get_hir = function(code, language_features, profile) {
+    let deferred5_0;
+    let deferred5_1;
     try {
         const retptr = wasm.__wbindgen_add_to_stack_pointer(-16);
         const ptr0 = passStringToWasm0(code, wasm.__wbindgen_export_0, wasm.__wbindgen_export_1);
         const len0 = WASM_VECTOR_LEN;
         const ptr1 = passArrayJsValueToWasm0(language_features, wasm.__wbindgen_export_0);
         const len1 = WASM_VECTOR_LEN;
-        wasm.get_hir(retptr, ptr0, len0, ptr1, len1);
+        const ptr2 = passStringToWasm0(profile, wasm.__wbindgen_export_0, wasm.__wbindgen_export_1);
+        const len2 = WASM_VECTOR_LEN;
+        wasm.get_hir(retptr, ptr0, len0, ptr1, len1, ptr2, len2);
         var r0 = getInt32Memory0()[retptr / 4 + 0];
         var r1 = getInt32Memory0()[retptr / 4 + 1];
         var r2 = getInt32Memory0()[retptr / 4 + 2];
         var r3 = getInt32Memory0()[retptr / 4 + 3];
-        var ptr3 = r0;
-        var len3 = r1;
+        var ptr4 = r0;
+        var len4 = r1;
         if (r3) {
-            ptr3 = 0; len3 = 0;
+            ptr4 = 0; len4 = 0;
             throw takeObject(r2);
         }
-        deferred4_0 = ptr3;
-        deferred4_1 = len3;
-        return getStringFromWasm0(ptr3, len3);
+        deferred5_0 = ptr4;
+        deferred5_1 = len4;
+        return getStringFromWasm0(ptr4, len4);
     } finally {
         wasm.__wbindgen_add_to_stack_pointer(16);
-        wasm.__wbindgen_export_4(deferred4_0, deferred4_1, 1);
+        wasm.__wbindgen_export_4(deferred5_0, deferred5_1, 1);
     }
 };
 
@@ -1499,8 +1513,8 @@ module.exports.__wbindgen_memory = function() {
     return addHeapObject(ret);
 };
 
-module.exports.__wbindgen_closure_wrapper710 = function(arg0, arg1, arg2) {
-    const ret = makeMutClosure(arg0, arg1, 298, __wbg_adapter_54);
+module.exports.__wbindgen_closure_wrapper747 = function(arg0, arg1, arg2) {
+    const ret = makeMutClosure(arg0, arg1, 299, __wbg_adapter_54);
     return addHeapObject(ret);
 };
 

package/lib/node/qsc_wasm.d.cts

@@ -44,15 +44,17 @@ export function get_library_source_content(name: string): string | undefined;
 /**
 * @param {string} code
 * @param {(string)[]} language_features
+* @param {string} profile
 * @returns {string}
 */
-export function get_ast(code: string, language_features: (string)[]): string;
+export function get_ast(code: string, language_features: (string)[], profile: string): string;
 /**
 * @param {string} code
 * @param {(string)[]} language_features
+* @param {string} profile
 * @returns {string}
 */
-export function get_hir(code: string, language_features: (string)[]): string;
+export function get_hir(code: string, language_features: (string)[], profile: string): string;
 /**
 * @param {(Array<any>)[]} sources
 * @param {string} expr
@@ -220,8 +222,9 @@ export interface ICell {
     }
 
 export interface INotebookMetadata {
-        targetProfile?: "base" | "quantinuum" | "unrestricted";
+        targetProfile?: "base" | "adaptive_ri" | "unrestricted";
         languageFeatures?: "v2-preview-syntax"[];
+        manifest?: string;
     }
 
 export interface IPosition {
@@ -246,7 +249,7 @@ export interface IDocFile {
     }
 
 
-export type TargetProfile = "base" | "quantinuum" |"unrestricted";
+export type TargetProfile = "base" | "adaptive_ri" |"unrestricted";
 
 
 /**

package/lib/web/qsc_wasm.d.ts

@@ -44,15 +44,17 @@ export function get_library_source_content(name: string): string | undefined;
 /**
 * @param {string} code
 * @param {(string)[]} language_features
+* @param {string} profile
 * @returns {string}
 */
-export function get_ast(code: string, language_features: (string)[]): string;
+export function get_ast(code: string, language_features: (string)[], profile: string): string;
 /**
 * @param {string} code
 * @param {(string)[]} language_features
+* @param {string} profile
 * @returns {string}
 */
-export function get_hir(code: string, language_features: (string)[]): string;
+export function get_hir(code: string, language_features: (string)[], profile: string): string;
 /**
 * @param {(Array<any>)[]} sources
 * @param {string} expr
@@ -220,8 +222,9 @@ export interface ICell {
     }
 
 export interface INotebookMetadata {
-        targetProfile?: "base" | "quantinuum" | "unrestricted";
+        targetProfile?: "base" | "adaptive_ri" | "unrestricted";
         languageFeatures?: "v2-preview-syntax"[];
+        manifest?: string;
     }
 
 export interface IPosition {
@@ -246,7 +249,7 @@ export interface IDocFile {
     }
 
 
-export type TargetProfile = "base" | "quantinuum" |"unrestricted";
+export type TargetProfile = "base" | "adaptive_ri" |"unrestricted";
 
 
 /**
@@ -470,8 +473,8 @@ export interface InitOutput {
   readonly get_estimates: (a: number, b: number, c: number, d: number, e: number, f: number, g: number) => void;
   readonly get_circuit: (a: number, b: number, c: number, d: number, e: number, f: number, g: number, h: number, i: number) => void;
   readonly get_library_source_content: (a: number, b: number, c: number) => void;
-  readonly get_ast: (a: number, b: number, c: number, d: number, e: number) => void;
-  readonly get_hir: (a: number, b: number, c: number, d: number, e: number) => void;
+  readonly get_ast: (a: number, b: number, c: number, d: number, e: number, f: number, g: number) => void;
+  readonly get_hir: (a: number, b: number, c: number, d: number, e: number, f: number, g: number) => void;
   readonly run: (a: number, b: number, c: number, d: number, e: number, f: number, g: number, h: number, i: number) => void;
   readonly check_exercise_solution: (a: number, b: number, c: number, d: number) => number;
   readonly generate_docs: (a: number) => void;

package/lib/web/qsc_wasm.js

@@ -452,60 +452,74 @@ export function get_library_source_content(name) {
 /**
 * @param {string} code
 * @param {(string)[]} language_features
+* @param {string} profile
 * @returns {string}
 */
-export function get_ast(code, language_features) {
-    let deferred3_0;
-    let deferred3_1;
+export function get_ast(code, language_features, profile) {
+    let deferred5_0;
+    let deferred5_1;
     try {
         const retptr = wasm.__wbindgen_add_to_stack_pointer(-16);
         const ptr0 = passStringToWasm0(code, wasm.__wbindgen_export_0, wasm.__wbindgen_export_1);
         const len0 = WASM_VECTOR_LEN;
         const ptr1 = passArrayJsValueToWasm0(language_features, wasm.__wbindgen_export_0);
         const len1 = WASM_VECTOR_LEN;
-        wasm.get_ast(retptr, ptr0, len0, ptr1, len1);
+        const ptr2 = passStringToWasm0(profile, wasm.__wbindgen_export_0, wasm.__wbindgen_export_1);
+        const len2 = WASM_VECTOR_LEN;
+        wasm.get_ast(retptr, ptr0, len0, ptr1, len1, ptr2, len2);
         var r0 = getInt32Memory0()[retptr / 4 + 0];
         var r1 = getInt32Memory0()[retptr / 4 + 1];
-        deferred3_0 = r0;
-        deferred3_1 = r1;
-        return getStringFromWasm0(r0, r1);
+        var r2 = getInt32Memory0()[retptr / 4 + 2];
+        var r3 = getInt32Memory0()[retptr / 4 + 3];
+        var ptr4 = r0;
+        var len4 = r1;
+        if (r3) {
+            ptr4 = 0; len4 = 0;
+            throw takeObject(r2);
+        }
+        deferred5_0 = ptr4;
+        deferred5_1 = len4;
+        return getStringFromWasm0(ptr4, len4);
     } finally {
         wasm.__wbindgen_add_to_stack_pointer(16);
-        wasm.__wbindgen_export_4(deferred3_0, deferred3_1, 1);
+        wasm.__wbindgen_export_4(deferred5_0, deferred5_1, 1);
     }
 }
 
 /**
 * @param {string} code
 * @param {(string)[]} language_features
+* @param {string} profile
 * @returns {string}
 */
-export function get_hir(code, language_features) {
-    let deferred4_0;
-    let deferred4_1;
+export function get_hir(code, language_features, profile) {
+    let deferred5_0;
+    let deferred5_1;
     try {
         const retptr = wasm.__wbindgen_add_to_stack_pointer(-16);
         const ptr0 = passStringToWasm0(code, wasm.__wbindgen_export_0, wasm.__wbindgen_export_1);
         const len0 = WASM_VECTOR_LEN;
         const ptr1 = passArrayJsValueToWasm0(language_features, wasm.__wbindgen_export_0);
         const len1 = WASM_VECTOR_LEN;
-        wasm.get_hir(retptr, ptr0, len0, ptr1, len1);
+        const ptr2 = passStringToWasm0(profile, wasm.__wbindgen_export_0, wasm.__wbindgen_export_1);
+        const len2 = WASM_VECTOR_LEN;
+        wasm.get_hir(retptr, ptr0, len0, ptr1, len1, ptr2, len2);
         var r0 = getInt32Memory0()[retptr / 4 + 0];
         var r1 = getInt32Memory0()[retptr / 4 + 1];
         var r2 = getInt32Memory0()[retptr / 4 + 2];
         var r3 = getInt32Memory0()[retptr / 4 + 3];
-        var ptr3 = r0;
-        var len3 = r1;
+        var ptr4 = r0;
+        var len4 = r1;
         if (r3) {
-            ptr3 = 0; len3 = 0;
+            ptr4 = 0; len4 = 0;
             throw takeObject(r2);
         }
-        deferred4_0 = ptr3;
-        deferred4_1 = len3;
-        return getStringFromWasm0(ptr3, len3);
+        deferred5_0 = ptr4;
+        deferred5_1 = len4;
+        return getStringFromWasm0(ptr4, len4);
     } finally {
         wasm.__wbindgen_add_to_stack_pointer(16);
-        wasm.__wbindgen_export_4(deferred4_0, deferred4_1, 1);
+        wasm.__wbindgen_export_4(deferred5_0, deferred5_1, 1);
     }
 }
 
@@ -1447,8 +1461,8 @@ function __wbg_get_imports() {
         const ret = wasm.memory;
         return addHeapObject(ret);
     };
-    imports.wbg.__wbindgen_closure_wrapper710 = function(arg0, arg1, arg2) {
-        const ret = makeMutClosure(arg0, arg1, 298, __wbg_adapter_54);
+    imports.wbg.__wbindgen_closure_wrapper747 = function(arg0, arg1, arg2) {
+        const ret = makeMutClosure(arg0, arg1, 299, __wbg_adapter_54);
         return addHeapObject(ret);
     };
 

package/package.json

@@ -1,7 +1,7 @@
 {
   "name": "qsharp-lang",
   "description": "qsharp language package for quantum development",
-  "version": "1.3.6-dev",
+  "version": "1.4.1-dev",
   "license": "MIT",
   "engines": {
     "node": ">=16.17.0"

package/ux/estimatesPanel.tsx

@@ -13,7 +13,6 @@ export function EstimatesPanel(props: {
   colors: string[];
   runNames: string[];
   calculating: boolean;
-  renderer: (input: string) => string;
   onRowDeleted: (rowId: string) => void;
 }) {
   const [estimate, setEstimate] = useState<SingleEstimateResult | null>(null);
@@ -77,7 +76,7 @@ export function EstimatesPanel(props: {
             <summary style="font-size: 1.5em; font-weight: bold; margin: 24px 8px;">
               Resource Estimates
             </summary>
-            <ReTable mdRenderer={props.renderer} estimatesData={estimate} />
+            <ReTable estimatesData={estimate} />
           </details>
         </>
       )}

package/ux/index.ts

@@ -19,3 +19,4 @@ export { ScatterChart } from "./scatterChart.js";
 export { EstimatesOverview } from "./estimatesOverview.js";
 export { EstimatesPanel } from "./estimatesPanel.js";
 export { Circuit, CircuitPanel } from "./circuit.js";
+export { setRenderer, Markdown } from "./renderers.js";

package/ux/qsharp-ux.css

@@ -275,6 +275,14 @@ html {
   white-space: pre;
 }
 
+.qir-output {
+  height: 40vh;
+  min-height: 400px;
+  width: 100%;
+  resize: none;
+  white-space: pre;
+}
+
 /* Results output */
 
 .output-header {

package/ux/reTable.tsx

@@ -4,11 +4,9 @@
 import { useState } from "preact/hooks";
 import { SingleEstimateResult } from "./data.js";
 import { CreateReport } from "./report.js";
+import { Markdown } from "./renderers.js";
 
-export function ReTable(props: {
-  mdRenderer: (input: string) => string;
-  estimatesData: SingleEstimateResult;
-}) {
+export function ReTable(props: { estimatesData: SingleEstimateResult }) {
   const [showDetail, setShowDetail] = useState(false);
   const toggleDetail = () => {
     setShowDetail(!showDetail);
@@ -45,9 +43,6 @@ export function ReTable(props: {
                 if (typeof value === "object") {
                   value = JSON.stringify(value);
                 }
-                const renderedExplanation = {
-                  __html: props.mdRenderer(entry.explanation),
-                };
                 return (
                   <tr>
                     <td className="estimate-cell title-cell">{entry.label}</td>
@@ -57,9 +52,9 @@ export function ReTable(props: {
                         <>
                           <strong>{entry.description}</strong>
                           <hr />
-                          <div
+                          <Markdown
                             className="estimate-explanation"
-                            dangerouslySetInnerHTML={renderedExplanation}
+                            markdown={entry.explanation}
                           />
                         </>
                       ) : (
@@ -81,9 +76,10 @@ export function ReTable(props: {
         </summary>
         <ul className="estimate-table">
           {reportData.assumptions.map((assumption) => (
-            <li
+            <Markdown
               className="estimate-assumption"
-              dangerouslySetInnerHTML={{ __html: props.mdRenderer(assumption) }}
+              markdown={assumption}
+              tagName="li"
             />
           ))}
         </ul>

package/ux/renderers.tsx

@@ -0,0 +1,32 @@
+// Copyright (c) Microsoft Corporation.
+// Licensed under the MIT License.
+
+import { createElement } from "preact";
+
+// Default renderer to be replaced before components are first used.
+// Expectation is that this will convert markdown and/or LaTeX to HTML.
+let theRenderer = function (input: string): string {
+  const err = "ERROR: Rendered has not been set";
+  console.error(err);
+  return err + ". " + input;
+};
+
+export function setRenderer(renderer: (input: string) => string) {
+  theRenderer = renderer;
+}
+
+export function Markdown(props: {
+  markdown: string;
+  className?: string;
+  tagName?: string;
+}) {
+  const tag = props.tagName || "div";
+  const nodeProps = {
+    className: props.className,
+    dangerouslySetInnerHTML: {
+      __html: theRenderer(props.markdown),
+    },
+  };
+
+  return createElement(tag, nodeProps);
+}