RFrac operation

Fully qualified name: Std.Intrinsic.RFrac

operation RFrac(pauli : Pauli, numerator : Int, power : Int, qubit : Qubit) : Unit is Adj + Ctl

Summary

Applies a rotation about the given Pauli axis by an angle specified as a dyadic fraction.

WARNING: This operation uses the opposite sign convention from Microsoft.Quantum.Intrinsic.R.

Pauli operator to be exponentiated to form the rotation.

Numerator in the dyadic fraction representation of the angle by which the qubit is to be rotated. This angle is expressed in radians.

Power of two specifying the denominator of the angle by which the qubit is to be rotated. This angle is expressed in radians.

Qubit to which the gate should be applied.

$$ \begin{align} R_{\mu}(n, k) \mathrel{:=} e^{i \pi n \sigma_{\mu} / 2^k}, \end{align} $$ where $\mu \in {I, X, Y, Z}$.

Equivalent to:

// PI() is a Q# function that returns an approximation of π.
R(pauli, -2.0 * PI() * IntAsDouble(numerator) / IntAsDouble(2 ^ (power - 1)), qubit);