Part of #32651.
We also move _is_subpolyhedron and _richcmp_ to Polyhedron_base1. Although not defined for all convex sets, _richcmp_ is tested by the convex set only.
Component: geometry
Author: Jonathan Kliem
Branch/Commit: 10dd56d
Reviewer: Matthias Koeppe
Issue created by migration from https://trac.sagemath.org/ticket/32876