Differential_geometry loading ...