make stack method of Polyhedron use fraction_field

[LaisRast]

stack method of Polyhedron has the following behavior:

sage: P = polytopes.cross_polytope(4)
sage: P.stack(P.faces(3)[0])
---------------------------------------------------------------------------
TypeError                                 Traceback (most recent call last)
...
TypeError: no conversion of this rational to integer

We fix this by extending the base_ring of locus_polyhedron to its fraction_field.

CC: @jplab @kliem

Component: geometry

Keywords: polytopes, stack

Author: Laith Rastanawi

Branch/Commit: ac7882e

Reviewer: Jonathan Kliem

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

[LaisRast]

New commits:

b717357

make stack method of Polyhedron use fraction_field

[LaisRast]

Branch: public/29057

[LaisRast]

Author: Laith Rastanawi

[LaisRast]

Commit: b717357

[sagetrac-git]

Changed commit from b717357 to add3c82

[sagetrac-git]

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

adc4ca4	fix testing ticket number
add3c82	old parent changes to an appropriate base_ring

[kliem]

comment:5

Looks fine. Maybe you can add backend=self.backend() for locus polyhedron.

As the inequalities and equations are taken from our original polyhedron, the backend can always handle locus polyhedron.

[sagetrac-git]

Changed commit from add3c82 to ac7882e

[sagetrac-git]

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

ac7882e

use self.backend() in locus_polyhedron

[kliem]

Reviewer: Jonathan Kliem

[kliem]

comment:7

LGTM.

[vbraun]

Changed branch from public/29057 to ac7882e