Libraries.Synthesis.CliffordT

Clifford+T interchange format

data Gate

class ToGates a

class FromGates a

invert_gates

convert

Matrices in U(2) and SO(3)

Matrices in U(2)

u2_X

u2_Y

u2_Z

u2_H

u2_S

u2_T

u2_E

u2_W

u2_of_gate

Matrices in SO(3)

so3_X

so3_Y

so3_Z

so3_H

so3_S

so3_E

so3_T

so3_of_gate

Conversions

so3_of_u2

so3_of_clifford

clifford_of_so3

Matsumoto-Amano normal forms

Representation of normal forms

data NormalForm

data Syllables

normalform_append

Group operations on normal forms

nf_id

nf_mult

nf_inv

Conversion to normal form

normalize

Exact synthesis

Synthesis from SO(3)

synthesis_bloch

Synthesis from U(2)

synthesis_u2

Compact representation of normal forms

normalform_pack

normalform_unpack

clifford_pack

clifford_unpack