Clifford+T interchange format
Matrices in U(2) and SO(3)
Matrices in U(2)
Matrices in SO(3)
Conversions
Matsumoto-Amano normal forms
Representation of normal forms
Group operations on normal forms
Conversion to normal form
Exact synthesis
Synthesis from SO(3)
Synthesis from U(2)
Compact representation of normal forms