qsharp-lang 1.7.0 → 1.8.0

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

@@ -1,7 +1,7 @@
 ---
 uid: Qdk.Microsoft.Quantum.Convert.BoolAsResult
 title: BoolAsResult function
-ms.date: 07/24/2024 12:00:00 AM
+ms.date: 08/21/2024 12:00:00 AM
 ms.topic: managed-reference
 qsharp.kind: function
 qsharp.namespace: Microsoft.Quantum.Convert
@@ -11,7 +11,7 @@ qsharp.summary: "Converts a `Bool` type to a `Result` type, where `true` is mapp
 
 # BoolAsResult function
 
-Namespace: Microsoft.Quantum.Convert
+Fully qualified name: Microsoft.Quantum.Convert.BoolAsResult
 
 ```qsharp
 function BoolAsResult(input : Bool) : Result

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

@@ -1,7 +1,7 @@
 ---
 uid: Qdk.Microsoft.Quantum.Convert.ComplexAsComplexPolar
 title: ComplexAsComplexPolar function
-ms.date: 07/24/2024 12:00:00 AM
+ms.date: 08/21/2024 12:00:00 AM
 ms.topic: managed-reference
 qsharp.kind: function
 qsharp.namespace: Microsoft.Quantum.Convert
@@ -11,7 +11,7 @@ qsharp.summary: "Converts a complex number of type `Complex` to a complex number
 
 # ComplexAsComplexPolar function
 
-Namespace: Microsoft.Quantum.Convert
+Fully qualified name: Microsoft.Quantum.Convert.ComplexAsComplexPolar
 
 ```qsharp
 function ComplexAsComplexPolar(input : Complex) : ComplexPolar

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

@@ -1,7 +1,7 @@
 ---
 uid: Qdk.Microsoft.Quantum.Convert.ComplexPolarAsComplex
 title: ComplexPolarAsComplex function
-ms.date: 07/24/2024 12:00:00 AM
+ms.date: 08/21/2024 12:00:00 AM
 ms.topic: managed-reference
 qsharp.kind: function
 qsharp.namespace: Microsoft.Quantum.Convert
@@ -11,7 +11,7 @@ qsharp.summary: "Converts a complex number of type `ComplexPolar` to a complex n
 
 # ComplexPolarAsComplex function
 
-Namespace: Microsoft.Quantum.Convert
+Fully qualified name: Microsoft.Quantum.Convert.ComplexPolarAsComplex
 
 ```qsharp
 function ComplexPolarAsComplex(input : ComplexPolar) : Complex

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

@@ -1,7 +1,7 @@
 ---
 uid: Qdk.Microsoft.Quantum.Convert.DoubleAsStringWithPrecision
 title: DoubleAsStringWithPrecision function
-ms.date: 07/24/2024 12:00:00 AM
+ms.date: 08/21/2024 12:00:00 AM
 ms.topic: managed-reference
 qsharp.kind: function
 qsharp.namespace: Microsoft.Quantum.Convert
@@ -11,7 +11,7 @@ qsharp.summary: "Converts a given double-precision floating-point number to a st
 
 # DoubleAsStringWithPrecision function
 
-Namespace: Microsoft.Quantum.Convert
+Fully qualified name: Microsoft.Quantum.Convert.DoubleAsStringWithPrecision
 
 ```qsharp
 function DoubleAsStringWithPrecision(input : Double, precision : Int) : String

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

@@ -1,7 +1,7 @@
 ---
 uid: Qdk.Microsoft.Quantum.Convert.IntAsBigInt
 title: IntAsBigInt function
-ms.date: 07/24/2024 12:00:00 AM
+ms.date: 08/21/2024 12:00:00 AM
 ms.topic: managed-reference
 qsharp.kind: function
 qsharp.namespace: Microsoft.Quantum.Convert
@@ -11,7 +11,7 @@ qsharp.summary: "Converts a given integer `number` to an equivalent big integer.
 
 # IntAsBigInt function
 
-Namespace: Microsoft.Quantum.Convert
+Fully qualified name: Microsoft.Quantum.Convert.IntAsBigInt
 
 ```qsharp
 function IntAsBigInt(number : Int) : BigInt

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

@@ -1,7 +1,7 @@
 ---
 uid: Qdk.Microsoft.Quantum.Convert.IntAsBoolArray
 title: IntAsBoolArray function
-ms.date: 07/24/2024 12:00:00 AM
+ms.date: 08/21/2024 12:00:00 AM
 ms.topic: managed-reference
 qsharp.kind: function
 qsharp.namespace: Microsoft.Quantum.Convert
@@ -11,7 +11,7 @@ qsharp.summary: "Produces a binary representation of a non-negative integer, usi
 
 # IntAsBoolArray function
 
-Namespace: Microsoft.Quantum.Convert
+Fully qualified name: Microsoft.Quantum.Convert.IntAsBoolArray
 
 ```qsharp
 function IntAsBoolArray(number : Int, bits : Int) : Bool[]

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

@@ -1,7 +1,7 @@
 ---
 uid: Qdk.Microsoft.Quantum.Convert.IntAsDouble
 title: IntAsDouble function
-ms.date: 07/24/2024 12:00:00 AM
+ms.date: 08/21/2024 12:00:00 AM
 ms.topic: managed-reference
 qsharp.kind: function
 qsharp.namespace: Microsoft.Quantum.Convert
@@ -11,7 +11,7 @@ qsharp.summary: "Converts a given integer `number` to an equivalent double-preci
 
 # IntAsDouble function
 
-Namespace: Microsoft.Quantum.Convert
+Fully qualified name: Microsoft.Quantum.Convert.IntAsDouble
 
 ```qsharp
 function IntAsDouble(number : Int) : Double

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

@@ -1,7 +1,7 @@
 ---
 uid: Qdk.Microsoft.Quantum.Convert.ResultArrayAsBoolArray
 title: ResultArrayAsBoolArray function
-ms.date: 07/24/2024 12:00:00 AM
+ms.date: 08/21/2024 12:00:00 AM
 ms.topic: managed-reference
 qsharp.kind: function
 qsharp.namespace: Microsoft.Quantum.Convert
@@ -11,7 +11,7 @@ qsharp.summary: "Converts a `Result[]` type to a `Bool[]` type, where `One` is m
 
 # ResultArrayAsBoolArray function
 
-Namespace: Microsoft.Quantum.Convert
+Fully qualified name: Microsoft.Quantum.Convert.ResultArrayAsBoolArray
 
 ```qsharp
 function ResultArrayAsBoolArray(input : Result[]) : Bool[]

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

@@ -1,7 +1,7 @@
 ---
 uid: Qdk.Microsoft.Quantum.Convert.ResultArrayAsInt
 title: ResultArrayAsInt function
-ms.date: 07/24/2024 12:00:00 AM
+ms.date: 08/21/2024 12:00:00 AM
 ms.topic: managed-reference
 qsharp.kind: function
 qsharp.namespace: Microsoft.Quantum.Convert
@@ -11,7 +11,7 @@ qsharp.summary: "Produces a non-negative integer from a string of Results in lit
 
 # ResultArrayAsInt function
 
-Namespace: Microsoft.Quantum.Convert
+Fully qualified name: Microsoft.Quantum.Convert.ResultArrayAsInt
 
 ```qsharp
 function ResultArrayAsInt(results : Result[]) : Int

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

@@ -1,7 +1,7 @@
 ---
 uid: Qdk.Microsoft.Quantum.Convert.ResultAsBool
 title: ResultAsBool function
-ms.date: 07/24/2024 12:00:00 AM
+ms.date: 08/21/2024 12:00:00 AM
 ms.topic: managed-reference
 qsharp.kind: function
 qsharp.namespace: Microsoft.Quantum.Convert
@@ -11,7 +11,7 @@ qsharp.summary: "Converts a `Result` type to a `Bool` type, where `One` is mappe
 
 # ResultAsBool function
 
-Namespace: Microsoft.Quantum.Convert
+Fully qualified name: Microsoft.Quantum.Convert.ResultAsBool
 
 ```qsharp
 function ResultAsBool(input : Result) : Bool

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

@@ -1,7 +1,7 @@
 ---
 uid: Qdk.Microsoft.Quantum.Core.IsRangeEmpty
 title: IsRangeEmpty function
-ms.date: 07/24/2024 12:00:00 AM
+ms.date: 08/21/2024 12:00:00 AM
 ms.topic: managed-reference
 qsharp.kind: function
 qsharp.namespace: Microsoft.Quantum.Core
@@ -11,7 +11,7 @@ qsharp.summary: "Returns true if and only if the input range is empty."
 
 # IsRangeEmpty function
 
-Namespace: Microsoft.Quantum.Core
+Fully qualified name: Microsoft.Quantum.Core.IsRangeEmpty
 
 ```qsharp
 function IsRangeEmpty(rng : Range) : Bool

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

@@ -1,7 +1,7 @@
 ---
 uid: Qdk.Microsoft.Quantum.Core.Length
 title: Length function
-ms.date: 07/24/2024 12:00:00 AM
+ms.date: 08/21/2024 12:00:00 AM
 ms.topic: managed-reference
 qsharp.kind: function
 qsharp.namespace: Microsoft.Quantum.Core
@@ -11,7 +11,7 @@ qsharp.summary: "Returns the number of elements in the input array `a`."
 
 # Length function
 
-Namespace: Microsoft.Quantum.Core
+Fully qualified name: Microsoft.Quantum.Core.Length
 
 ```qsharp
 function Length<'T>(a : 'T[]) : Int

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

@@ -1,7 +1,7 @@
 ---
 uid: Qdk.Microsoft.Quantum.Core.RangeEnd
 title: RangeEnd function
-ms.date: 07/24/2024 12:00:00 AM
+ms.date: 08/21/2024 12:00:00 AM
 ms.topic: managed-reference
 qsharp.kind: function
 qsharp.namespace: Microsoft.Quantum.Core
@@ -11,7 +11,7 @@ qsharp.summary: "Returns the defined end value of the given range, which is not
 
 # RangeEnd function
 
-Namespace: Microsoft.Quantum.Core
+Fully qualified name: Microsoft.Quantum.Core.RangeEnd
 
 ```qsharp
 function RangeEnd(r : Range) : Int

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

@@ -1,7 +1,7 @@
 ---
 uid: Qdk.Microsoft.Quantum.Core.RangeReverse
 title: RangeReverse function
-ms.date: 07/24/2024 12:00:00 AM
+ms.date: 08/21/2024 12:00:00 AM
 ms.topic: managed-reference
 qsharp.kind: function
 qsharp.namespace: Microsoft.Quantum.Core
@@ -11,7 +11,7 @@ qsharp.summary: "Returns a new range which is the reverse of the input range."
 
 # RangeReverse function
 
-Namespace: Microsoft.Quantum.Core
+Fully qualified name: Microsoft.Quantum.Core.RangeReverse
 
 ```qsharp
 function RangeReverse(r : Range) : Range

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

@@ -1,7 +1,7 @@
 ---
 uid: Qdk.Microsoft.Quantum.Core.RangeStart
 title: RangeStart function
-ms.date: 07/24/2024 12:00:00 AM
+ms.date: 08/21/2024 12:00:00 AM
 ms.topic: managed-reference
 qsharp.kind: function
 qsharp.namespace: Microsoft.Quantum.Core
@@ -11,7 +11,7 @@ qsharp.summary: "Returns the defined start value of the given range."
 
 # RangeStart function
 
-Namespace: Microsoft.Quantum.Core
+Fully qualified name: Microsoft.Quantum.Core.RangeStart
 
 ```qsharp
 function RangeStart(r : Range) : Int

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

@@ -1,7 +1,7 @@
 ---
 uid: Qdk.Microsoft.Quantum.Core.RangeStep
 title: RangeStep function
-ms.date: 07/24/2024 12:00:00 AM
+ms.date: 08/21/2024 12:00:00 AM
 ms.topic: managed-reference
 qsharp.kind: function
 qsharp.namespace: Microsoft.Quantum.Core
@@ -11,7 +11,7 @@ qsharp.summary: "Returns the integer that specifies how the next value of a rang
 
 # RangeStep function
 
-Namespace: Microsoft.Quantum.Core
+Fully qualified name: Microsoft.Quantum.Core.RangeStep
 
 ```qsharp
 function RangeStep(r : Range) : Int

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

@@ -1,7 +1,7 @@
 ---
 uid: Qdk.Microsoft.Quantum.Core.Repeated
 title: Repeated function
-ms.date: 07/24/2024 12:00:00 AM
+ms.date: 08/21/2024 12:00:00 AM
 ms.topic: managed-reference
 qsharp.kind: function
 qsharp.namespace: Microsoft.Quantum.Core
@@ -11,7 +11,7 @@ qsharp.summary: "Creates an array of given `length` with all elements equal to g
 
 # Repeated function
 
-Namespace: Microsoft.Quantum.Core
+Fully qualified name: Microsoft.Quantum.Core.Repeated
 
 ```qsharp
 function Repeated<'T>(value : 'T, length : Int) : 'T[]

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

@@ -1,7 +1,7 @@
 ---
 uid: Qdk.Microsoft.Quantum.Diagnostics.DumpMachine
 title: DumpMachine function
-ms.date: 07/24/2024 12:00:00 AM
+ms.date: 08/21/2024 12:00:00 AM
 ms.topic: managed-reference
 qsharp.kind: function
 qsharp.namespace: Microsoft.Quantum.Diagnostics
@@ -11,7 +11,7 @@ qsharp.summary: "Dumps the current target machine's status."
 
 # DumpMachine function
 
-Namespace: Microsoft.Quantum.Diagnostics
+Fully qualified name: Microsoft.Quantum.Diagnostics.DumpMachine
 
 ```qsharp
 function DumpMachine() : Unit
@@ -31,7 +31,7 @@ the amplitudes of the probability of measuring the corresponding state.
 
 ## Example
 When run on the sparse-state simulator, the following snippet dumps
-the Bell state (|00〉 + |11〉 ) / √2 to the console:
+the Bell state (|00⟩ + |11⟩ ) / √2 to the console:
 ```qsharp
 use left = Qubit();
 use right = Qubit();

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

@@ -1,7 +1,7 @@
 ---
 uid: Qdk.Microsoft.Quantum.Diagnostics.DumpRegister
 title: DumpRegister function
-ms.date: 07/24/2024 12:00:00 AM
+ms.date: 08/21/2024 12:00:00 AM
 ms.topic: managed-reference
 qsharp.kind: function
 qsharp.namespace: Microsoft.Quantum.Diagnostics
@@ -11,7 +11,7 @@ qsharp.summary: "Dumps the current target machine's status associated with the g
 
 # DumpRegister function
 
-Namespace: Microsoft.Quantum.Diagnostics
+Fully qualified name: Microsoft.Quantum.Diagnostics.DumpRegister
 
 ```qsharp
 function DumpRegister(register : Qubit[]) : Unit
@@ -38,7 +38,7 @@ state can't be separated, it fails with a runtime error indicating that the qubi
 
 ## Example
 When run on the sparse-state simulator, the following snippet dumps
-the Bell state (|00〉 + |11〉 ) / √2 to the console:
+the Bell state (|00⟩ + |11⟩ ) / √2 to the console:
 ```qsharp
 use left = Qubit();
 use right = Qubit();

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

@@ -1,20 +1,31 @@
 ---
 uid: Qdk.Microsoft.Quantum.Diagnostics.Fact
 title: Fact function
-ms.date: 07/24/2024 12:00:00 AM
+ms.date: 08/21/2024 12:00:00 AM
 ms.topic: managed-reference
 qsharp.kind: function
 qsharp.namespace: Microsoft.Quantum.Diagnostics
 qsharp.name: Fact
-qsharp.summary: "Checks whether a classical condition is true, and throws an exception if it is not."
+qsharp.summary: "Checks whether a given condition is true, failing with a message if it is not."
 ---
 
 # Fact function
 
-Namespace: Microsoft.Quantum.Diagnostics
+Fully qualified name: Microsoft.Quantum.Diagnostics.Fact
 
 ```qsharp
 function Fact(actual : Bool, message : String) : Unit
 ```
 
-Checks whether a classical condition is true, and throws an exception if it is not.
+## Summary
+Checks whether a given condition is true, failing with a message if it is not.
+
+## Description
+This function checks whether a given condition is true. If the condition is false, the operation fails with the given message,
+terminating the program.
+
+## Input
+### actual
+The condition to check.
+### message
+The message to use in the failure if the condition is false.

package/docs/Microsoft.Quantum.Intrinsic/AND.md

@@ -0,0 +1,33 @@
+---
+uid: Qdk.Microsoft.Quantum.Intrinsic.AND
+title: AND operation
+ms.date: 08/21/2024 12:00:00 AM
+ms.topic: managed-reference
+qsharp.kind: operation
+qsharp.namespace: Microsoft.Quantum.Intrinsic
+qsharp.name: AND
+qsharp.summary: "Applies the AND gate that is more efficient for use with decomposition of multi-controlled operations. Note that target qubit must be in |0⟩ state."
+---
+
+# AND operation
+
+Fully qualified name: Microsoft.Quantum.Intrinsic.AND
+
+```qsharp
+operation AND(control1 : Qubit, control2 : Qubit, target : Qubit) : Unit is Adj
+```
+
+## Summary
+Applies the AND gate that is more efficient for use with decomposition of multi-controlled operations.
+Note that target qubit must be in |0⟩ state.
+
+## Input
+### control1
+First control qubit for the AND gate.
+### control2
+Second control qubit for the AND gate.
+### target
+Target qubit for the AND gate.
+
+## Remarks
+Use the Adjoint only for uncomputation purposes.

package/docs/Microsoft.Quantum.Intrinsic/CCNOT.md

@@ -1,7 +1,7 @@
 ---
 uid: Qdk.Microsoft.Quantum.Intrinsic.CCNOT
 title: CCNOT operation
-ms.date: 07/24/2024 12:00:00 AM
+ms.date: 08/21/2024 12:00:00 AM
 ms.topic: managed-reference
 qsharp.kind: operation
 qsharp.namespace: Microsoft.Quantum.Intrinsic
@@ -11,7 +11,7 @@ qsharp.summary: "Applies the doubly controlled–NOT (CCNOT) gate to three qubit
 
 # CCNOT operation
 
-Namespace: Microsoft.Quantum.Intrinsic
+Fully qualified name: Microsoft.Quantum.Intrinsic.CCNOT
 
 ```qsharp
 operation CCNOT(control1 : Qubit, control2 : Qubit, target : Qubit) : Unit is Adj + Ctl

package/docs/Microsoft.Quantum.Intrinsic/CNOT.md

@@ -1,7 +1,7 @@
 ---
 uid: Qdk.Microsoft.Quantum.Intrinsic.CNOT
 title: CNOT operation
-ms.date: 07/24/2024 12:00:00 AM
+ms.date: 08/21/2024 12:00:00 AM
 ms.topic: managed-reference
 qsharp.kind: operation
 qsharp.namespace: Microsoft.Quantum.Intrinsic
@@ -11,7 +11,7 @@ qsharp.summary: "Applies the controlled-NOT (CNOT) gate to a pair of qubits."
 
 # CNOT operation
 
-Namespace: Microsoft.Quantum.Intrinsic
+Fully qualified name: Microsoft.Quantum.Intrinsic.CNOT
 
 ```qsharp
 operation CNOT(control : Qubit, target : Qubit) : Unit is Adj + Ctl

package/docs/Microsoft.Quantum.Intrinsic/Exp.md

@@ -1,7 +1,7 @@
 ---
 uid: Qdk.Microsoft.Quantum.Intrinsic.Exp
 title: Exp operation
-ms.date: 07/24/2024 12:00:00 AM
+ms.date: 08/21/2024 12:00:00 AM
 ms.topic: managed-reference
 qsharp.kind: operation
 qsharp.namespace: Microsoft.Quantum.Intrinsic
@@ -11,7 +11,7 @@ qsharp.summary: "Applies the exponential of a multi-qubit Pauli operator."
 
 # Exp operation
 
-Namespace: Microsoft.Quantum.Intrinsic
+Fully qualified name: Microsoft.Quantum.Intrinsic.Exp
 
 ```qsharp
 operation Exp(paulis : Pauli[], theta : Double, qubits : Qubit[]) : Unit is Adj + Ctl

package/docs/Microsoft.Quantum.Intrinsic/H.md

@@ -1,7 +1,7 @@
 ---
 uid: Qdk.Microsoft.Quantum.Intrinsic.H
 title: H operation
-ms.date: 07/24/2024 12:00:00 AM
+ms.date: 08/21/2024 12:00:00 AM
 ms.topic: managed-reference
 qsharp.kind: operation
 qsharp.namespace: Microsoft.Quantum.Intrinsic
@@ -11,7 +11,7 @@ qsharp.summary: "Applies the Hadamard transformation to a single qubit."
 
 # H operation
 
-Namespace: Microsoft.Quantum.Intrinsic
+Fully qualified name: Microsoft.Quantum.Intrinsic.H
 
 ```qsharp
 operation H(qubit : Qubit) : Unit is Adj + Ctl

package/docs/Microsoft.Quantum.Intrinsic/I.md

@@ -1,7 +1,7 @@
 ---
 uid: Qdk.Microsoft.Quantum.Intrinsic.I
 title: I operation
-ms.date: 07/24/2024 12:00:00 AM
+ms.date: 08/21/2024 12:00:00 AM
 ms.topic: managed-reference
 qsharp.kind: operation
 qsharp.namespace: Microsoft.Quantum.Intrinsic
@@ -11,7 +11,7 @@ qsharp.summary: "Performs the identity operation (no-op) on a single qubit."
 
 # I operation
 
-Namespace: Microsoft.Quantum.Intrinsic
+Fully qualified name: Microsoft.Quantum.Intrinsic.I
 
 ```qsharp
 operation I(target : Qubit) : Unit is Adj + Ctl

package/docs/Microsoft.Quantum.Intrinsic/M.md

@@ -1,7 +1,7 @@
 ---
 uid: Qdk.Microsoft.Quantum.Intrinsic.M
 title: M operation
-ms.date: 07/24/2024 12:00:00 AM
+ms.date: 08/21/2024 12:00:00 AM
 ms.topic: managed-reference
 qsharp.kind: operation
 qsharp.namespace: Microsoft.Quantum.Intrinsic
@@ -11,7 +11,7 @@ qsharp.summary: "Performs a measurement of a single qubit in the Pauli _Z_ basis
 
 # M operation
 
-Namespace: Microsoft.Quantum.Intrinsic
+Fully qualified name: Microsoft.Quantum.Intrinsic.M
 
 ```qsharp
 operation M(qubit : Qubit) : Result

package/docs/Microsoft.Quantum.Intrinsic/Measure.md

@@ -1,17 +1,17 @@
 ---
 uid: Qdk.Microsoft.Quantum.Intrinsic.Measure
 title: Measure operation
-ms.date: 07/24/2024 12:00:00 AM
+ms.date: 08/21/2024 12:00:00 AM
 ms.topic: managed-reference
 qsharp.kind: operation
 qsharp.namespace: Microsoft.Quantum.Intrinsic
 qsharp.name: Measure
-qsharp.summary: "Performs a joint measurement of one or more qubits in the specified Pauli bases."
+qsharp.summary: "Performs a joint measurement of one or more qubits in the specified Pauli bases.  If the basis array and qubit array are different lengths, then the operation will fail."
 ---
 
 # Measure operation
 
-Namespace: Microsoft.Quantum.Intrinsic
+Fully qualified name: Microsoft.Quantum.Intrinsic.Measure
 
 ```qsharp
 operation Measure(bases : Pauli[], qubits : Qubit[]) : Result
@@ -21,6 +21,9 @@ operation Measure(bases : Pauli[], qubits : Qubit[]) : Result
 Performs a joint measurement of one or more qubits in the
 specified Pauli bases.
 
+If the basis array and qubit array are different lengths, then the
+operation will fail.
+
 ## Input
 ### bases
 Array of single-qubit Pauli values indicating the tensor product
@@ -33,23 +36,9 @@ Register of qubits to be measured.
 the -1 eigenvalue is observed.
 
 ## Remarks
-The output result is given by the distribution:
-$$
-\begin{align}
-    \Pr(\texttt{Zero} | \ket{\psi}) =
-        \frac12 \braket{
-            \psi \mid|
-            \left(
-                \boldone + P_0 \otimes P_1 \otimes \cdots \otimes P_{N-1}
-            \right) \mid|
-            \psi
-        },
-\end{align}
-$$
-where $P_i$ is the $i$th element of `bases`, and where
-$N = \texttt{Length}(\texttt{bases})$.
+The probability of getting `Zero` is
+$\bra{\psi} \frac{I + P_0 \otimes \ldots \otimes P_{N-1}}{2} \ket{\psi}$
+where $P_i$ is the $i$-th element of `bases`, and where
+$N$ is the `Length(bases)`.
 That is, measurement returns a `Result` $d$ such that the eigenvalue of the
 observed measurement effect is $(-1)^d$.
-
-If the basis array and qubit array are different lengths, then the
-operation will fail.

package/docs/Microsoft.Quantum.Intrinsic/Message.md

@@ -1,7 +1,7 @@
 ---
 uid: Qdk.Microsoft.Quantum.Intrinsic.Message
 title: Message function
-ms.date: 07/24/2024 12:00:00 AM
+ms.date: 08/21/2024 12:00:00 AM
 ms.topic: managed-reference
 qsharp.kind: function
 qsharp.namespace: Microsoft.Quantum.Intrinsic
@@ -11,7 +11,7 @@ qsharp.summary: "Logs a message."
 
 # Message function
 
-Namespace: Microsoft.Quantum.Intrinsic
+Fully qualified name: Microsoft.Quantum.Intrinsic.Message
 
 ```qsharp
 function Message(msg : String) : Unit

package/docs/Microsoft.Quantum.Intrinsic/R.md

@@ -1,7 +1,7 @@
 ---
 uid: Qdk.Microsoft.Quantum.Intrinsic.R
 title: R operation
-ms.date: 07/24/2024 12:00:00 AM
+ms.date: 08/21/2024 12:00:00 AM
 ms.topic: managed-reference
 qsharp.kind: operation
 qsharp.namespace: Microsoft.Quantum.Intrinsic
@@ -11,7 +11,7 @@ qsharp.summary: "Applies a rotation about the given Pauli axis."
 
 # R operation
 
-Namespace: Microsoft.Quantum.Intrinsic
+Fully qualified name: Microsoft.Quantum.Intrinsic.R
 
 ```qsharp
 operation R(pauli : Pauli, theta : Double, qubit : Qubit) : Unit is Adj + Ctl

package/docs/Microsoft.Quantum.Intrinsic/R1.md

@@ -1,7 +1,7 @@
 ---
 uid: Qdk.Microsoft.Quantum.Intrinsic.R1
 title: R1 operation
-ms.date: 07/24/2024 12:00:00 AM
+ms.date: 08/21/2024 12:00:00 AM
 ms.topic: managed-reference
 qsharp.kind: operation
 qsharp.namespace: Microsoft.Quantum.Intrinsic
@@ -11,7 +11,7 @@ qsharp.summary: "Applies a rotation about the |1⟩ state by a given angle."
 
 # R1 operation
 
-Namespace: Microsoft.Quantum.Intrinsic
+Fully qualified name: Microsoft.Quantum.Intrinsic.R1
 
 ```qsharp
 operation R1(theta : Double, qubit : Qubit) : Unit is Adj + Ctl