SingleQubitClifford user defined type

Warning

This documentation refers to the Classic QDK, which has been replaced by the Modern QDK.

Please see https://aka.ms/qdk.api for the API documentation for the Modern QDK.

An element of the single-qubit Clifford group.


newtype SingleQubitClifford = (E : Int, S : Int, X : Int, Omega : Int);

Named Items

The power to which $E$ should be raised to generate this element.

The power to which $S$ should be raised to generate this element.

The power to which $X$ should be raised to generate this element.

The power to which $\omega$ should be raised to generate this element.

Each element is represented as as $E^{i} S^{j} X^{k} \omega^{\ell}$, where $\omega^8 = 1$ and where $E = H S^3 \omega^3$.

let identity = SingleQubitClifford((0, 0, 0, 0));
let xClifford = SingleQubitClifford((0, 0, 1, 0));