Split initialization and basic access of polyhedra out as a separate module

[kliem]

Part of #32651.

Outsource initialization and very basic access (Vrepresentation, Hrepresentation, backend, base_ring) to a base class Polyhedron_base0.

Depends on #32637

CC: @kliem @jplab @tscrim @mkoeppe

Component: geometry

Author: Jonathan Kliem

Branch/Commit: 078cc56

Reviewer: Matthias Koeppe

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

[mkoeppe]

comment:2

Should dim, ambient_dim rather be in base_convex?

[kliem]

comment:3

I think your suggestion makes more sense. They are not needed there yet, except for __repr__, which should also move up, as it isn't complete then.

[sagetrac-git]

Changed commit from 9a48bd9 to 6dfadb8

[sagetrac-git]

Branch pushed to git repo; I updated commit sha1. New commits:

6dfadb8

leave dim and ambient_dim for convex set

[kliem]

comment:5

Regarding the names, I don't know what makes most sense. I was thinking base0.py etc., as it is clear then, what the order is. However, we are not doing cython, so we don't need to be strict with inheritance and could use names also and try to have it more or less consistent.

[mkoeppe]

comment:6

The random failure

sage -t --long --random-seed=77478494819088915365500074763386376542 src/sage/rings/continued_fraction.py
**********************************************************************
File "src/sage/rings/continued_fraction.py", line 265, in sage.rings.continued_fraction.rat_interval_cf_list

is probably not from this ticket.

[mkoeppe]

comment:7

base0 is fine, I think

[mkoeppe]

comment:9

pyflakes reports:

src/sage/geometry/polyhedron/base.py:42:1 'sage.misc.superseded.deprecated_function_alias' imported but unused

[mkoeppe]

Dependencies: #32637

[mkoeppe]

Changed branch from u/gh-kliem/polyhedron_base0 to u/mkoeppe/polyhedron_base0