Definitions for "GUGA"
(Graphical Unitary Group Approximation)