Rz operation

Applies a rotation about the $z$-axis by a given angle, \begin{align} R_z(\theta) \mathrel{:=} e^{-i \theta \sigma_z / 2}. \end{align}

operation Rz (theta : Double, qubit : Qubit) : ()
Functors
Adjoint Controlled

Input

theta
Double

Angle about which the qubit is to be rotated.

qubit
Qubit

Qubit to which the gate should be applied.

Output

()

Remarks

Equivalent to:

R(PauliZ, theta, qubit);