ExpFrac operation
Applies the exponential of a multiqubit Pauli operator
with an argument given by a dyadic fraction,
\begin{align}
e^{i \theta \pi k [P_0 \otimes P_1 \cdots P_N] / 2^n},
\end{align}
where $P_i$ is the $i$th element of paulis
, and where
$N = $Length(paulis)
.
operation ExpFrac (paulis : Pauli[], numerator : Int, power : Int, qubits : Qubit[]) : ()
 Functors

Adjoint Controlled
Input
 paulis
 Pauli[]
Array of singlequbit Pauli values indicating the tensor product factors on each qubit.
 numerator
 Int
Numerator ($k$) in the dyadic fraction representation of the angle by which the qubit register is to be rotated.
 power
 Int
Power of two ($n$) specifying the denominator of the angle by which the qubit register is to be rotated.
 qubits
 Qubit[]
Register to apply the given rotation to.
Output
()