R operation

Applies a rotation about the given Pauli axis, \begin{align} R_{\mu}(\theta) \mathrel{:=} e^{-i \theta \sigma_{\mu} / 2}, \end{align} where $\mu \in {I, X, Y, Z}$.

operation R (pauli : Pauli, theta : Double, qubit : Qubit) : ()
Functors
Adjoint Controlled

Input

pauli
Pauli

Pauli operator ($\mu$) to be exponentiated to form the rotation.

theta
Double

Angle about which the qubit is to be rotated.

qubit
Qubit

Qubit to which the gate should be applied.

Output

()

Remarks

When called with pauli = PauliI, this operation applies a global phase. This phase can be significant when used with the Controlled functor.