Libraries.Synthesis.RotationDecomposition
data ElementaryRot a
matrix_of_elementary
matrix_of_elementaries
rotation_decomposition
twolevel_matrix_of_matrix
get_phase
rowop
random_unitary
test