Noncommutative_topology loading ...