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) : ()
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

Equivlent to:

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