Group_of_rational_points_on_the_unit_circle loading ...