Problem with "load"

Questions and problems about using polymake go here.
welker

Problem with "load"

Postby welker » 12 Jun 2012, 09:40

Hi here is a log from a polymake session:


welker@banda:~/t> polymake
polymake: WARNING: created private directory /app/home/welker/.polymake
Welcome to polymake version 2.12, released on March 19, 2012
Copyright (c) 1997-2012
Ewgenij Gawrilow, Michael Joswig (TU Darmstadt)
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:
4ti2, cddlib, javaview, jreality, latte, lrslib, nauty, normaliz2, permlib, qhull, sketch, sympol
For more details: show_credits;

Warning: some rulefiles could not be configured automatically
due to lacking third-party software and/or other issues.
To see the complete list: show_unconfigured;
polytope > $q=load("c22.poly");
polymake: validating XML file /app/home/welker/t/c22.poly
polymake: XML validation succeeded

polymake: ERROR: sparse index out of range at /app/lang/combi/share/polymake/perllib/Polymake/Core/Property.pm line 357.
polytope >


The files looks as:


<?xml version="1.0" encoding="utf-8"?>

<object type="polytope::Polytope<Rational>" version="2.12" xmlns="http://www.math.tu-berlin.de/polymake/#3">
<property name="INEQUALITIES">
<m cols="12">
<v>0 -1 1 0 0 0 0 0 0 0 </v>
<v>0 -1 0 1 0 0 0 0 0 0 </v>
<v>0 0 -1 0 1 0 0 0 0 0 </v>
<v>0 0 0 -1 1 0 0 0 0 0 </v>
<v>0 0 -1 0 0 1 0 0 0 0 </v>
<v>0 0 0 -1 0 0 1 0 0 0 </v>
<v>0 0 0 0 0 -1 0 1 0 0 </v>
<v>0 0 0 0 0 0 -1 0 1 0 </v>
<v>0 0 0 0 -1 0 0 1 0 0 </v>
<v>0 0 0 0 -1 0 0 0 1 0 </v>
<v>0 0 0 0 0 0 0 -1 0 1 </v>
<v>0 0 0 0 0 0 0 0 -1 1 </v>
</m>
</property>
<property name="EQUATIONS">
<m cols="6">
<v> 0 1 0 0 0 0 0 0 0 0 </v>
<v>-1 0 0 0 0 0 0 0 0 1 </v>
<v> 0 1 -1 -1 1 0 0 0 0 0 </v>
<v> 0 0 1 0 -1 -1 0 1 0 0 </v>
<v> 0 0 0 1 -1 0 -1 0 1 0 </v>
<v> 0 0 0 0 1 0 0 -1 -1 1 </v>
</m>
</property>
</object>

Any clue ?


Thanks
Volkmar

blorenz
Developer
Posts: 139
Joined: 10 Jan 2011, 17:21

Re: Problem with "load"

Postby blorenz » 12 Jun 2012, 11:16

The matrix specification is somewhat wrong (a mix between sparse and dense formats):
There should be no

Code: Select all

cols="6"
attribute for a non-sparse matrix (and the value is also wrong). After removing this attribute the file loads fine.

Benjamin


Return to “Helpdesk”