Affine_algebraic_set loading ...