Exp operation

Applies the exponential of a multi-qubit Pauli operator \begin{align} e^{i \theta [P_0 \otimes P_1 \cdots P_N]}, \end{align} where $P_i$ is the $i$th element of paulis, and where $N =$Length(paulis).

operation Exp (paulis : Pauli[], theta : Double, qubits : Qubit[]) : ()
Functors

Input

paulis
Pauli[]

Array of single-qubit Pauli values indicating the tensor product factors on each qubit.

theta
Double

Angle about the given multiqubit Pauli operator by which the target register is to be rotated.

qubits
Qubit[]

Register to apply the given rotation to.

()