qsharp-lang 1.1.3 → 1.1.5-dev

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

@@ -0,0 +1,29 @@
+---
+uid: Qdk.Microsoft.Quantum.Convert.ComplexAsComplexPolar
+title: ComplexAsComplexPolar function
+ms.date: 02/23/2024 12:00:00 AM
+ms.topic: managed-reference
+qsharp.kind: function
+qsharp.namespace: Microsoft.Quantum.Convert
+qsharp.name: ComplexAsComplexPolar
+qsharp.summary: Converts a complex number of type `Complex` to a complex number of type `ComplexPolar`.
+---
+
+# ComplexAsComplexPolar function
+
+Namespace: Microsoft.Quantum.Convert
+
+```qsharp
+function ComplexAsComplexPolar(input : Complex) : ComplexPolar
+```
+
+## Summary
+Converts a complex number of type `Complex` to a complex
+number of type `ComplexPolar`.
+
+## Input
+### input
+Complex number c = x + y𝑖.
+
+## Output
+Complex number c = r⋅e^(t𝑖).

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

@@ -0,0 +1,29 @@
+---
+uid: Qdk.Microsoft.Quantum.Convert.ComplexPolarAsComplex
+title: ComplexPolarAsComplex function
+ms.date: 02/23/2024 12:00:00 AM
+ms.topic: managed-reference
+qsharp.kind: function
+qsharp.namespace: Microsoft.Quantum.Convert
+qsharp.name: ComplexPolarAsComplex
+qsharp.summary: Converts a complex number of type `ComplexPolar` to a complex number of type `Complex`.
+---
+
+# ComplexPolarAsComplex function
+
+Namespace: Microsoft.Quantum.Convert
+
+```qsharp
+function ComplexPolarAsComplex(input : ComplexPolar) : Complex
+```
+
+## Summary
+Converts a complex number of type `ComplexPolar` to a complex
+number of type `Complex`.
+
+## Input
+### input
+Complex number c = r⋅e^(t𝑖).
+
+## Output
+Complex number c = x + y𝑖.

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

@@ -0,0 +1,21 @@
+---
+uid: Qdk.Microsoft.Quantum.Convert.IntAsBigInt
+title: IntAsBigInt function
+ms.date: 02/23/2024 12:00:00 AM
+ms.topic: managed-reference
+qsharp.kind: function
+qsharp.namespace: Microsoft.Quantum.Convert
+qsharp.name: IntAsBigInt
+qsharp.summary: Converts a given integer to an equivalent big integer.
+---
+
+# IntAsBigInt function
+
+Namespace: Microsoft.Quantum.Convert
+
+```qsharp
+function IntAsBigInt(number : Int) : BigInt
+```
+
+## Summary
+Converts a given integer to an equivalent big integer.

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

@@ -0,0 +1,35 @@
+---
+uid: Qdk.Microsoft.Quantum.Convert.IntAsBoolArray
+title: IntAsBoolArray function
+ms.date: 02/23/2024 12:00:00 AM
+ms.topic: managed-reference
+qsharp.kind: function
+qsharp.namespace: Microsoft.Quantum.Convert
+qsharp.name: IntAsBoolArray
+qsharp.summary: Produces a binary representation of a non-negative integer, using the little-endian representation for the returned array.
+---
+
+# IntAsBoolArray function
+
+Namespace: Microsoft.Quantum.Convert
+
+```qsharp
+function IntAsBoolArray(number : Int, bits : Int) : Bool[]
+```
+
+## Summary
+Produces a binary representation of a non-negative integer, using the
+little-endian representation for the returned array.
+
+## Input
+### number
+A non-negative integer to be converted to an array of Boolean values.
+### bits
+The number of bits in the binary representation of `number`.
+
+## Output
+An array of Boolean values representing `number`.
+
+## Remarks
+The input `bits` must be non-negative.
+The input `number` must be between 0 and 2^bits - 1.

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

@@ -0,0 +1,21 @@
+---
+uid: Qdk.Microsoft.Quantum.Convert.IntAsDouble
+title: IntAsDouble function
+ms.date: 02/23/2024 12:00:00 AM
+ms.topic: managed-reference
+qsharp.kind: function
+qsharp.namespace: Microsoft.Quantum.Convert
+qsharp.name: IntAsDouble
+qsharp.summary: Converts a given integer to an equivalent double-precision floating-point number.
+---
+
+# IntAsDouble function
+
+Namespace: Microsoft.Quantum.Convert
+
+```qsharp
+function IntAsDouble(number : Int) : Double
+```
+
+## Summary
+Converts a given integer to an equivalent double-precision floating-point number.

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

@@ -0,0 +1,29 @@
+---
+uid: Qdk.Microsoft.Quantum.Convert.ResultArrayAsBoolArray
+title: ResultArrayAsBoolArray function
+ms.date: 02/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

@@ -0,0 +1,34 @@
+---
+uid: Qdk.Microsoft.Quantum.Convert.ResultArrayAsInt
+title: ResultArrayAsInt function
+ms.date: 02/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

@@ -0,0 +1,29 @@
+---
+uid: Qdk.Microsoft.Quantum.Convert.ResultAsBool
+title: ResultAsBool function
+ms.date: 02/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.Core/IsRangeEmpty.md

@@ -0,0 +1,32 @@
+---
+uid: Qdk.Microsoft.Quantum.Core.IsRangeEmpty
+title: IsRangeEmpty function
+ms.date: 02/23/2024 12:00:00 AM
+ms.topic: managed-reference
+qsharp.kind: function
+qsharp.namespace: Microsoft.Quantum.Core
+qsharp.name: IsRangeEmpty
+qsharp.summary: Returns true if and only if the input range is empty.
+---
+
+# IsRangeEmpty function
+
+Namespace: Microsoft.Quantum.Core
+
+```qsharp
+function IsRangeEmpty(rng : Range) : Bool
+```
+
+## Summary
+Returns true if and only if the input range is empty.
+
+## Input
+### rng
+Any range
+
+## Output
+True, if and only if `rng` is empty
+
+## Remark
+This function needs to check at most one range index
+to determine whether the range is empty.

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

@@ -0,0 +1,28 @@
+---
+uid: Qdk.Microsoft.Quantum.Core.Length
+title: Length function
+ms.date: 02/23/2024 12:00:00 AM
+ms.topic: managed-reference
+qsharp.kind: function
+qsharp.namespace: Microsoft.Quantum.Core
+qsharp.name: Length
+qsharp.summary: Returns the number of elements in an array.
+---
+
+# Length function
+
+Namespace: Microsoft.Quantum.Core
+
+```qsharp
+function Length<'T>(a : 'T[]) : Int
+```
+
+## Summary
+Returns the number of elements in an array.
+
+## Input
+### a
+Input array.
+
+## Output
+The total count of elements in an array.

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

@@ -0,0 +1,37 @@
+---
+uid: Qdk.Microsoft.Quantum.Core.RangeEnd
+title: RangeEnd function
+ms.date: 02/23/2024 12:00:00 AM
+ms.topic: managed-reference
+qsharp.kind: function
+qsharp.namespace: Microsoft.Quantum.Core
+qsharp.name: RangeEnd
+qsharp.summary: Returns the defined end value of the given range, which is not necessarily the last element in the sequence.
+---
+
+# RangeEnd function
+
+Namespace: Microsoft.Quantum.Core
+
+```qsharp
+function RangeEnd(r : Range) : Int
+```
+
+## Summary
+Returns the defined end value of the given range,
+which is not necessarily the last element in the sequence.
+
+## Input
+### r
+Input range.
+
+## Output
+The defined end value of the given range.
+
+## Remarks
+A range expression's first element is `start`,
+its second element is `start+step`, third element is `start+step+step`, etc.,
+until `end` is passed.
+
+Note that the defined end value of a range can differ from the last element in the sequence specified by the range;
+for example, in a range 0 .. 2 .. 5 the last element is 4 but the end value is 5.

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

@@ -0,0 +1,32 @@
+---
+uid: Qdk.Microsoft.Quantum.Core.RangeReverse
+title: RangeReverse function
+ms.date: 02/23/2024 12:00:00 AM
+ms.topic: managed-reference
+qsharp.kind: function
+qsharp.namespace: Microsoft.Quantum.Core
+qsharp.name: RangeReverse
+qsharp.summary: Returns a new range which is the reverse of the input range.
+---
+
+# RangeReverse function
+
+Namespace: Microsoft.Quantum.Core
+
+```qsharp
+function RangeReverse(r : Range) : Range
+```
+
+## Summary
+Returns a new range which is the reverse of the input range.
+
+## Input
+### r
+Input range.
+
+## Output
+A new range that is the reverse of the given range.
+
+## Remarks
+Note that the reverse of a range is not simply `end`..`-step`..`start`, because
+the actual last element of a range may not be the same as `end`.

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

@@ -0,0 +1,36 @@
+---
+uid: Qdk.Microsoft.Quantum.Core.RangeStart
+title: RangeStart function
+ms.date: 02/23/2024 12:00:00 AM
+ms.topic: managed-reference
+qsharp.kind: function
+qsharp.namespace: Microsoft.Quantum.Core
+qsharp.name: RangeStart
+qsharp.summary: Returns the defined start value of the given range.
+---
+
+# RangeStart function
+
+Namespace: Microsoft.Quantum.Core
+
+```qsharp
+function RangeStart(r : Range) : Int
+```
+
+## Summary
+Returns the defined start value of the given range.
+
+## Input
+### r
+Input range.
+
+## Output
+The defined start value of the given range.
+
+## Remarks
+A range expression's first element is `start`,
+its second element is `start+step`, third element is `start+step+step`, etc.,
+until `end` is passed.
+
+Note that the defined start value of a range is the same as the first element of the sequence,
+unless the range specifies an empty sequence (for example, 2 .. 1).

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

@@ -0,0 +1,33 @@
+---
+uid: Qdk.Microsoft.Quantum.Core.RangeStep
+title: RangeStep function
+ms.date: 02/23/2024 12:00:00 AM
+ms.topic: managed-reference
+qsharp.kind: function
+qsharp.namespace: Microsoft.Quantum.Core
+qsharp.name: RangeStep
+qsharp.summary: Returns the integer that specifies how the next value of a range is calculated.
+---
+
+# RangeStep function
+
+Namespace: Microsoft.Quantum.Core
+
+```qsharp
+function RangeStep(r : Range) : Int
+```
+
+## Summary
+Returns the integer that specifies how the next value of a range is calculated.
+
+## Input
+### r
+Input range.
+
+## Output
+The defined step value of the given range.
+
+## Remarks
+A range expression's first element is `start`,
+its second element is `start+step`, third element is `start+step+step`, etc.,
+until `end` is passed.

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

@@ -0,0 +1,36 @@
+---
+uid: Qdk.Microsoft.Quantum.Core.Repeated
+title: Repeated function
+ms.date: 02/23/2024 12:00:00 AM
+ms.topic: managed-reference
+qsharp.kind: function
+qsharp.namespace: Microsoft.Quantum.Core
+qsharp.name: Repeated
+qsharp.summary: Creates an array of given length with all elements equal to given value.
+---
+
+# Repeated function
+
+Namespace: Microsoft.Quantum.Core
+
+```qsharp
+function Repeated<'T>(value : 'T, length : Int) : 'T[]
+```
+
+## Summary
+Creates an array of given length with all elements equal to given value.
+
+## Input
+### value
+The value of each element of the new array.
+### length
+Length of the new array.
+
+## Output
+A new array of length `length`, such that every element is `value`.
+
+## Example
+The following code creates an array of 3 Boolean values, each equal to `true`:
+```qsharp
+let array = Repeated(true, 3);
+```

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

@@ -0,0 +1,18 @@
+---
+uid: Qdk.Microsoft.Quantum.Diagnostics.CheckAllZero
+title: CheckAllZero operation
+ms.date: 02/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

@@ -0,0 +1,47 @@
+---
+uid: Qdk.Microsoft.Quantum.Diagnostics.CheckOperationsAreEqual
+title: CheckOperationsAreEqual operation
+ms.date: 02/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

@@ -0,0 +1,18 @@
+---
+uid: Qdk.Microsoft.Quantum.Diagnostics.CheckZero
+title: CheckZero operation
+ms.date: 02/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.Diagnostics/DumpMachine.md

@@ -0,0 +1,18 @@
+---
+uid: Qdk.Microsoft.Quantum.Diagnostics.DumpMachine
+title: DumpMachine function
+ms.date: 02/23/2024 12:00:00 AM
+ms.topic: managed-reference
+qsharp.kind: function
+qsharp.namespace: Microsoft.Quantum.Diagnostics
+qsharp.name: DumpMachine
+qsharp.summary: 
+---
+
+# DumpMachine function
+
+Namespace: Microsoft.Quantum.Diagnostics
+
+```qsharp
+function DumpMachine() : Unit
+```

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

@@ -0,0 +1,20 @@
+---
+uid: Qdk.Microsoft.Quantum.Diagnostics.Fact
+title: Fact function
+ms.date: 02/23/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.
+---
+
+# Fact function
+
+Namespace: Microsoft.Quantum.Diagnostics
+
+```qsharp
+function Fact(actual : Bool, message : String) : Unit
+```
+
+Checks whether a classical condition is true, and throws an exception if it is not.

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

@@ -0,0 +1,35 @@
+---
+uid: Qdk.Microsoft.Quantum.Intrinsic.CCNOT
+title: CCNOT operation
+ms.date: 02/23/2024 12:00:00 AM
+ms.topic: managed-reference
+qsharp.kind: operation
+qsharp.namespace: Microsoft.Quantum.Intrinsic
+qsharp.name: CCNOT
+qsharp.summary: Applies the doubly controlled–NOT (CCNOT) gate to three qubits.
+---
+
+# CCNOT operation
+
+Namespace: Microsoft.Quantum.Intrinsic
+
+```qsharp
+operation CCNOT(control1 : Qubit, control2 : Qubit, target : Qubit) : Unit is Adj + Ctl
+```
+
+## Summary
+Applies the doubly controlled–NOT (CCNOT) gate to three qubits.
+
+## Input
+### control1
+First control qubit for the CCNOT gate.
+### control2
+Second control qubit for the CCNOT gate.
+### target
+Target qubit for the CCNOT gate.
+
+## Remarks
+Equivalent to:
+```qsharp
+Controlled X([control1, control2], target);
+```

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

@@ -0,0 +1,47 @@
+---
+uid: Qdk.Microsoft.Quantum.Intrinsic.CNOT
+title: CNOT operation
+ms.date: 02/23/2024 12:00:00 AM
+ms.topic: managed-reference
+qsharp.kind: operation
+qsharp.namespace: Microsoft.Quantum.Intrinsic
+qsharp.name: CNOT
+qsharp.summary: Applies the controlled-NOT (CNOT) gate to a pair of qubits.
+---
+
+# CNOT operation
+
+Namespace: Microsoft.Quantum.Intrinsic
+
+```qsharp
+operation CNOT(control : Qubit, target : Qubit) : Unit is Adj + Ctl
+```
+
+## Summary
+Applies the controlled-NOT (CNOT) gate to a pair of qubits.
+
+## Input
+### control
+Control qubit for the CNOT gate.
+### target
+Target qubit for the CNOT gate.
+
+## Remarks
+$$
+\begin{align}
+    \operatorname{CNOT} \mathrel{:=}
+    \begin{bmatrix}
+        1 & 0 & 0 & 0 \\\\
+        0 & 1 & 0 & 0 \\\\
+        0 & 0 & 0 & 1 \\\\
+        0 & 0 & 1 & 0
+    \end{bmatrix},
+\end{align}
+$$
+
+where rows and columns are ordered as in the quantum concepts guide.
+
+Equivalent to:
+```qsharp
+Controlled X([control], target);
+```