AssertMostSignificantBit operation

Warning

This documentation refers to the Classic QDK, which has been replaced by the Modern QDK.

Please see https://aka.ms/qdk.api for the API documentation for the Modern QDK.

Namespace: Microsoft.Quantum.Arithmetic

Package: Microsoft.Quantum.Standard

Asserts that the most significant qubit of a qubit register representing an unsigned integer is in a particular state.

operation AssertMostSignificantBit (value : Result, number : Microsoft.Quantum.Arithmetic.LittleEndian) : Unit is Adj + Ctl

Input

value : Result

The value of the highest bit being asserted.

number : LittleEndian

Unsigned integer of which the highest bit is checked.

Output : Unit

Remarks

The controlled version of this operation ignores controls.

See Also