Inconsistency in the .is_lattice_polytope() method

[jplab]

The .is_lattice_polytope() method states that it requires the polyhedron object to be compact, but it still returns True if it is not.

sage: P1 = Polyhedron(vertices = [[1, 0], [0, 1]], rays = [[1, 1]])
sage: P1.is_compact()
False
sage: P1.is_lattice_polytope??
Signature: P1.is_lattice_polytope()
Source:   
    def is_lattice_polytope(self):
        r"""
        Return whether the polyhedron is a lattice polytope.

        OUTPUT:

        ``True`` if the polyhedron is compact and has only integral
        vertices, ``False`` otherwise.

        EXAMPLES::

            sage: polytopes.cross_polytope(3).is_lattice_polytope()
            True
            sage: polytopes.regular_polygon(5).is_lattice_polytope()
            False
        """
        return True
File:      ~SAGE_ROOT/local/lib/python2.7/site-packages/sage/geometry/polyhedron/base_ZZ.py
Type:      instancemethod
sage: P1.is_lattice_polytope()
True

CC: @mo271 @mkoeppe @videlec @novoselt

Component: geometry

Keywords: lattice polytope

Author: Frédéric Chapoton

Branch/Commit: b522220

Reviewer: Jean-Philippe Labbé

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

[fchapoton]

Commit: fcff2ad

[fchapoton]

comment:1

here is a try

---

New commits:

fcff2ad

trac 22622 better check for lattice polytopes

[fchapoton]

Branch: u/chapoton/22622

[jplab]

comment:2

Looks good to me. Thanks for the quick fix!

[jplab]

Author: Frédéric Chapoton

[jplab]

Reviewer: Jean-Philippe Labbé

[vbraun]

comment:4

Merge conflict