R1Frac operation

Fully qualified name: Std.Intrinsic.R1Frac

operation R1Frac(numerator : Int, power : Int, qubit : Qubit) : Unit is Adj + Ctl

Summary

Applies a rotation about the $|1⟩$ state by an angle specified as a dyadic fraction.

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

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_1(n, k) \mathrel{:=} \operatorname{diag}(1, e^{i \pi n / 2^k}). \end{align} $$

Equivalent to:

RFrac(PauliZ, -numerator, denominator + 1, qubit);
RFrac(PauliI, numerator, denominator + 1, qubit);