Operación R1
Nombre completo: Std.Intrinsic.R1
operation R1(theta : Double, qubit : Qubit) : Unit is Adj + Ctl
Resumen
Aplica un giro sobre el estado |1⟩ por un ángulo determinado.
Entrada
theta
Ángulo sobre el que se va a girar el cúbit.
cúbit
Cúbit al que se debe aplicar la puerta.
Observaciones
$$ \begin{align} R_1(\theta) \mathrel{:=} \operatorname{diag}(1, e^{i\theta}). \end{align} $$
Equivalente a:
R(PauliZ, theta, qubit);
R(PauliI, -theta, qubit);