math_groups_discgeom