Symplectic_geometry loading ...