Polyhedron_ZZ should inherit from Polyhedron_QQ, not Polyhedron_base

[mkoeppe]

This is so we can define methods that require rational data in Polyhedron_QQ, and they will become available to polyhedra defined with integral data.

CC: @jplab @videlec

Component: geometry

Keywords: days84

Author: Matthias Koeppe

Branch/Commit: 67eb1d7

Reviewer: Jean-Philippe Labbé

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

[mkoeppe]

Branch: u/mkoeppe/polyhedron_zz_should_inherit_from_polyhedron_qq__not_polyhedron_base

[mkoeppe]

New commits:

67eb1d7

Change Polyhedron_ZZ to inherit from Polyhedron_QQ, not Polyhedron_base

[mkoeppe]

Commit: 67eb1d7

[mkoeppe]

Author: Matthias Koeppe

[mkoeppe]

Description changed:

--- 
+++ 
@@ -1 +1 @@
-This is so we can define methods that require rational data in `Polyhedron_QQ`.
+This is so we can define methods that require rational data in `Polyhedron_QQ`, and they will become available to polyhedra defined with integral data.

[jplab]

Reviewer: Jean-Philippe Labbé

[jplab]

comment:4

All tests pass on the base classes files and the library of polytopes.

LGTM, once the bot gives the green light, I'll change it to positive review.

[jplab]

Changed keywords from none to days84

[jplab]

comment:6

Any idea why it does not build on the bot?

[mkoeppe]

comment:7

As far as I can see, the build failed because of an unrelated error (upstream package lrslib-062+autotools-2017-03-03.tar.gz not present on mirrors -- this seems to have been fixed since)

[jplab]

comment:8

The last bot test passed on 7.6.rc0. This looks good to me.

[mkoeppe]

comment:9

Thank you!

[vbraun]

Changed branch from u/mkoeppe/polyhedron_zz_should_inherit_from_polyhedron_qq__not_polyhedron_base to 67eb1d7