Run test suite to check method dilation

[kliem]

We add a method to Polyhedron_base that tests the method dilation.

This ticket discovered a bug that is fixed in #29899.

Depends on #29899
Depends on #29903
Depends on #29905

CC: @jplab @LaisRast

Component: geometry

Keywords: polyhedra, test suite

Author: Jonathan Kliem

Branch/Commit: 25152f6

Reviewer: Matthias Koeppe

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

[kliem]

Branch: public/29907

[kliem]

Commit: 3cb69aa

[kliem]

Last 10 new commits:

5c7e562	fix double description of hypercube
206dbb7	merged in public/29904
c6ea1ec	added long time flags
5d79b2b	some more testsuites
e41d698	fix universe from Hrep for cdd
e055bc7	correctly detect the empty polyhedron
7eba64d	trivial inequality
067fb16	also fix it for initialization from Hrep and Vrep
3a6559b	Merge branch 'public/29899' of git://trac.sagemath.org/sage into public/29907
3cb69aa	add _test_dilation

[sagetrac-git]

Changed commit from 3cb69aa to bb6110c

[sagetrac-git]

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

bb6110c

pyflakes

[kliem]

Changed dependencies from #29899, #29903 to #29899, #29903, #29905

[sagetrac-git]

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

6eaf649	test some basic properties
d91c526	Merge branch 'public/29905' of git://trac.sagemath.org/sage into public/29907
966210e	really test the correct double description

[sagetrac-git]

Changed commit from bb6110c to 966210e

[kliem]

comment:5

It turns out that the equality check doesn't always detect if a polyhedron is set up correctly. It just assumes this. It will discover this in many instances, but there is no guarantee.

On the other hand the method _test_basic_properties was just introduced to do precisely that (and some other basic properties).

[sagetrac-git]

Changed commit from 966210e to 75b97b4

[sagetrac-git]

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

75b97b4

typo

[mkoeppe]

comment:7

Needs rebase

[kliem]

Changed commit from 75b97b4 to 25152f6

[kliem]

Changed branch from public/29907 to public/29907-reb

[kliem]

New commits:

9a57836	fixed merge conflict
25152f6	small fix

[mkoeppe]

Reviewer: Matthias Koeppe

[kliem]

comment:10

Thank you.

[vbraun]

Changed branch from public/29907-reb to 25152f6