The Polyhedron class is, so far, free-standing with some sort of coercion for the base ring tacked manually. This ticket strives to add parents for polyhedra and make the base ring coercion work more naturally.

There will be 3 supported base rings:

• ZZ (meaning that the polyhedron is a lattice polytope, that is, both H- and V-representation are defined over ZZ)
• QQ
• RDF

Apply:

• attachment: trac_11763-polyhedra_coercion_folded.3.patch
• attachment: trac_11763_fix_associahedron.patch
• attachment: trac_11763_lazy_import.patch

Depends on #11634
Depends on #13109
Depends on #11310

CC: @robertwb

Component: geometry

Author: Volker Braun

Reviewer: Dmitrii Pasechnik

Merged: sage-5.6.beta1

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