Opération R

Nom complet : Std.Intrinsic.R

operation R(pauli : Pauli, theta : Double, qubit : Qubit) : Unit is Adj + Ctl

Résumé

Applique une rotation sur l’axe de Pauli donné.

Entrée

Pauli

Opérateur Pauli (μ) à exposer pour former la rotation.

thêta

Angle en radians sur lequel le qubit doit être pivoté.

qubit

Qubit auquel la porte doit être appliquée.

Remarques

$$ \begin{align} R_{\mu}(\theta) \mathrel{ :=} e^{-i \theta \sigma_{\mu} / 2}, \end{align} $$ où $\mu \in {I, X, Y, Z}$.

Lorsqu’elle est appelée avec pauli = PauliI, cette opération applique une phase globale . Cette phase peut être significative lorsqu’elle est utilisée avec le fonctor Controlled.