# 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.

()

## Remarks

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