Polytope Containment

[blorenz]

Code: Select all

polymake: ERROR: Shared module compilation failed; see the error log below make: g++: Command not found make: *** [/tmp/poly23874Taaaa0013.o] Error 127

This probably means that at some point after the installation of polymake, the C++ compiler was uninstalled which is quite strange. You can try to reinstall a g++ or gcc package depending on what operating system you are using. You can check whether you have a working compiler by running 'g++ --version' in a terminal.
If you have done that just retry the polymake commands.

Note that the included_polyhedra function would force the computation of an H-description for P2.

Benjamin

[satya123999]

Hello,

I installed g++, now the commands work fine but still some issues:

Code: Select all

print $f->COORDINATE_LABELS; a1 a10 a11 a12 a13 a14 a15 a16 a17 a18 a2 a3 a4 a5 a6 a7 a8 a9

As the inhomog_var is not included in the labels. So, I modified the subsequent steps e.g.

Code: Select all

@vars = (map {"a".$_} (1..18)); $perm = find_permutation($f->COORDINATE_LABELS,[@vars]); #shift @vars; // see PS below $fperm = new Polytope(INEQUALITIES=>permuted_cols($f->INEQUALITIES,$perm), EQUATIONS=>permuted_cols($f->EQUATIONS,$perm), COORDINATE_LABELS=>[@vars]);

but the resulting polytope $fperm is somehow empty (e.g. print $fperm->FACETS doesn't print anything)

[blorenz]

The inhomog_var was introduced in with 2.13, thus it was missing in your coordinate labels. but without this entry the permutation $perm only contains 18 entries instead of 19 (18 coords plus right-hand side) and the matrix created by permuted_cols looses the first column but will contain a zero-column at the end.

So instead of removing the inhomog_var from the array you need to add it to the coordinate labels when determining the permutation:

Code: Select all

@vars = ("inhomog_var",map {"a".$_} (1..18)); $perm = find_permutation(["inhomog_var",@{$f->COORDINATE_LABELS}],[@vars]);

Benjamin

PS: I recommend upgrading your polymake version soon as 2.12 is quite outdated, but maybe wait for 2.14 which will hopefully be released within the next one or two month. Among lots of other things, the LP-parser will do a better job at sorting the variables:

polytope (developer-version)> print $f->COORDINATE_LABELS;
inhomog_var a1 a2 a3 a4 a5 a6 a7 a8 a9 a10 a11 a12 a13 a14 a15 a16 a17 a18

[satya123999]

Hi Benjamin,

Thank you very much now the commands work fine. I will also upgrade the polymake version

Best,
Satya