Symplectic_topology loading ...