Noncommutative_geometry loading ...