Computing VERTICES of algebraic polyhedron crashes polymake 3.1

Questions and problems about using polymake go here.
mkoeppe
Posts: 17
Joined: 27 Jun 2016, 19:44

Computing VERTICES of algebraic polyhedron crashes polymake 3.1

Postby mkoeppe » 29 Mar 2017, 08:26

The attached polyhedron whose H-rep uses QuadraticExtension crashes polymake (segfault) when I try to compute the vertices.
This is with Polymake 3.1 on Mac OS X, compiled within Sage using the minimal tarball. Simpler calculations, including some with QuadraticExtension, seem to work fine with this build.
Attachments
LIFTING.poly
(111.2 KiB) Downloaded 440 times

User avatar
joswig
Main Author
Posts: 280
Joined: 24 Dec 2010, 11:10

Re: Computing VERTICES of algebraic polyhedron crashes polymake 3.1

Postby joswig » 29 Mar 2017, 09:59

OK, this is a bug. Actually, it already crashes in 3.0. Stay tuned.

User avatar
joswig
Main Author
Posts: 280
Joined: 24 Dec 2010, 11:10

Re: Computing VERTICES of algebraic polyhedron crashes polymake 3.1

Postby joswig » 30 Mar 2017, 15:03

The reason is a zero vector among the INEQUALITIES. While we probably have a specification that explicitly forbids this, I agree that it is a bit drastic to die on a segfault. We will deal with this.

For now, you can work around ;-) by leaving out zero vectors.

mkoeppe
Posts: 17
Joined: 27 Jun 2016, 19:44

Re: Computing VERTICES of algebraic polyhedron crashes polymake 3.1

Postby mkoeppe » 30 Mar 2017, 20:18

Thank you, this workaround works. Code is at: https://trac.sagemath.org/ticket/22723


Return to “Helpdesk”