Generalized_dihedral_group loading ...