Libraries.Synthesis.Clifford

The Clifford group

data Clifford

Constructors

clifford_X

clifford_Y

clifford_Z

clifford_H

clifford_S

clifford_SH

clifford_E

clifford_W

class ToClifford a

Deconstructors

clifford_decompose

data Axis

clifford_decompose_coset

Group operations

clifford_id

clifford_mult

clifford_inv

Conjugation by T

clifford_tconj