Meta-ticket: Run a more stable test suite on polyhedra

[kliem]

We run more stable test for polyhedra using TestSuite.

Bug fixes:

• normaliz backend isn't ready for generators #29836: normaliz backend isn't ready for generators
• vertex facet graph for trivial polyhedra fails #29898: vertex facet graph for trivial polyhedra fails
• Two bugs with dilation #29899: Two bugs with dilation
• Broken double description of hypercube #29904: Broken double description of hypercube
• Need to convert values before passing them to cdd #30328: Need to convert values before passing them to cdd
• cdd backend fails to initialize empty polyhedron from double description #30330: cdd backend fails to initialize empty polyhedron from double description
• Fix pickling of normaliz representation objects #31820: Fix pickling of normaliz representation objects

#29903: Run test suites for many examples. (All the following tickets depend on this one.)

Add new test methods:

• test basic properties of polyhedra #29905: _test_basic_properties
• Test method is_combinatorially_isomorphic #29908is_combinatorially_equivalent,
• Run tests for an_affine_basis #29906: an_affine_basis,
• Run test suite to check method dilation #29907: dilation,
• Run test suite for gale transform #29918: gale transform
• Run test suite for product #29934: product
• bug in lawrence_extension #30293: lawrence construction
• is_pyramid returns a wrong certificate #30292: pyramid
• Run tests on combinatorial polyhedron #31821: Run the test suite of self.combinatorial_polyhedron()
• Obtain flexible maximal chains of a combinatorial polyhedron #31823: a_maximal_chain
• constructors and check such as pyramid -> is_pyramid

Depends on #29836
Depends on #29898
Depends on #29899

CC: @jplab @LaisRast

Component: geometry

Keywords: polyhedra, test suite

Branch/Commit: public/29842 @ c42b966

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

[kliem]

Dependencies: #29836

[kliem]

Changed dependencies from #29836 to #29836, #29898

[kliem]

Changed dependencies from #29836, #29898 to #29836, #29898, #29899

[kliem]

Last 10 new commits:

21f9d90	optional tag again
bc2b7b7	Merge branch 'public/29836' of git://trac.sagemath.org/sage into public/29842
b1d200b	add testsuite for dilation
e41d698	fix universe from Hrep for cdd
e055bc7	correctly detect the empty polyhedron
444a178	Merge branch 'public/29899' of git://trac.sagemath.org/sage into public/29842
7eba64d	trivial inequality
8c4c083	Merge branch 'public/29899' of git://trac.sagemath.org/sage into public/29842
067fb16	also fix it for initialization from Hrep and Vrep
383b24e	Merge branch 'public/29899' of git://trac.sagemath.org/sage into public/29842

[kliem]

Commit: 383b24e

[kliem]

Branch: public/29842

[kliem]

Description changed:

--- 
+++ 
@@ -1,3 +1,15 @@
-[#29836 comment:7](https://github.com/sagemath/sage/issues/29836#comment:7)
+We run more stable test for polyhedra using `TestSuite`.
 
-[#29836 comment:9](https://github.com/sagemath/sage/issues/29836#comment:9)
+Bug fixtures:
+
+- #29836: normaliz backend isn't ready for generators 
+- #29898: vertex facet graph for trivial polyhedra fails 
+- #29899: Two bugs with dilation
+
+Run test suites for many examples. (All the following tickets depend on this one.)
+
+Add new test methods:
+- `is_combinatorially_equivalent`,
+- `an_affine_basis`,
+- `dilation`,
+- `_test_basic_properties` (some test run to test if basic things work)

[sagetrac-git]

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

790dfbc	fix trivial vertex facet graphs
b8b8898	Merge branch 'public/29898' of git://trac.sagemath.org/sage into public/29842
6ccbe4a	test is_combinatorially_isomorphic
d7cca49	correct fix for 0-dimensional polyhedron
4eea213	Merge branch 'public/29898' of git://trac.sagemath.org/sage into public/29842
c42b966	test basic properties and test_an_affine_basis

[sagetrac-git]

Changed commit from 383b24e to c42b966