From #30832:

We extend the RealSet constructors (default constructor and RealSet.open etc.) so that they can optionally build manifold objects; for example if structure or name is passed. This is done via chart pullbacks (#31688).

We deprecate the global bindings RealLine and OpenInterval (which will remain available through the manifolds catalog).

This will help make the functionality more discoverable. There are just too many global constructors: Reals, RealLine, RealSet, RealInterval, OpenInterval.

Depends on #31688
Depends on #32089
Depends on #30473

CC: @egourgoulhon @tscrim @mjungmath

Component: manifolds

Author: Matthias Koeppe

Branch/Commit: f85db25

Reviewer: Michael Jung, Eric Gourgoulhon

Issue created by migration from https://trac.sagemath.org/ticket/31881