is_pyramid returns a wrong certificate

[LaisRast]

The method is_pyramid of CombinatorialPolyhedron returns a wrong certificate:

sage: Polyhedron([[0, -1, -1], [0, -1, 1], [0, 1, -1], [0, 1, 1], [1, 0, 0]]).is_pyramid(certificate=True)
(True, A vertex at (0, -1, -1))

This bug introduced in #29189; the indexing in _face_iter(True, 0) is different from the indexing in Vrepresentation.

CC: @jplab @kliem

Component: geometry

Keywords: polytope, combinatorialpolyhedron, is_pyramid

Author: Jonathan Kliem

Branch/Commit: 4c5c730

Reviewer: Matthias Koeppe

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

[kliem]

comment:1

Thanks for catching this. Stupid mistake.

[kliem]

New commits:

fb22b48

fix certificate for pyramid

[kliem]

Branch: public/30292

[kliem]

Author: Jonathan Kliem

[kliem]

Commit: fb22b48

[mkoeppe]

comment:3

Perhaps there should be a _test... method that checks the certificate?

[sagetrac-git]

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

4c5c730

add method `_test_pyramid`

[sagetrac-git]

Changed commit from fb22b48 to 4c5c730

[mkoeppe]

Reviewer: Matthias Koeppe

[kliem]

comment:7

Thank you.

[vbraun]

Changed branch from public/30292 to 4c5c730