qsharp-lang 1.4.0 → 1.4.2-dev

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);
     }
 }
 
@@ -558,17 +572,26 @@ export function check_exercise_solution(solution_code, exercise_sources_js, even
 }
 
 /**
+* @param {(Array<any>)[] | undefined} [additionalSources]
+* @param {string | undefined} [targetProfile]
+* @param {(string)[] | undefined} [languageFeatures]
 * @returns {(IDocFile)[]}
 */
-export function generate_docs() {
+export function generate_docs(additionalSources, targetProfile, languageFeatures) {
     try {
         const retptr = wasm.__wbindgen_add_to_stack_pointer(-16);
-        wasm.generate_docs(retptr);
+        var ptr0 = isLikeNone(additionalSources) ? 0 : passArrayJsValueToWasm0(additionalSources, wasm.__wbindgen_export_0);
+        var len0 = WASM_VECTOR_LEN;
+        var ptr1 = isLikeNone(targetProfile) ? 0 : passStringToWasm0(targetProfile, wasm.__wbindgen_export_0, wasm.__wbindgen_export_1);
+        var len1 = WASM_VECTOR_LEN;
+        var ptr2 = isLikeNone(languageFeatures) ? 0 : passArrayJsValueToWasm0(languageFeatures, wasm.__wbindgen_export_0);
+        var len2 = WASM_VECTOR_LEN;
+        wasm.generate_docs(retptr, ptr0, len0, ptr1, len1, ptr2, len2);
         var r0 = getInt32Memory0()[retptr / 4 + 0];
         var r1 = getInt32Memory0()[retptr / 4 + 1];
-        var v1 = getArrayJsValueFromWasm0(r0, r1).slice();
+        var v4 = getArrayJsValueFromWasm0(r0, r1).slice();
         wasm.__wbindgen_export_4(r0, r1 * 4, 4);
-        return v1;
+        return v4;
     } finally {
         wasm.__wbindgen_add_to_stack_pointer(16);
     }
@@ -1447,8 +1470,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.4.0",
+  "version": "1.4.2-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);
+}

package/docs/Microsoft.Quantum.Convert/BoolArrayAsResultArray.md

@@ -1,29 +0,0 @@
----
-uid: Qdk.Microsoft.Quantum.Convert.BoolArrayAsResultArray
-title: BoolArrayAsResultArray function
-ms.date: 04/23/2024 12:00:00 AM
-ms.topic: managed-reference
-qsharp.kind: function
-qsharp.namespace: Microsoft.Quantum.Convert
-qsharp.name: BoolArrayAsResultArray
-qsharp.summary: "Converts a `Bool[]` type to a `Result[]` type, where `true` is mapped to `One` and `false` is mapped to `Zero`."
----
-
-# BoolArrayAsResultArray function
-
-Namespace: Microsoft.Quantum.Convert
-
-```qsharp
-function BoolArrayAsResultArray(input : Bool[]) : Result[]
-```
-
-## Summary
-Converts a `Bool[]` type to a `Result[]` type, where `true`
-is mapped to `One` and `false` is mapped to `Zero`.
-
-## Input
-### input
-`Bool[]` to be converted.
-
-## Output
-A `Result[]` representing the `input`.

package/docs/Microsoft.Quantum.Convert/BoolAsResult.md

@@ -1,29 +0,0 @@
----
-uid: Qdk.Microsoft.Quantum.Convert.BoolAsResult
-title: BoolAsResult function
-ms.date: 04/23/2024 12:00:00 AM
-ms.topic: managed-reference
-qsharp.kind: function
-qsharp.namespace: Microsoft.Quantum.Convert
-qsharp.name: BoolAsResult
-qsharp.summary: "Converts a `Bool` type to a `Result` type, where `true` is mapped to `One` and `false` is mapped to `Zero`."
----
-
-# BoolAsResult function
-
-Namespace: Microsoft.Quantum.Convert
-
-```qsharp
-function BoolAsResult(input : Bool) : Result
-```
-
-## Summary
-Converts a `Bool` type to a `Result` type, where `true` is mapped to
-`One` and `false` is mapped to `Zero`.
-
-## Input
-### input
-`Bool` to be converted.
-
-## Output
-A `Result` representing the `input`.

package/docs/Microsoft.Quantum.Convert/ResultArrayAsBoolArray.md

@@ -1,29 +0,0 @@
----
-uid: Qdk.Microsoft.Quantum.Convert.ResultArrayAsBoolArray
-title: ResultArrayAsBoolArray function
-ms.date: 04/23/2024 12:00:00 AM
-ms.topic: managed-reference
-qsharp.kind: function
-qsharp.namespace: Microsoft.Quantum.Convert
-qsharp.name: ResultArrayAsBoolArray
-qsharp.summary: "Converts a `Result[]` type to a `Bool[]` type, where `One` is mapped to `true` and `Zero` is mapped to `false`."
----
-
-# ResultArrayAsBoolArray function
-
-Namespace: Microsoft.Quantum.Convert
-
-```qsharp
-function ResultArrayAsBoolArray(input : Result[]) : Bool[]
-```
-
-## Summary
-Converts a `Result[]` type to a `Bool[]` type, where `One`
-is mapped to `true` and `Zero` is mapped to `false`.
-
-## Input
-### input
-`Result[]` to be converted.
-
-## Output
-A `Bool[]` representing the `input`.

package/docs/Microsoft.Quantum.Convert/ResultArrayAsInt.md

@@ -1,34 +0,0 @@
----
-uid: Qdk.Microsoft.Quantum.Convert.ResultArrayAsInt
-title: ResultArrayAsInt function
-ms.date: 04/23/2024 12:00:00 AM
-ms.topic: managed-reference
-qsharp.kind: function
-qsharp.namespace: Microsoft.Quantum.Convert
-qsharp.name: ResultArrayAsInt
-qsharp.summary: "Produces a non-negative integer from a string of Results in little-endian format."
----
-
-# ResultArrayAsInt function
-
-Namespace: Microsoft.Quantum.Convert
-
-```qsharp
-function ResultArrayAsInt(results : Result[]) : Int
-```
-
-## Summary
-Produces a non-negative integer from a string of Results in little-endian format.
-
-## Input
-### results
-Results in binary representation of number.
-
-## Output
-A non-negative integer
-
-## Example
-```qsharp
-// The following returns 1
-let int1 = ResultArrayAsInt([One,Zero])
-```

package/docs/Microsoft.Quantum.Convert/ResultAsBool.md

@@ -1,29 +0,0 @@
----
-uid: Qdk.Microsoft.Quantum.Convert.ResultAsBool
-title: ResultAsBool function
-ms.date: 04/23/2024 12:00:00 AM
-ms.topic: managed-reference
-qsharp.kind: function
-qsharp.namespace: Microsoft.Quantum.Convert
-qsharp.name: ResultAsBool
-qsharp.summary: "Converts a `Result` type to a `Bool` type, where `One` is mapped to `true` and `Zero` is mapped to `false`."
----
-
-# ResultAsBool function
-
-Namespace: Microsoft.Quantum.Convert
-
-```qsharp
-function ResultAsBool(input : Result) : Bool
-```
-
-## Summary
-Converts a `Result` type to a `Bool` type, where `One` is mapped to
-`true` and `Zero` is mapped to `false`.
-
-## Input
-### input
-`Result` to be converted.
-
-## Output
-A `Bool` representing the `input`.

package/docs/Microsoft.Quantum.Diagnostics/CheckAllZero.md

@@ -1,18 +0,0 @@
----
-uid: Qdk.Microsoft.Quantum.Diagnostics.CheckAllZero
-title: CheckAllZero operation
-ms.date: 04/23/2024 12:00:00 AM
-ms.topic: managed-reference
-qsharp.kind: operation
-qsharp.namespace: Microsoft.Quantum.Diagnostics
-qsharp.name: CheckAllZero
-qsharp.summary: ""
----
-
-# CheckAllZero operation
-
-Namespace: Microsoft.Quantum.Diagnostics
-
-```qsharp
-operation CheckAllZero(qubits : Qubit[]) : Bool
-```

package/docs/Microsoft.Quantum.Diagnostics/CheckOperationsAreEqual.md

@@ -1,47 +0,0 @@
----
-uid: Qdk.Microsoft.Quantum.Diagnostics.CheckOperationsAreEqual
-title: CheckOperationsAreEqual operation
-ms.date: 04/23/2024 12:00:00 AM
-ms.topic: managed-reference
-qsharp.kind: operation
-qsharp.namespace: Microsoft.Quantum.Diagnostics
-qsharp.name: CheckOperationsAreEqual
-qsharp.summary: "Given two operations, checks that they act identically for all input states."
----
-
-# CheckOperationsAreEqual operation
-
-Namespace: Microsoft.Quantum.Diagnostics
-
-```qsharp
-operation CheckOperationsAreEqual(nQubits : Int, actual : (Qubit[] => Unit), expected : (Qubit[] => Unit is Adj)) : Bool
-```
-
-## Summary
-Given two operations, checks that they act identically for all input states.
-
-## Description
-This check is implemented by using the Choi–Jamiołkowski isomorphism to reduce
-this check to a check on two entangled registers.
-Thus, this operation needs only a single call to each operation being tested,
-but requires twice as many qubits to be allocated.
-This check can be used to ensure, for instance, that an optimized version of an
-operation acts identically to its naïve implementation, or that an operation
-which acts on a range of non-quantum inputs agrees with known cases.
-
-## Remarks
-This operation requires that the operation modeling the expected behavior is
-adjointable, so that the inverse can be performed on the target register alone.
-Formally, one can specify a transpose operation, which relaxes this requirement,
-but the transpose operation is not in general physically realizable for arbitrary
-quantum operations and thus is not included here as an option.
-
-## Input
-### nQubits
-Number of qubits to pass to each operation.
-### actual
-Operation to be tested.
-### expected
-Operation defining the expected behavior for the operation under test.
-## Output
-True if operations are equal, false otherwise.

package/docs/Microsoft.Quantum.Diagnostics/CheckZero.md

@@ -1,18 +0,0 @@
----
-uid: Qdk.Microsoft.Quantum.Diagnostics.CheckZero
-title: CheckZero operation
-ms.date: 04/23/2024 12:00:00 AM
-ms.topic: managed-reference
-qsharp.kind: operation
-qsharp.namespace: Microsoft.Quantum.Diagnostics
-qsharp.name: CheckZero
-qsharp.summary: ""
----
-
-# CheckZero operation
-
-Namespace: Microsoft.Quantum.Diagnostics
-
-```qsharp
-operation CheckZero(qubit : Qubit) : Bool
-```

package/docs/Microsoft.Quantum.Measurement/MeasureInteger.md

@@ -1,34 +0,0 @@
----
-uid: Qdk.Microsoft.Quantum.Measurement.MeasureInteger
-title: MeasureInteger operation
-ms.date: 04/23/2024 12:00:00 AM
-ms.topic: managed-reference
-qsharp.kind: operation
-qsharp.namespace: Microsoft.Quantum.Measurement
-qsharp.name: MeasureInteger
-qsharp.summary: "Measures the content of a quantum register and converts it to an integer. The measurement is performed with respect to the standard computational basis, i.e., the eigenbasis of `PauliZ`."
----
-
-# MeasureInteger operation
-
-Namespace: Microsoft.Quantum.Measurement
-
-```qsharp
-operation MeasureInteger(target : Qubit[]) : Int
-```
-
-## Summary
-Measures the content of a quantum register and converts
-it to an integer. The measurement is performed with respect
-to the standard computational basis, i.e., the eigenbasis of `PauliZ`.
-
-## Input
-### target
-A quantum register in the little-endian encoding.
-
-## Output
-An unsigned integer that contains the measured value of `target`.
-
-## Remarks
-This operation resets its input register to the |00...0> state,
-suitable for releasing back to a target machine.

package/docs/Microsoft.Quantum.Random/DrawRandomDouble.md

@@ -1,38 +0,0 @@
----
-uid: Qdk.Microsoft.Quantum.Random.DrawRandomDouble
-title: DrawRandomDouble operation
-ms.date: 04/23/2024 12:00:00 AM
-ms.topic: managed-reference
-qsharp.kind: operation
-qsharp.namespace: Microsoft.Quantum.Random
-qsharp.name: DrawRandomDouble
-qsharp.summary: "Draws a random real number from a uniform distribution in a given inclusive interval. Fails if `max < min`."
----
-
-# DrawRandomDouble operation
-
-Namespace: Microsoft.Quantum.Random
-
-```qsharp
-operation DrawRandomDouble(min : Double, max : Double) : Double
-```
-
-## Summary
-Draws a random real number from a uniform distribution
-in a given inclusive interval. Fails if `max < min`.
-
-## Input
-### min
-The smallest real number to be drawn.
-### max
-The largest real number to be drawn.
-
-## Output
-A random real number in the inclusive interval from `min` to `max` with
-uniform probability.
-
-## Example
-The following Q# snippet randomly draws an angle between 0 and 2π:
-```qsharp
-let angle = DrawRandomDouble(0.0, 2.0 * PI());
-```

package/docs/Microsoft.Quantum.Random/DrawRandomInt.md

@@ -1,38 +0,0 @@
----
-uid: Qdk.Microsoft.Quantum.Random.DrawRandomInt
-title: DrawRandomInt operation
-ms.date: 04/23/2024 12:00:00 AM
-ms.topic: managed-reference
-qsharp.kind: operation
-qsharp.namespace: Microsoft.Quantum.Random
-qsharp.name: DrawRandomInt
-qsharp.summary: "Draws a random integer from a uniform distribution in a given inclusive range. Fails if `max < min`."
----
-
-# DrawRandomInt operation
-
-Namespace: Microsoft.Quantum.Random
-
-```qsharp
-operation DrawRandomInt(min : Int, max : Int) : Int
-```
-
-## Summary
-Draws a random integer from a uniform distribution
-in a given inclusive range. Fails if `max < min`.
-
-## Input
-### min
-The smallest integer to be drawn.
-### max
-The largest integer to be drawn.
-
-## Output
-An integer in the inclusive range from `min` to `max` with uniform
-probability.
-
-## Example
-The following Q# snippet randomly rolls a six-sided die:
-```qsharp
-let roll = DrawRandomInt(1, 6);
-```

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

@@ -1,53 +0,0 @@
----
-uid: Qdk.Microsoft.Quantum.Unstable.TableLookup.Select
-title: Select operation
-ms.date: 04/23/2024 12:00:00 AM
-ms.topic: managed-reference
-qsharp.kind: operation
-qsharp.namespace: Microsoft.Quantum.Unstable.TableLookup
-qsharp.name: Select
-qsharp.summary: "Performs table lookup using a SELECT network"
----
-
-# Select operation
-
-Namespace: Microsoft.Quantum.Unstable.TableLookup
-
-```qsharp
-operation Select(data : Bool[][], address : Qubit[], target : Qubit[]) : Unit is Adj + Ctl
-```
-
-## Summary
-Performs table lookup using a SELECT network
-
-## Description
-Assuming a zero-initialized `target` register, this operation will
-initialize it with the bitstrings in `data` at indices according to the
-computational values of the `address` register.
-
-## Input
-### data
-The classical table lookup data which is prepared in `target` with
-respect to the state in `address`. The length of data must be less than
-2ⁿ, where 𝑛 is the length of `address`. Each entry in data must have
-the same length that must be equal to the length of `target`.
-### address
-Address register
-### target
-Zero-initialized target register
-
-## Remarks
-The implementation of the SELECT network is based on unary encoding as
-presented in [1].  The recursive implementation of that algorithm is
-presented in [3].  The adjoint variant is optimized using a
-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"