AssertAllZeroFxP 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.Numerics

Asserts that a quantum fixed-point number is initialized to zero.

operation AssertAllZeroFxP (fp : Microsoft.Quantum.Arithmetic.FixedPoint) : Unit is Adj + Ctl

Description

This assertion succeeds when all qubits are in state $\ket{0}$, representing that the register encodes the fixed-point number $0.0$.

Input

fp : FixedPoint

Output : Unit