AssertAllZeroWithinTolerance operation

Namespace: Microsoft.Quantum.Diagnostics

Package: Microsoft.Quantum.QSharp.Foundation

Assert that given qubits are all in $\ket{0}$ state up to a given tolerance.

operation AssertAllZeroWithinTolerance (qubits : Qubit[], tolerance : Double) : Unit is Adj + Ctl

Input

qubits : Qubit[]

Qubits that are asserted to be in $\ket{0}$ state.

tolerance : Double

Accuracy with which the state should be in $\ket{0}$ state

Output : Unit

Remarks

Note that the Adjoint and Controlled versions of this operation will not check the condition.

See Also