Your command sequence > $p = cube(3); > print($p->VERTICES); > save_data($p->VERTICES, "my_vertices.txt"); is perfectly OK; the result is a JSON file (format defined by polymake) which contains just one matrix plus a bit of metadata. If you want the matrix (coefficients separated by blanks...

Your example has a lineality space of positive dimension. polytope > $p = new Polytope(INEQUALITIES=>[[13,-6,0,-7,0,-9,0],[11,0,-8,0,-5,0,-6]],EQUATIONS=>[[-1,1,1,0,0,0,0],[-1,0,0,1,1,0,0],[-1,0,0,0,0,1,1]]); polytope > print $p->VERTICES; 1 -1/4 5/4 1 0 5/6 1/6 0 1 -1 0 0 -2/3 2/3 0 1 -1 0 0 -4/3 4...

You can specify polyhedra in terms of INEQUALITIES and EQUATIONS.
Asking for VERTICES then triggers a dual convex hull computation.

Please see tutorial.

The web version of polymake runs in a sandbox. So, by design, you cannot read from or write to files.

polymake uses the normalized volume convention for mixed volumes (i.e., counting solutions of polynomial systems directly, as in the BKK theorem). You can see this, e.g., from polytope > print mixed_volume(cube(2,0),cube(2,0)); 2 The mixed volume of a polygon with itself equals the volume (i.e., are...

Well, Vector and Array are random access data structures, i.e., you can use indices. And Set is not random access; pretty much as the error message says. These different data structures exist because they help make several kinds of functions fast: While vector and Array allow to access an element at...

Internally, polymake will always use indices starting at zero. matroid > $F = fano_matroid; matroid > print $F->CIRCUITS; {0 1 6} {0 2 5} {0 3 4} {1 2 3} {1 4 5} {2 4 6} {3 5 6} {0 1 2 4} {0 1 3 5} {0 2 3 6} {0 4 5 6} {1 2 5 6} {1 3 4 6} {2 3 4 5} But you can use LABELS to make things look different...

Yes to both questions. Even the command line provide full perl functionality. > sub myowncode($) { my ($arg)=@_; return cube($arg)->VOLUME; } > print myowncode(4); 16 Then you can store a sequence of commands as a text file and apply load_commands to execute that code line by line. For best experien...

Indeed, currently polymake does not have such a function. Of course, it is absolutely desirable. We started to discuss the matter within the developer's team. There are several ways to implement this, all of which are computationally costly, except for small fans in very low dimensions. We are in th...

That's a difficult question in the sense that these functions reside in Simon Hampe's extension atint, which became bundled a while ago. Thing is: no-one is currently working on that code.

Nonetheless, we will check. Just be a bit patient, please.

polymake employs a homogeneous coordinate model. That is, here and elsewhere you need to ignore the leading "1" in the solution.