Opération R1
Nom complet : Std.Intrinsic.R1
operation R1(theta : Double, qubit : Qubit) : Unit is Adj + Ctl
Résumé
Applique une rotation à propos de l’état $|1⟩$ par un angle donné.
Entrée
thêta
Angle sur lequel le qubit doit être pivoté.
qubit
Qubit auquel la porte doit être appliquée.
Remarques
$$ \begin{align} R_1(\theta) \mathrel{ :=} \operatorname{diag}(1, e^{i\theta}). \end{align} $$
Équivalent à :
R(PauliZ, theta, qubit);
R(PauliI, -theta, qubit);