Projective_algebraic_set loading ...