Comment by dsqrt

You should check out Sage Manifolds [1]. It's built on top of Sage Math, but I think it can also use SymPy as computational engine.

[1] https://sagemanifolds.obspm.fr/