Move integration and volume to Polyhedron_base7

[kliem]

Part of #32651.

We also move cdd_Vrepresentation and cdd_Hrepresentation to Polyhedron_base0.

CC: @mkoeppe

Component: geometry

Author: Jonathan Kliem

Branch/Commit: f3c68a5

Reviewer: Matthias Koeppe

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

[kliem]

Branch: u/gh-kliem/polyhedron_base7

[sagetrac-git]

Commit: 0e74fa5

[sagetrac-git]

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

70267aa	move integration and volume to base7
0e74fa5	a bit of documentation

[mkoeppe]

comment:4

With lrslib installed:

sage -t --long --random-seed=30473451679236788317468564983261889666 src/sage/geometry/polyhedron/base7.py
**********************************************************************
File "src/sage/geometry/polyhedron/base7.py", line 310, in sage.geometry.polyhedron.base7.Polyhedron_base7._volume_lrs
Failed example:
    polytopes.hypercube(3)._volume_lrs() # optional - lrslib
Exception raised:
    Traceback (most recent call last):
      File "/Users/mkoeppe/s/sage/sage-rebasing/worktree-gcc11/src/sage/doctest/forker.py", line 695, in _run
        self.compile_and_execute(example, compiler, test.globs)
      File "/Users/mkoeppe/s/sage/sage-rebasing/worktree-gcc11/src/sage/doctest/forker.py", line 1093, in compile_and_execute
        exec(compiled, globs)
      File "<doctest sage.geometry.polyhedron.base7.Polyhedron_base7._volume_lrs[0]>", line 1, in <module>
        polytopes.hypercube(Integer(3))._volume_lrs() # optional - lrslib
      File "/Users/mkoeppe/s/sage/sage-rebasing/worktree-gcc11/src/sage/geometry/polyhedron/base7.py", line 339, in _volume_lrs
        ans = bytes_to_str(ans)
    NameError: name 'bytes_to_str' is not defined

[sagetrac-git]

Changed commit from 0e74fa5 to c8c3f53

[sagetrac-git]

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

c8c3f53

move bytes_to_str import

[kliem]

comment:6

Thanks for the catch.

[mkoeppe]

comment:7

sage -t --long --random-seed=321325385952855352170964946242932397043 src/sage/geometry/polyhedron/base7.py
**********************************************************************
File "src/sage/geometry/polyhedron/base7.py", line 311, in sage.geometry.polyhedron.base7.Polyhedron_base7._volume_lrs
Failed example:
    polytopes.hypercube(3)._volume_lrs() # optional - lrslib
Exception raised:
    Traceback (most recent call last):
      File "/Users/mkoeppe/s/sage/sage-rebasing/worktree-gcc11/src/sage/doctest/forker.py", line 695, in _run
        self.compile_and_execute(example, compiler, test.globs)
      File "/Users/mkoeppe/s/sage/sage-rebasing/worktree-gcc11/src/sage/doctest/forker.py", line 1093, in compile_and_execute
        exec(compiled, globs)
      File "<doctest sage.geometry.polyhedron.base7.Polyhedron_base7._volume_lrs[0]>", line 1, in <module>
        polytopes.hypercube(Integer(3))._volume_lrs() # optional - lrslib
      File "/Users/mkoeppe/s/sage/sage-rebasing/worktree-gcc11/src/sage/geometry/polyhedron/base7.py", line 349, in _volume_lrs
        volume = QQ(volume)
    NameError: name 'QQ' is not defined

[sagetrac-git]

Changed commit from c8c3f53 to f3c68a5

[sagetrac-git]

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

f3c68a5

missing import of QQ

[kliem]

comment:9

lrslib works for me now.

[mkoeppe]

Reviewer: Matthias Koeppe

[kliem]

comment:11

Thank you.

[vbraun]

Changed branch from u/gh-kliem/polyhedron_base7 to f3c68a5