Polyhedral_set loading ...