完全限定名称：Std.Intrinsic.R1
operation R1(theta : Double, qubit : Qubit) : Unit is Adj + Ctl
总结
按给定角度应用有关 |1⟩状态的旋转。
输入
西塔
要旋转量子比特的角度。
量子比特
应向其应用门的量子位。
言论
$$ \begin{align} R_1（\theta） \mathrel{：=} \operatorname{diag}（1， e^{i\theta}）。 \end{align} $$
等效于：
R(PauliZ, theta, qubit);
R(PauliI, -theta, qubit);