R1Frac operation
Applies a rotation about the $\ket{1}$ state by an angle specified as a dyadic fraction, \begin{align} R_1(n, k) \mathrel{:=} \operatorname{diag}(1, e^{i \pi k / 2^n}). \end{align}
operation R1Frac (numerator : Int, power : Int, qubit : Qubit) : ()
 Functors

Adjoint Controlled
Input
 numerator
 Int
Numerator in the dyadic fraction representation of the angle by which the qubit is to be rotated.
 power
 Int
Power of two specifying the denominator of the angle by which the qubit is to be rotated.
 qubit
 Qubit
Qubit to which the gate should be applied.
Output
()
Remarks
Equivalent to:
RFrac(PauliZ, numerator, denominator + 1, qubit);
RFrac(PauliI, numerator, denominator + 1, qubit);