Affine_algebraic_variety loading ...