NonEuclidean_geometry loading ...