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}

Warning

This operation uses the opposite sign convention from R, and does not include the factor of $1/ 2$ included by R1.

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);