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} = \begin{bmatrix} e^{-i \theta / 2} & 0 \\ 0 & e^{i \theta / 2} \end{bmatrix}. \end{align}

operation Rz (theta : Double, qubit : Qubit) : Unit
Functors

Input

theta
Double

Angle about which the qubit is to be rotated.

qubit
Qubit

Qubit to which the gate should be applied.

Unit

Remarks

Equivalent to:

R(PauliZ, theta, qubit);