Libraries.Synthesis.RotationDecomposition

Elementary rotations

data ElementaryRot a

matrix_of_elementary

matrix_of_elementaries

Decomposition into elementary rotations

rotation_decomposition

Auxiliary functions

twolevel_matrix_of_matrix

get_phase

rowop

Testing

random_unitary

test