qsharp-lang 1.9.2-dev → 1.9.4-dev

package/dist/compiler/compiler.d.ts

@@ -8,6 +8,7 @@ export interface ICompiler {
     getAst(code: string, languageFeatures?: string[], profile?: TargetProfile): Promise<string>;
     getHir(code: string, languageFeatures?: string[], profile?: TargetProfile): Promise<string>;
     run(program: ProgramConfig, expr: string, shots: number, eventHandler: IQscEventTarget): Promise<void>;
+    runWithPauliNoise(program: ProgramConfig, expr: string, shots: number, pauliNoise: number[], eventHandler: IQscEventTarget): Promise<void>;
     getQir(program: ProgramConfig): Promise<string>;
     getEstimates(program: ProgramConfig, params: string): Promise<string>;
     getCircuit(program: ProgramConfig, simulate: boolean, operation?: IOperationInfo): Promise<CircuitData>;
@@ -39,6 +40,7 @@ export declare class Compiler implements ICompiler {
     getAst(code: string, languageFeatures?: string[], profile?: TargetProfile): Promise<string>;
     getHir(code: string, languageFeatures: string[], profile: TargetProfile): Promise<string>;
     run(program: ProgramConfig, expr: string, shots: number, eventHandler: IQscEventTarget): Promise<void>;
+    runWithPauliNoise(program: ProgramConfig, expr: string, shots: number, pauliNoise: number[], eventHandler: IQscEventTarget): Promise<void>;
     getQir(program: ProgramConfig): Promise<string>;
     getEstimates(program: ProgramConfig, params: string): Promise<string>;
     getCircuit(program: ProgramConfig, simulate: boolean, operation?: IOperationInfo): Promise<CircuitData>;

package/dist/compiler/compiler.js

@@ -43,6 +43,9 @@ export class Compiler {
         // may reject without all shots running or events firing.
         this.wasm.run(toWasmProgramConfig(program, "unrestricted"), expr, (msg) => onCompilerEvent(msg, eventHandler), shots);
     }
+    async runWithPauliNoise(program, expr, shots, pauliNoise, eventHandler) {
+        this.wasm.runWithPauliNoise(toWasmProgramConfig(program, "unrestricted"), expr, (msg) => onCompilerEvent(msg, eventHandler), shots, pauliNoise);
+    }
     async getQir(program) {
         return this.wasm.get_qir(toWasmProgramConfig(program, "base"));
     }
@@ -134,6 +137,7 @@ export const compilerProtocol = {
         getCircuit: "request",
         getDocumentation: "request",
         run: "requestWithProgress",
+        runWithPauliNoise: "requestWithProgress",
         checkExerciseSolution: "requestWithProgress",
     },
     eventNames: ["DumpMachine", "Matrix", "Message", "Result"],

package/dist/katas-content.generated.js

@@ -9079,7 +9079,7 @@ export default {
         },
         {
             "id": "multi_qubit_gates__controlled_rotation__Verification.qs",
-            "code": "namespace Kata.Verification {\n    open Microsoft.Quantum.Convert;\n    open Microsoft.Quantum.Diagnostics;\n    open Microsoft.Quantum.Katas;\n\n    operation ControlledRotation (qs : Qubit[], theta : Double) : Unit is Adj + Ctl {\n        let controll = qs[0];\n        let target = qs[1];\n        Controlled Rx([controll], (theta, target));\n    }\n\n    operation CheckSolution() : Bool {\n        for i in 0 .. 20 {\n            let angle = IntAsDouble(i) / 10.0;\n            let solution = register => Kata.ControlledRotation(register, angle);\n            let reference = register => ControlledRotation(register, angle);\n            if not CheckOperationsAreEqual(2, solution, reference) {\n                Message(\"Incorrect.\");\n                Message($\"The test case for theta={angle} did not pass\");\n                return false;\n            }\n        }\n\n        Message(\"Correct!\");\n        true\n    }\n}"
+            "code": "namespace Kata.Verification {\n    open Microsoft.Quantum.Convert;\n    open Microsoft.Quantum.Diagnostics;\n    open Microsoft.Quantum.Katas;\n\n    operation ControlledRotation (qs : Qubit[], theta : Double) : Unit is Adj + Ctl {\n        let controll = qs[0];\n        let target = qs[1];\n        Controlled Rx([controll], (theta, target));\n    }\n\n    operation CheckSolution() : Bool {\n        for i in 0 .. 20 {\n            let angle = IntAsDouble(i) / 10.0;\n            let solution = register => Kata.ControlledRotation(register, angle);\n            let reference = register => ControlledRotation(register, angle);\n            if not CheckOperationsAreEqual(2, solution, reference) {\n                let precision = 3;\n                Message(\"Incorrect.\");\n                Message($\"The test case for theta={DoubleAsStringWithPrecision(angle, precision)} did not pass\");\n                return false;\n            }\n        }\n\n        Message(\"Correct!\");\n        true\n    }\n}"
         },
         {
             "id": "multi_qubit_gates__toffoli_gate__Verification.qs",
@@ -9155,7 +9155,7 @@ export default {
         },
         {
             "id": "preparing_states__unequal_superposition__Verification.qs",
-            "code": "namespace Kata.Verification {\n    open Microsoft.Quantum.Convert;\n    open Microsoft.Quantum.Katas;\n    open Microsoft.Quantum.Math;\n\n    operation UnequalSuperposition_Reference(q : Qubit, alpha : Double) : Unit is Adj + Ctl {\n        Ry(2.0 * alpha, q);\n    }\n\n    @EntryPoint()\n    operation CheckSolution() : Bool {\n        let limit = 36;\n        for i in 0 .. limit {\n            let alpha = 2.0 * PI() * IntAsDouble(i) / IntAsDouble(limit);\n            let solution = Kata.UnequalSuperposition(_, alpha);\n            let reference = UnequalSuperposition_Reference(_, alpha);\n            Message($\"Testing for alpha = {alpha}...\");\n            if not CheckOperationsEquivalenceOnZeroStateWithFeedback(\n                qs => solution(qs[0]), \n                qs => reference(qs[0]),\n                1) {\n                return false;\n            }\n        }\n\n        true\n    }\n}\n"
+            "code": "namespace Kata.Verification {\n    open Microsoft.Quantum.Convert;\n    open Microsoft.Quantum.Katas;\n    open Microsoft.Quantum.Math;\n\n    operation UnequalSuperposition_Reference(q : Qubit, alpha : Double) : Unit is Adj + Ctl {\n        Ry(2.0 * alpha, q);\n    }\n\n    @EntryPoint()\n    operation CheckSolution() : Bool {\n        let limit = 36;\n        let precision = 3;\n        for i in 0 .. limit {\n            let alpha = 2.0 * PI() * IntAsDouble(i) / IntAsDouble(limit);\n            let solution = Kata.UnequalSuperposition(_, alpha);\n            let reference = UnequalSuperposition_Reference(_, alpha);\n            Message($\"Testing for alpha = {DoubleAsStringWithPrecision(alpha, precision)}...\");\n            if not CheckOperationsEquivalenceOnZeroStateWithFeedback(\n                qs => solution(qs[0]), \n                qs => reference(qs[0]),\n                1) {\n                return false;\n            }\n        }\n\n        true\n    }\n}\n"
         },
         {
             "id": "preparing_states__controlled_rotation__Verification.qs",
@@ -9199,7 +9199,7 @@ export default {
         },
         {
             "id": "single_qubit_measurements__a_b_basis_measurements__Verification.qs",
-            "code": "namespace Kata.Verification {\n    open Microsoft.Quantum.Convert;\n    open Microsoft.Quantum.Math;\n    open Microsoft.Quantum.Katas;\n\n    // Measure state in {|A❭, |B❭} basis\n    // |A⟩ =   cos(alpha) * |0⟩ - i sin(alpha) * |1⟩,\n    // |B⟩ = - i sin(alpha) * |0⟩ + cos(alpha) * |1⟩.\n    operation StatePrep_IsQubitA (alpha : Double, q : Qubit, state : Int) : Unit is Adj {\n        if state == 0 {\n            // convert |0⟩ to |B⟩\n            X(q);\n            Rx(2.0 * alpha, q);\n        } else {\n            // convert |0⟩ to |A⟩\n            Rx(2.0 * alpha, q);\n        }\n    }\n\n    // We can use the StatePrep_IsQubitA operation for the testing\n    operation CheckSolution() : Bool {\n        for i in 0 .. 10 {\n            let alpha = (PI() * IntAsDouble(i)) / 10.0;\n            let isCorrect = DistinguishTwoStates_SingleQubit(\n                StatePrep_IsQubitA(alpha, _, _),\n                q => Kata.MeasureInABBasis(alpha, q) == Zero,\n                [$\"|B⟩=(-i sin({i}π/10)|0⟩ + cos({i}π/10)|1⟩)\", $\"|A⟩=(cos({i}π/10)|0⟩ + i sin({i}π/10)|1⟩)\"],\n                true);\n            if not isCorrect {\n                Message($\"Test fails for alpha={alpha}\");\n                return false;\n            }\n        }\n        Message(\"Correct!\");\n        true\n    }\n\n}\n"
+            "code": "namespace Kata.Verification {\n    open Microsoft.Quantum.Convert;\n    open Microsoft.Quantum.Math;\n    open Microsoft.Quantum.Katas;\n\n    // Measure state in {|A❭, |B❭} basis\n    // |A⟩ =   cos(alpha) * |0⟩ - i sin(alpha) * |1⟩,\n    // |B⟩ = - i sin(alpha) * |0⟩ + cos(alpha) * |1⟩.\n    operation StatePrep_IsQubitA (alpha : Double, q : Qubit, state : Int) : Unit is Adj {\n        if state == 0 {\n            // convert |0⟩ to |B⟩\n            X(q);\n            Rx(2.0 * alpha, q);\n        } else {\n            // convert |0⟩ to |A⟩\n            Rx(2.0 * alpha, q);\n        }\n    }\n\n    // We can use the StatePrep_IsQubitA operation for the testing\n    operation CheckSolution() : Bool {\n        for i in 0 .. 10 {\n            let alpha = (PI() * IntAsDouble(i)) / 10.0;\n            let isCorrect = DistinguishTwoStates_SingleQubit(\n                StatePrep_IsQubitA(alpha, _, _),\n                q => Kata.MeasureInABBasis(alpha, q) == Zero,\n                [$\"|B⟩=(-i sin({i}π/10)|0⟩ + cos({i}π/10)|1⟩)\", $\"|A⟩=(cos({i}π/10)|0⟩ + i sin({i}π/10)|1⟩)\"],\n                true);\n            if not isCorrect {\n                let precision = 3;\n                Message($\"Test fails for alpha={DoubleAsStringWithPrecision(alpha, precision)}\");\n                return false;\n            }\n        }\n        Message(\"Correct!\");\n        true\n    }\n\n}\n"
         },
         {
             "id": "multi_qubit_measurements__full_measurements__Verification.qs",
@@ -9235,7 +9235,7 @@ export default {
         },
         {
             "id": "distinguishing_states__a_b__Verification.qs",
-            "code": "namespace Kata.Verification {\n    open Microsoft.Quantum.Convert;\n    open Microsoft.Quantum.Math;\n    open Microsoft.Quantum.Katas;\n\n    // |A⟩ =   cos(alpha) * |0⟩ + sin(alpha) * |1⟩,\n    // |B⟩ = - sin(alpha) * |0⟩ + cos(alpha) * |1⟩.\n    operation StatePrep_IsQubitA(alpha : Double, q : Qubit, state : Int) : Unit is Adj {\n        if state == 0 {\n            // convert |0⟩ to |B⟩\n            X(q);\n            Ry(2.0 * alpha, q);\n        } else {\n            // convert |0⟩ to |A⟩\n            Ry(2.0 * alpha, q);\n        }\n    }\n\n    // We can use the StatePrep_IsQubitA operation for the testing\n    operation CheckSolution() : Bool {\n        for i in 0 .. 10 {\n            let alpha = (PI() * IntAsDouble(i)) / 10.0;\n            let isCorrect = DistinguishTwoStates_SingleQubit(\n                StatePrep_IsQubitA(alpha, _, _),\n                Kata.IsQubitA(alpha, _),\n                [$\"|B⟩=(-sin({i}π/10)|0⟩ + cos({i}π/10)|1⟩)\", $\"|A⟩=(cos({i}π/10)|0⟩ + sin({i}π/10)|1⟩)\"],\n                false\n            );\n\n            if not isCorrect {\n                Message($\"Test fails for alpha={alpha}\");\n                return false;\n            }\n        }\n\n        Message(\"Correct!\");\n        true\n    }\n}\n"
+            "code": "namespace Kata.Verification {\n    open Microsoft.Quantum.Convert;\n    open Microsoft.Quantum.Math;\n    open Microsoft.Quantum.Katas;\n\n    // |A⟩ =   cos(alpha) * |0⟩ + sin(alpha) * |1⟩,\n    // |B⟩ = - sin(alpha) * |0⟩ + cos(alpha) * |1⟩.\n    operation StatePrep_IsQubitA(alpha : Double, q : Qubit, state : Int) : Unit is Adj {\n        if state == 0 {\n            // convert |0⟩ to |B⟩\n            X(q);\n            Ry(2.0 * alpha, q);\n        } else {\n            // convert |0⟩ to |A⟩\n            Ry(2.0 * alpha, q);\n        }\n    }\n\n    // We can use the StatePrep_IsQubitA operation for the testing\n    operation CheckSolution() : Bool {\n        for i in 0 .. 10 {\n            let alpha = (PI() * IntAsDouble(i)) / 10.0;\n            let isCorrect = DistinguishTwoStates_SingleQubit(\n                StatePrep_IsQubitA(alpha, _, _),\n                Kata.IsQubitA(alpha, _),\n                [$\"|B⟩=(-sin({i}π/10)|0⟩ + cos({i}π/10)|1⟩)\", $\"|A⟩=(cos({i}π/10)|0⟩ + sin({i}π/10)|1⟩)\"],\n                false\n            );\n\n            if not isCorrect {\n                let precision = 3;\n                Message($\"Test fails for alpha={DoubleAsStringWithPrecision(alpha, precision)}\");\n                return false;\n            }\n        }\n\n        Message(\"Correct!\");\n        true\n    }\n}\n"
         },
         {
             "id": "distinguishing_states__zerozero_oneone__Verification.qs",

package/dist/katas-content.generated.md.js

@@ -9079,7 +9079,7 @@ export default {
         },
         {
             "id": "multi_qubit_gates__controlled_rotation__Verification.qs",
-            "code": "namespace Kata.Verification {\n    open Microsoft.Quantum.Convert;\n    open Microsoft.Quantum.Diagnostics;\n    open Microsoft.Quantum.Katas;\n\n    operation ControlledRotation (qs : Qubit[], theta : Double) : Unit is Adj + Ctl {\n        let controll = qs[0];\n        let target = qs[1];\n        Controlled Rx([controll], (theta, target));\n    }\n\n    operation CheckSolution() : Bool {\n        for i in 0 .. 20 {\n            let angle = IntAsDouble(i) / 10.0;\n            let solution = register => Kata.ControlledRotation(register, angle);\n            let reference = register => ControlledRotation(register, angle);\n            if not CheckOperationsAreEqual(2, solution, reference) {\n                Message(\"Incorrect.\");\n                Message($\"The test case for theta={angle} did not pass\");\n                return false;\n            }\n        }\n\n        Message(\"Correct!\");\n        true\n    }\n}"
+            "code": "namespace Kata.Verification {\n    open Microsoft.Quantum.Convert;\n    open Microsoft.Quantum.Diagnostics;\n    open Microsoft.Quantum.Katas;\n\n    operation ControlledRotation (qs : Qubit[], theta : Double) : Unit is Adj + Ctl {\n        let controll = qs[0];\n        let target = qs[1];\n        Controlled Rx([controll], (theta, target));\n    }\n\n    operation CheckSolution() : Bool {\n        for i in 0 .. 20 {\n            let angle = IntAsDouble(i) / 10.0;\n            let solution = register => Kata.ControlledRotation(register, angle);\n            let reference = register => ControlledRotation(register, angle);\n            if not CheckOperationsAreEqual(2, solution, reference) {\n                let precision = 3;\n                Message(\"Incorrect.\");\n                Message($\"The test case for theta={DoubleAsStringWithPrecision(angle, precision)} did not pass\");\n                return false;\n            }\n        }\n\n        Message(\"Correct!\");\n        true\n    }\n}"
         },
         {
             "id": "multi_qubit_gates__toffoli_gate__Verification.qs",
@@ -9155,7 +9155,7 @@ export default {
         },
         {
             "id": "preparing_states__unequal_superposition__Verification.qs",
-            "code": "namespace Kata.Verification {\n    open Microsoft.Quantum.Convert;\n    open Microsoft.Quantum.Katas;\n    open Microsoft.Quantum.Math;\n\n    operation UnequalSuperposition_Reference(q : Qubit, alpha : Double) : Unit is Adj + Ctl {\n        Ry(2.0 * alpha, q);\n    }\n\n    @EntryPoint()\n    operation CheckSolution() : Bool {\n        let limit = 36;\n        for i in 0 .. limit {\n            let alpha = 2.0 * PI() * IntAsDouble(i) / IntAsDouble(limit);\n            let solution = Kata.UnequalSuperposition(_, alpha);\n            let reference = UnequalSuperposition_Reference(_, alpha);\n            Message($\"Testing for alpha = {alpha}...\");\n            if not CheckOperationsEquivalenceOnZeroStateWithFeedback(\n                qs => solution(qs[0]), \n                qs => reference(qs[0]),\n                1) {\n                return false;\n            }\n        }\n\n        true\n    }\n}\n"
+            "code": "namespace Kata.Verification {\n    open Microsoft.Quantum.Convert;\n    open Microsoft.Quantum.Katas;\n    open Microsoft.Quantum.Math;\n\n    operation UnequalSuperposition_Reference(q : Qubit, alpha : Double) : Unit is Adj + Ctl {\n        Ry(2.0 * alpha, q);\n    }\n\n    @EntryPoint()\n    operation CheckSolution() : Bool {\n        let limit = 36;\n        let precision = 3;\n        for i in 0 .. limit {\n            let alpha = 2.0 * PI() * IntAsDouble(i) / IntAsDouble(limit);\n            let solution = Kata.UnequalSuperposition(_, alpha);\n            let reference = UnequalSuperposition_Reference(_, alpha);\n            Message($\"Testing for alpha = {DoubleAsStringWithPrecision(alpha, precision)}...\");\n            if not CheckOperationsEquivalenceOnZeroStateWithFeedback(\n                qs => solution(qs[0]), \n                qs => reference(qs[0]),\n                1) {\n                return false;\n            }\n        }\n\n        true\n    }\n}\n"
         },
         {
             "id": "preparing_states__controlled_rotation__Verification.qs",
@@ -9199,7 +9199,7 @@ export default {
         },
         {
             "id": "single_qubit_measurements__a_b_basis_measurements__Verification.qs",
-            "code": "namespace Kata.Verification {\n    open Microsoft.Quantum.Convert;\n    open Microsoft.Quantum.Math;\n    open Microsoft.Quantum.Katas;\n\n    // Measure state in {|A❭, |B❭} basis\n    // |A⟩ =   cos(alpha) * |0⟩ - i sin(alpha) * |1⟩,\n    // |B⟩ = - i sin(alpha) * |0⟩ + cos(alpha) * |1⟩.\n    operation StatePrep_IsQubitA (alpha : Double, q : Qubit, state : Int) : Unit is Adj {\n        if state == 0 {\n            // convert |0⟩ to |B⟩\n            X(q);\n            Rx(2.0 * alpha, q);\n        } else {\n            // convert |0⟩ to |A⟩\n            Rx(2.0 * alpha, q);\n        }\n    }\n\n    // We can use the StatePrep_IsQubitA operation for the testing\n    operation CheckSolution() : Bool {\n        for i in 0 .. 10 {\n            let alpha = (PI() * IntAsDouble(i)) / 10.0;\n            let isCorrect = DistinguishTwoStates_SingleQubit(\n                StatePrep_IsQubitA(alpha, _, _),\n                q => Kata.MeasureInABBasis(alpha, q) == Zero,\n                [$\"|B⟩=(-i sin({i}π/10)|0⟩ + cos({i}π/10)|1⟩)\", $\"|A⟩=(cos({i}π/10)|0⟩ + i sin({i}π/10)|1⟩)\"],\n                true);\n            if not isCorrect {\n                Message($\"Test fails for alpha={alpha}\");\n                return false;\n            }\n        }\n        Message(\"Correct!\");\n        true\n    }\n\n}\n"
+            "code": "namespace Kata.Verification {\n    open Microsoft.Quantum.Convert;\n    open Microsoft.Quantum.Math;\n    open Microsoft.Quantum.Katas;\n\n    // Measure state in {|A❭, |B❭} basis\n    // |A⟩ =   cos(alpha) * |0⟩ - i sin(alpha) * |1⟩,\n    // |B⟩ = - i sin(alpha) * |0⟩ + cos(alpha) * |1⟩.\n    operation StatePrep_IsQubitA (alpha : Double, q : Qubit, state : Int) : Unit is Adj {\n        if state == 0 {\n            // convert |0⟩ to |B⟩\n            X(q);\n            Rx(2.0 * alpha, q);\n        } else {\n            // convert |0⟩ to |A⟩\n            Rx(2.0 * alpha, q);\n        }\n    }\n\n    // We can use the StatePrep_IsQubitA operation for the testing\n    operation CheckSolution() : Bool {\n        for i in 0 .. 10 {\n            let alpha = (PI() * IntAsDouble(i)) / 10.0;\n            let isCorrect = DistinguishTwoStates_SingleQubit(\n                StatePrep_IsQubitA(alpha, _, _),\n                q => Kata.MeasureInABBasis(alpha, q) == Zero,\n                [$\"|B⟩=(-i sin({i}π/10)|0⟩ + cos({i}π/10)|1⟩)\", $\"|A⟩=(cos({i}π/10)|0⟩ + i sin({i}π/10)|1⟩)\"],\n                true);\n            if not isCorrect {\n                let precision = 3;\n                Message($\"Test fails for alpha={DoubleAsStringWithPrecision(alpha, precision)}\");\n                return false;\n            }\n        }\n        Message(\"Correct!\");\n        true\n    }\n\n}\n"
         },
         {
             "id": "multi_qubit_measurements__full_measurements__Verification.qs",
@@ -9235,7 +9235,7 @@ export default {
         },
         {
             "id": "distinguishing_states__a_b__Verification.qs",
-            "code": "namespace Kata.Verification {\n    open Microsoft.Quantum.Convert;\n    open Microsoft.Quantum.Math;\n    open Microsoft.Quantum.Katas;\n\n    // |A⟩ =   cos(alpha) * |0⟩ + sin(alpha) * |1⟩,\n    // |B⟩ = - sin(alpha) * |0⟩ + cos(alpha) * |1⟩.\n    operation StatePrep_IsQubitA(alpha : Double, q : Qubit, state : Int) : Unit is Adj {\n        if state == 0 {\n            // convert |0⟩ to |B⟩\n            X(q);\n            Ry(2.0 * alpha, q);\n        } else {\n            // convert |0⟩ to |A⟩\n            Ry(2.0 * alpha, q);\n        }\n    }\n\n    // We can use the StatePrep_IsQubitA operation for the testing\n    operation CheckSolution() : Bool {\n        for i in 0 .. 10 {\n            let alpha = (PI() * IntAsDouble(i)) / 10.0;\n            let isCorrect = DistinguishTwoStates_SingleQubit(\n                StatePrep_IsQubitA(alpha, _, _),\n                Kata.IsQubitA(alpha, _),\n                [$\"|B⟩=(-sin({i}π/10)|0⟩ + cos({i}π/10)|1⟩)\", $\"|A⟩=(cos({i}π/10)|0⟩ + sin({i}π/10)|1⟩)\"],\n                false\n            );\n\n            if not isCorrect {\n                Message($\"Test fails for alpha={alpha}\");\n                return false;\n            }\n        }\n\n        Message(\"Correct!\");\n        true\n    }\n}\n"
+            "code": "namespace Kata.Verification {\n    open Microsoft.Quantum.Convert;\n    open Microsoft.Quantum.Math;\n    open Microsoft.Quantum.Katas;\n\n    // |A⟩ =   cos(alpha) * |0⟩ + sin(alpha) * |1⟩,\n    // |B⟩ = - sin(alpha) * |0⟩ + cos(alpha) * |1⟩.\n    operation StatePrep_IsQubitA(alpha : Double, q : Qubit, state : Int) : Unit is Adj {\n        if state == 0 {\n            // convert |0⟩ to |B⟩\n            X(q);\n            Ry(2.0 * alpha, q);\n        } else {\n            // convert |0⟩ to |A⟩\n            Ry(2.0 * alpha, q);\n        }\n    }\n\n    // We can use the StatePrep_IsQubitA operation for the testing\n    operation CheckSolution() : Bool {\n        for i in 0 .. 10 {\n            let alpha = (PI() * IntAsDouble(i)) / 10.0;\n            let isCorrect = DistinguishTwoStates_SingleQubit(\n                StatePrep_IsQubitA(alpha, _, _),\n                Kata.IsQubitA(alpha, _),\n                [$\"|B⟩=(-sin({i}π/10)|0⟩ + cos({i}π/10)|1⟩)\", $\"|A⟩=(cos({i}π/10)|0⟩ + sin({i}π/10)|1⟩)\"],\n                false\n            );\n\n            if not isCorrect {\n                let precision = 3;\n                Message($\"Test fails for alpha={DoubleAsStringWithPrecision(alpha, precision)}\");\n                return false;\n            }\n        }\n\n        Message(\"Correct!\");\n        true\n    }\n}\n"
         },
         {
             "id": "distinguishing_states__zerozero_oneone__Verification.qs",

package/docs/Microsoft.Quantum.Core/Length.md

@@ -1,7 +1,7 @@
 ---
 uid: Qdk.Microsoft.Quantum.Core.Length
 title: Length exported item
-ms.date: 09/30/2024 12:00:00 AM
+ms.date: 10/26/2024 12:00:00 AM
 ms.topic: managed-reference
 qsharp.kind: export
 qsharp.namespace: Microsoft.Quantum.Core

package/docs/Microsoft.Quantum.Core/Repeated.md

@@ -1,7 +1,7 @@
 ---
 uid: Qdk.Microsoft.Quantum.Core.Repeated
 title: Repeated exported item
-ms.date: 09/30/2024 12:00:00 AM
+ms.date: 10/26/2024 12:00:00 AM
 ms.topic: managed-reference
 qsharp.kind: export
 qsharp.namespace: Microsoft.Quantum.Core

package/docs/Microsoft.Quantum.Unstable.Arithmetic/AddLE.md

@@ -1,7 +1,7 @@
 ---
 uid: Qdk.Microsoft.Quantum.Unstable.Arithmetic.AddLE
 title: AddLE operation
-ms.date: 09/30/2024 12:00:00 AM
+ms.date: 10/26/2024 12:00:00 AM
 ms.topic: managed-reference
 qsharp.kind: operation
 qsharp.namespace: Microsoft.Quantum.Unstable.Arithmetic

package/docs/Microsoft.Quantum.Unstable.Arithmetic/ApplyIfEqualL.md

@@ -1,7 +1,7 @@
 ---
 uid: Qdk.Microsoft.Quantum.Unstable.Arithmetic.ApplyIfEqualL
 title: ApplyIfEqualL operation
-ms.date: 09/30/2024 12:00:00 AM
+ms.date: 10/26/2024 12:00:00 AM
 ms.topic: managed-reference
 qsharp.kind: operation
 qsharp.namespace: Microsoft.Quantum.Unstable.Arithmetic

package/docs/Microsoft.Quantum.Unstable.Arithmetic/ApplyIfEqualLE.md

@@ -1,7 +1,7 @@
 ---
 uid: Qdk.Microsoft.Quantum.Unstable.Arithmetic.ApplyIfEqualLE
 title: ApplyIfEqualLE operation
-ms.date: 09/30/2024 12:00:00 AM
+ms.date: 10/26/2024 12:00:00 AM
 ms.topic: managed-reference
 qsharp.kind: operation
 qsharp.namespace: Microsoft.Quantum.Unstable.Arithmetic

package/docs/Microsoft.Quantum.Unstable.Arithmetic/ApplyIfGreaterL.md

@@ -1,7 +1,7 @@
 ---
 uid: Qdk.Microsoft.Quantum.Unstable.Arithmetic.ApplyIfGreaterL
 title: ApplyIfGreaterL operation
-ms.date: 09/30/2024 12:00:00 AM
+ms.date: 10/26/2024 12:00:00 AM
 ms.topic: managed-reference
 qsharp.kind: operation
 qsharp.namespace: Microsoft.Quantum.Unstable.Arithmetic

package/docs/Microsoft.Quantum.Unstable.Arithmetic/ApplyIfGreaterLE.md

@@ -1,7 +1,7 @@
 ---
 uid: Qdk.Microsoft.Quantum.Unstable.Arithmetic.ApplyIfGreaterLE
 title: ApplyIfGreaterLE operation
-ms.date: 09/30/2024 12:00:00 AM
+ms.date: 10/26/2024 12:00:00 AM
 ms.topic: managed-reference
 qsharp.kind: operation
 qsharp.namespace: Microsoft.Quantum.Unstable.Arithmetic

package/docs/Microsoft.Quantum.Unstable.Arithmetic/ApplyIfGreaterOrEqualL.md

@@ -1,7 +1,7 @@
 ---
 uid: Qdk.Microsoft.Quantum.Unstable.Arithmetic.ApplyIfGreaterOrEqualL
 title: ApplyIfGreaterOrEqualL operation
-ms.date: 09/30/2024 12:00:00 AM
+ms.date: 10/26/2024 12:00:00 AM
 ms.topic: managed-reference
 qsharp.kind: operation
 qsharp.namespace: Microsoft.Quantum.Unstable.Arithmetic

package/docs/Microsoft.Quantum.Unstable.Arithmetic/ApplyIfGreaterOrEqualLE.md

@@ -1,7 +1,7 @@
 ---
 uid: Qdk.Microsoft.Quantum.Unstable.Arithmetic.ApplyIfGreaterOrEqualLE
 title: ApplyIfGreaterOrEqualLE operation
-ms.date: 09/30/2024 12:00:00 AM
+ms.date: 10/26/2024 12:00:00 AM
 ms.topic: managed-reference
 qsharp.kind: operation
 qsharp.namespace: Microsoft.Quantum.Unstable.Arithmetic

package/docs/Microsoft.Quantum.Unstable.Arithmetic/ApplyIfLessL.md

@@ -1,7 +1,7 @@
 ---
 uid: Qdk.Microsoft.Quantum.Unstable.Arithmetic.ApplyIfLessL
 title: ApplyIfLessL operation
-ms.date: 09/30/2024 12:00:00 AM
+ms.date: 10/26/2024 12:00:00 AM
 ms.topic: managed-reference
 qsharp.kind: operation
 qsharp.namespace: Microsoft.Quantum.Unstable.Arithmetic

package/docs/Microsoft.Quantum.Unstable.Arithmetic/ApplyIfLessLE.md

@@ -1,7 +1,7 @@
 ---
 uid: Qdk.Microsoft.Quantum.Unstable.Arithmetic.ApplyIfLessLE
 title: ApplyIfLessLE operation
-ms.date: 09/30/2024 12:00:00 AM
+ms.date: 10/26/2024 12:00:00 AM
 ms.topic: managed-reference
 qsharp.kind: operation
 qsharp.namespace: Microsoft.Quantum.Unstable.Arithmetic

package/docs/Microsoft.Quantum.Unstable.Arithmetic/ApplyIfLessOrEqualL.md

@@ -1,7 +1,7 @@
 ---
 uid: Qdk.Microsoft.Quantum.Unstable.Arithmetic.ApplyIfLessOrEqualL
 title: ApplyIfLessOrEqualL operation
-ms.date: 09/30/2024 12:00:00 AM
+ms.date: 10/26/2024 12:00:00 AM
 ms.topic: managed-reference
 qsharp.kind: operation
 qsharp.namespace: Microsoft.Quantum.Unstable.Arithmetic

package/docs/Microsoft.Quantum.Unstable.Arithmetic/ApplyIfLessOrEqualLE.md

@@ -1,7 +1,7 @@
 ---
 uid: Qdk.Microsoft.Quantum.Unstable.Arithmetic.ApplyIfLessOrEqualLE
 title: ApplyIfLessOrEqualLE operation
-ms.date: 09/30/2024 12:00:00 AM
+ms.date: 10/26/2024 12:00:00 AM
 ms.topic: managed-reference
 qsharp.kind: operation
 qsharp.namespace: Microsoft.Quantum.Unstable.Arithmetic

package/docs/Microsoft.Quantum.Unstable.Arithmetic/FourierTDIncByLE.md

@@ -1,7 +1,7 @@
 ---
 uid: Qdk.Microsoft.Quantum.Unstable.Arithmetic.FourierTDIncByLE
 title: FourierTDIncByLE operation
-ms.date: 09/30/2024 12:00:00 AM
+ms.date: 10/26/2024 12:00:00 AM
 ms.topic: managed-reference
 qsharp.kind: operation
 qsharp.namespace: Microsoft.Quantum.Unstable.Arithmetic

package/docs/Microsoft.Quantum.Unstable.Arithmetic/IncByI.md

@@ -1,7 +1,7 @@
 ---
 uid: Qdk.Microsoft.Quantum.Unstable.Arithmetic.IncByI
 title: IncByI operation
-ms.date: 09/30/2024 12:00:00 AM
+ms.date: 10/26/2024 12:00:00 AM
 ms.topic: managed-reference
 qsharp.kind: operation
 qsharp.namespace: Microsoft.Quantum.Unstable.Arithmetic

package/docs/Microsoft.Quantum.Unstable.Arithmetic/IncByIUsingIncByLE.md

@@ -1,7 +1,7 @@
 ---
 uid: Qdk.Microsoft.Quantum.Unstable.Arithmetic.IncByIUsingIncByLE
 title: IncByIUsingIncByLE operation
-ms.date: 09/30/2024 12:00:00 AM
+ms.date: 10/26/2024 12:00:00 AM
 ms.topic: managed-reference
 qsharp.kind: operation
 qsharp.namespace: Microsoft.Quantum.Unstable.Arithmetic

package/docs/Microsoft.Quantum.Unstable.Arithmetic/IncByL.md

@@ -1,7 +1,7 @@
 ---
 uid: Qdk.Microsoft.Quantum.Unstable.Arithmetic.IncByL
 title: IncByL operation
-ms.date: 09/30/2024 12:00:00 AM
+ms.date: 10/26/2024 12:00:00 AM
 ms.topic: managed-reference
 qsharp.kind: operation
 qsharp.namespace: Microsoft.Quantum.Unstable.Arithmetic

package/docs/Microsoft.Quantum.Unstable.Arithmetic/IncByLE.md

@@ -1,7 +1,7 @@
 ---
 uid: Qdk.Microsoft.Quantum.Unstable.Arithmetic.IncByLE
 title: IncByLE operation
-ms.date: 09/30/2024 12:00:00 AM
+ms.date: 10/26/2024 12:00:00 AM
 ms.topic: managed-reference
 qsharp.kind: operation
 qsharp.namespace: Microsoft.Quantum.Unstable.Arithmetic

package/docs/Microsoft.Quantum.Unstable.Arithmetic/IncByLEUsingAddLE.md

@@ -1,7 +1,7 @@
 ---
 uid: Qdk.Microsoft.Quantum.Unstable.Arithmetic.IncByLEUsingAddLE
 title: IncByLEUsingAddLE operation
-ms.date: 09/30/2024 12:00:00 AM
+ms.date: 10/26/2024 12:00:00 AM
 ms.topic: managed-reference
 qsharp.kind: operation
 qsharp.namespace: Microsoft.Quantum.Unstable.Arithmetic

package/docs/Microsoft.Quantum.Unstable.Arithmetic/IncByLUsingIncByLE.md

@@ -1,7 +1,7 @@
 ---
 uid: Qdk.Microsoft.Quantum.Unstable.Arithmetic.IncByLUsingIncByLE
 title: IncByLUsingIncByLE operation
-ms.date: 09/30/2024 12:00:00 AM
+ms.date: 10/26/2024 12:00:00 AM
 ms.topic: managed-reference
 qsharp.kind: operation
 qsharp.namespace: Microsoft.Quantum.Unstable.Arithmetic

package/docs/Microsoft.Quantum.Unstable.Arithmetic/LookAheadDKRSAddLE.md

@@ -1,7 +1,7 @@
 ---
 uid: Qdk.Microsoft.Quantum.Unstable.Arithmetic.LookAheadDKRSAddLE
 title: LookAheadDKRSAddLE operation
-ms.date: 09/30/2024 12:00:00 AM
+ms.date: 10/26/2024 12:00:00 AM
 ms.topic: managed-reference
 qsharp.kind: operation
 qsharp.namespace: Microsoft.Quantum.Unstable.Arithmetic

package/docs/Microsoft.Quantum.Unstable.Arithmetic/MAJ.md

@@ -1,7 +1,7 @@
 ---
 uid: Qdk.Microsoft.Quantum.Unstable.Arithmetic.MAJ
 title: MAJ operation
-ms.date: 09/30/2024 12:00:00 AM
+ms.date: 10/26/2024 12:00:00 AM
 ms.topic: managed-reference
 qsharp.kind: operation
 qsharp.namespace: Microsoft.Quantum.Unstable.Arithmetic

package/docs/Microsoft.Quantum.Unstable.Arithmetic/ReflectAboutInteger.md

@@ -1,7 +1,7 @@
 ---
 uid: Qdk.Microsoft.Quantum.Unstable.Arithmetic.ReflectAboutInteger
 title: ReflectAboutInteger operation
-ms.date: 09/30/2024 12:00:00 AM
+ms.date: 10/26/2024 12:00:00 AM
 ms.topic: managed-reference
 qsharp.kind: operation
 qsharp.namespace: Microsoft.Quantum.Unstable.Arithmetic

package/docs/Microsoft.Quantum.Unstable.Arithmetic/RippleCarryCGAddLE.md

@@ -1,7 +1,7 @@
 ---
 uid: Qdk.Microsoft.Quantum.Unstable.Arithmetic.RippleCarryCGAddLE
 title: RippleCarryCGAddLE operation
-ms.date: 09/30/2024 12:00:00 AM
+ms.date: 10/26/2024 12:00:00 AM
 ms.topic: managed-reference
 qsharp.kind: operation
 qsharp.namespace: Microsoft.Quantum.Unstable.Arithmetic

package/docs/Microsoft.Quantum.Unstable.Arithmetic/RippleCarryCGIncByLE.md

@@ -1,7 +1,7 @@
 ---
 uid: Qdk.Microsoft.Quantum.Unstable.Arithmetic.RippleCarryCGIncByLE
 title: RippleCarryCGIncByLE operation
-ms.date: 09/30/2024 12:00:00 AM
+ms.date: 10/26/2024 12:00:00 AM
 ms.topic: managed-reference
 qsharp.kind: operation
 qsharp.namespace: Microsoft.Quantum.Unstable.Arithmetic

package/docs/Microsoft.Quantum.Unstable.Arithmetic/RippleCarryTTKIncByLE.md

@@ -1,7 +1,7 @@
 ---
 uid: Qdk.Microsoft.Quantum.Unstable.Arithmetic.RippleCarryTTKIncByLE
 title: RippleCarryTTKIncByLE operation
-ms.date: 09/30/2024 12:00:00 AM
+ms.date: 10/26/2024 12:00:00 AM
 ms.topic: managed-reference
 qsharp.kind: operation
 qsharp.namespace: Microsoft.Quantum.Unstable.Arithmetic

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

@@ -1,7 +1,7 @@
 ---
 uid: Qdk.Microsoft.Quantum.Unstable.StatePreparation.ApproximatelyPreparePureStateCP
 title: ApproximatelyPreparePureStateCP operation
-ms.date: 09/30/2024 12:00:00 AM
+ms.date: 10/26/2024 12:00:00 AM
 ms.topic: managed-reference
 qsharp.kind: operation
 qsharp.namespace: Microsoft.Quantum.Unstable.StatePreparation

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

@@ -1,7 +1,7 @@
 ---
 uid: Qdk.Microsoft.Quantum.Unstable.StatePreparation.PreparePureStateD
 title: PreparePureStateD operation
-ms.date: 09/30/2024 12:00:00 AM
+ms.date: 10/26/2024 12:00:00 AM
 ms.topic: managed-reference
 qsharp.kind: operation
 qsharp.namespace: Microsoft.Quantum.Unstable.StatePreparation

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

@@ -1,7 +1,7 @@
 ---
 uid: Qdk.Microsoft.Quantum.Unstable.TableLookup.Select
 title: Select operation
-ms.date: 09/30/2024 12:00:00 AM
+ms.date: 10/26/2024 12:00:00 AM
 ms.topic: managed-reference
 qsharp.kind: operation
 qsharp.namespace: Microsoft.Quantum.Unstable.TableLookup

package/docs/Std.Arrays/All.md

@@ -1,7 +1,7 @@
 ---
 uid: Qdk.Std.Arrays.All
 title: All function
-ms.date: 09/30/2024 12:00:00 AM
+ms.date: 10/26/2024 12:00:00 AM
 ms.topic: managed-reference
 qsharp.kind: function
 qsharp.namespace: Std.Arrays

package/docs/Std.Arrays/Any.md

@@ -1,12 +1,12 @@
 ---
 uid: Qdk.Std.Arrays.Any
 title: Any function
-ms.date: 09/30/2024 12:00:00 AM
+ms.date: 10/26/2024 12:00:00 AM
 ms.topic: managed-reference
 qsharp.kind: function
 qsharp.namespace: Std.Arrays
 qsharp.name: Any
-qsharp.summary: "Given an array and a predicate that is defined for the elements of the array, checks if at least one element of the array satisfies the predicate.  # Type Parameters ## 'T The type of `array` elements.  # Input ## predicate A function from `'T` to `Bool` that is used to check elements. ## array An array of elements over `'T`.  # Output A `Bool` value of the OR function of the predicate applied to all elements.  # Example ```qsharp let anyEven = Any(x -> x % 2 == 0, [1, 3, 6, 7, 9]); ```"
+qsharp.summary: "Given an array and a predicate that is defined for the elements of the array, checks if at least one element of the array satisfies the predicate."
 ---
 
 # Any function
@@ -17,6 +17,7 @@ Fully qualified name: Std.Arrays.Any
 function Any<'T>(predicate : ('T -> Bool), array : 'T[]) : Bool
 ```
 
+## Summary
 Given an array and a predicate that is defined
 for the elements of the array, checks if at least one element of
 the array satisfies the predicate.

package/docs/Std.Arrays/Chunks.md

@@ -1,12 +1,12 @@
 ---
 uid: Qdk.Std.Arrays.Chunks
 title: Chunks function
-ms.date: 09/30/2024 12:00:00 AM
+ms.date: 10/26/2024 12:00:00 AM
 ms.topic: managed-reference
 qsharp.kind: function
 qsharp.namespace: Std.Arrays
 qsharp.name: Chunks
-qsharp.summary: "Splits an array into multiple parts of equal length.  # Input ## chunkSize The length of each chunk. Must be positive. ## array The array to be split in chunks.  # Output A array containing each chunk of the original array.  # Remarks Note that the last element of the output may be shorter than `chunkSize` if `Length(array)` is not divisible by `chunkSize`."
+qsharp.summary: "Splits an array into multiple parts of equal length."
 ---
 
 # Chunks function
@@ -17,6 +17,7 @@ Fully qualified name: Std.Arrays.Chunks
 function Chunks<'T>(chunkSize : Int, array : 'T[]) : 'T[][]
 ```
 
+## Summary
 Splits an array into multiple parts of equal length.
 
 ## Input

package/docs/Std.Arrays/CircularlyShifted.md

@@ -1,12 +1,12 @@
 ---
 uid: Qdk.Std.Arrays.CircularlyShifted
 title: CircularlyShifted function
-ms.date: 09/30/2024 12:00:00 AM
+ms.date: 10/26/2024 12:00:00 AM
 ms.topic: managed-reference
 qsharp.kind: function
 qsharp.namespace: Std.Arrays
 qsharp.name: CircularlyShifted
-qsharp.summary: "Shift an array circularly left or right by a specific step size.  # Type Parameters ## 'T The type of the array elements.  # Input ## stepCount The amount of positions by which the array elements will be shifted. If this is positive, `array` is circularly shifted to the right. If this is negative, `array` is circularly shifted to the left. ## array Array to be circularly shifted.  # Output An array `output` that is the `array` circularly shifted to the right or left by the specified step size.  # Example ```qsharp let array = [10, 11, 12]; // The following line returns [11, 12, 10]. let output = CircularlyShifted(2, array); // The following line returns [12, 10, 11]. let output = CircularlyShifted(-2, array); ```"
+qsharp.summary: "Shift an array circularly left or right by a specific step size."
 ---
 
 # CircularlyShifted function
@@ -17,6 +17,7 @@ Fully qualified name: Std.Arrays.CircularlyShifted
 function CircularlyShifted<'T>(stepCount : Int, array : 'T[]) : 'T[]
 ```
 
+## Summary
 Shift an array circularly left or right by a specific step size.
 
 ## Type Parameters

package/docs/Std.Arrays/ColumnAt.md

@@ -1,12 +1,12 @@
 ---
 uid: Qdk.Std.Arrays.ColumnAt
 title: ColumnAt function
-ms.date: 09/30/2024 12:00:00 AM
+ms.date: 10/26/2024 12:00:00 AM
 ms.topic: managed-reference
 qsharp.kind: function
 qsharp.namespace: Std.Arrays
 qsharp.name: ColumnAt
-qsharp.summary: "Extracts a column from a matrix.  # Description This function extracts a column in a matrix in row-wise order. Extracting a row corresponds to element access of the first index and therefore requires no further treatment.  # Type Parameters ## 'T The type of each element of `matrix`.  # Input ## column Column of the matrix ## matrix 2-dimensional matrix in row-wise order  # Example ```qsharp let matrix = [[1, 2, 3], [4, 5, 6], [7, 8, 9]]; let column = ColumnAt(0, matrix); // same as: column = [1, 4, 7] ```  # See Also - Microsoft.Quantum.Arrays.Transposed - Microsoft.Quantum.Arrays.Diagonal"
+qsharp.summary: "Extracts a column from a matrix."
 ---
 
 # ColumnAt function
@@ -17,6 +17,7 @@ Fully qualified name: Std.Arrays.ColumnAt
 function ColumnAt<'T>(column : Int, matrix : 'T[][]) : 'T[]
 ```
 
+## Summary
 Extracts a column from a matrix.
 
 ## Description

package/docs/Std.Arrays/Count.md

@@ -1,12 +1,12 @@
 ---
 uid: Qdk.Std.Arrays.Count
 title: Count function
-ms.date: 09/30/2024 12:00:00 AM
+ms.date: 10/26/2024 12:00:00 AM
 ms.topic: managed-reference
 qsharp.kind: function
 qsharp.namespace: Std.Arrays
 qsharp.name: Count
-qsharp.summary: "Given an array and a predicate that is defined for the elements of the array, returns the number of elements an array that consists of those elements that satisfy the predicate.  # Type Parameters ## 'T The type of `array` elements.  # Input ## predicate A function from `'T` to Boolean that is used to filter elements. ## array An array of elements over `'T`.  # Output The number of elements in `array` that satisfy the predicate.  # Example ```qsharp let evensCount = Count(x -> x % 2 == 0, [1, 3, 6, 7, 9]); // evensCount is 1. ```"
+qsharp.summary: "Given an array and a predicate that is defined for the elements of the array, returns the number of elements an array that consists of those elements that satisfy the predicate."
 ---
 
 # Count function
@@ -17,6 +17,7 @@ Fully qualified name: Std.Arrays.Count
 function Count<'T>(predicate : ('T -> Bool), array : 'T[]) : Int
 ```
 
+## Summary
 Given an array and a predicate that is defined
 for the elements of the array, returns the number of elements
 an array that consists of those elements that satisfy the predicate.

package/docs/Std.Arrays/Diagonal.md

@@ -1,12 +1,12 @@
 ---
 uid: Qdk.Std.Arrays.Diagonal
 title: Diagonal function
-ms.date: 09/30/2024 12:00:00 AM
+ms.date: 10/26/2024 12:00:00 AM
 ms.topic: managed-reference
 qsharp.kind: function
 qsharp.namespace: Std.Arrays
 qsharp.name: Diagonal
-qsharp.summary: "Returns an array of diagonal elements of a 2-dimensional array  # Description If the 2-dimensional array has not a square shape, the diagonal over the minimum over the number of rows and columns will be returned.  # Type Parameters ## 'T The type of each element of `matrix`.  # Input ## matrix 2-dimensional matrix in row-wise order.  # Example ```qsharp let matrix = [[1, 2, 3], [4, 5, 6], [7, 8, 9]]; let diagonal = Diagonal(matrix); // same as: column = [1, 5, 9] ```  # See Also - Microsoft.Quantum.Arrays.Transposed"
+qsharp.summary: "Returns an array of diagonal elements of a 2-dimensional array"
 ---
 
 # Diagonal function
@@ -17,6 +17,7 @@ Fully qualified name: Std.Arrays.Diagonal
 function Diagonal<'T>(matrix : 'T[][]) : 'T[]
 ```
 
+## Summary
 Returns an array of diagonal elements of a 2-dimensional array
 
 ## Description

package/docs/Std.Arrays/DrawMany.md

@@ -1,12 +1,12 @@
 ---
 uid: Qdk.Std.Arrays.DrawMany
 title: DrawMany operation
-ms.date: 09/30/2024 12:00:00 AM
+ms.date: 10/26/2024 12:00:00 AM
 ms.topic: managed-reference
 qsharp.kind: operation
 qsharp.namespace: Std.Arrays
 qsharp.name: DrawMany
-qsharp.summary: "Repeats an operation for a given number of samples, collecting its outputs in an array.  # Input ## op The operation to be called repeatedly. ## nSamples The number of samples of calling `op` to collect. ## input The input to be passed to `op`.  # Type Parameters ## TInput The type of input expected by `op`. ## TOutput The type of output returned by `op`.  # Example The following samples an alternating array of results. ```qsharp use qubit = Qubit(); let results = Microsoft.Quantum.Arrays.DrawMany(q => {X(q); M(q)}, 3, qubit); ```"
+qsharp.summary: "Repeats an operation for a given number of samples, collecting its outputs in an array."
 ---
 
 # DrawMany operation
@@ -17,6 +17,7 @@ Fully qualified name: Std.Arrays.DrawMany
 operation DrawMany<'TInput, 'TOutput>(op : ('TInput => 'TOutput), nSamples : Int, input : 'TInput) : 'TOutput[]
 ```
 
+## Summary
 Repeats an operation for a given number of samples, collecting its outputs
 in an array.