R1 operation

Applies a rotation about the $\ket{1}$ state by a given angle.

\begin{align} R_1(\theta) \mathrel{:=} \operatorname{diag}(1, e^{i\theta}). \end{align}

operation R1 (theta : Double, qubit : Qubit) : Unit
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

Unit

Remarks

Equivalent to:

R(PauliZ, theta, qubit);
R(PauliI, -theta, qubit);