Polyhedral_group loading ...