Charts, transitions, subsets with restrictions defined using NNC_Polyhedron

[mkoeppe]

pplpy provides NNC_Polyhedron - not-necessarily closed rational polyhedra.

We extend the restrictions code to handle NNC polyhedra as an alternative to SR inequalities (in suitable special cases).

In addition to possible speedups for valid_coordinates, _check_restrictions, this provides a way to rigorously decide the emptiness of some subsets. #31732

Depends on #31732

CC: @egourgoulhon @mjungmath @tscrim @yuan-zhou

Component: manifolds

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

[mkoeppe]

Dependencies: #31732