segmentation fault using totally_dual_integral

Questions and problems about using polymake go here.
luethen

segmentation fault using totally_dual_integral

Postby luethen » 26 Nov 2013, 16:34

Dear Polymake-Team,

I am using the perpetual beta version 20131011 on Ubuntu 12.04.3. The following commandos result in a segmentation fault:

Code: Select all

$M = new Matrix<Rational>([[0, 1, 0, 0, 0, 0, 0, 0, 0, 0],[0, 0, 0, 0, 0, 1, 0, 0, 0, 0],[0, 0, 0 ,0 ,0, 0, 0, 0, 0, 1],[0, 0 ,0 ,1, 0, 0, 0, 0, 0, 0],[0, 0, 0, 0, 1, 0, 0, 0, 0, 0],[0, 0, 0, 0, 0, 0, 1, 0, 0, 0],[0, 0, 1, 0, 0, 0, 0, 0, 0, 0],[0, 0, 0, 0, 0, 0, 0, 1, 0, 0],[0, 0, 0, 0, 0, 0, 0, 0, 1, 0],[1, 0, 0, 0, 0, 0, 0, 0, 0 ,0]]); print totally_dual_integral($M);
I tried the example I found on this page: http://www.polymake.org/doku.php/tutorial/optimization
and that seemed to work flawlessly.

Why is my example different?



Full polymake session is posted below because I am not allowed to attach files:

Code: Select all

Welcome to polymake version 2.12.5, released on October 10, 2013 Copyright (c) 1997-2013 Ewgenij Gawrilow, Michael Joswig (TU Berlin) http://www.polymake.org This is free software licensed under GPL; see the source for copying conditions. There is NO warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. Press F1 or enter 'help;' for basic instructions. Application polytope currently uses following third-party software packages: cddlib, geomview, graphviz, javaview, jreality, libnormaliz, lrslib, nauty, permlib, qhull, sketch, sympol, tosimplex For more details: show_credits; polytope > $M = new Matrix<Rational>([[0, 1, 0, 0, 0, 0, 0, 0, 0, 0],[0, 0, 0, 0, 0, 1, 0, 0, 0, 0],[0, 0, 0 ,0 ,0, 0, 0, 0, 0, 1],[0, 0 ,0 ,1, 0, 0, 0, 0, 0, 0],[0, 0, 0, 0, 1, 0, 0, 0, 0, 0],[0, 0, 0, 0, 0, 0, 1, 0, 0, 0],[0, 0, 1, 0, 0, 0, 0, 0, 0, 0],[0, 0, 0, 0, 0, 0, 0, 1, 0, 0],[0, 0, 0, 0, 0, 0, 0, 0, 1, 0],[1, 0, 0, 0, 0, 0, 0, 0, 0 ,0]]); polytope > print totally_dual_integral($M); polymake: used package cddlib Implementation of the double description method of Motzkin et al. Copyright by Komei Fukuda. http://www.ifor.math.ethz.ch/~fukuda/cdd_home/cdd.html polymake: used package libnormaliz Normaliz is a tool for computations in affine monoids, vector configurations, lattice polytopes, and rational cones. Copyright by Winfried Bruns, Bogdan Ichim, Christof Soeger. http://www.math.uos.de/normaliz/ [1] 12585 segmentation fault (core dumped) ./polymake-beta-AMD
Greetings,
Hendrik

User avatar
assarf
Developer
Posts: 74
Joined: 12 Oct 2011, 15:52

Re: segmentation fault using totally_dual_integral

Postby assarf » 27 Nov 2013, 10:13

Hi Hendrik,

this was indeed a bug in the totally_dual_integral client. So thank you for finding it.

I fixed that and it will be available in the next beta, which will be out soon.

The problem had something to do with unbounded polyhedra. So make sure that you have 4ti2 configured to handle unboundedness properly :-)

best regards
Benjamin
no signature

User avatar
assarf
Developer
Posts: 74
Joined: 12 Oct 2011, 15:52

Re: segmentation fault using totally_dual_integral

Postby assarf » 28 Nov 2013, 18:59

This bug has been fixed in the newest perpetual beta version. click

EDIT: if you downloaded the beta yesterday, please update your working copy with an svn up, since there where some difficulties.
no signature


Return to “Helpdesk”