This wikipedia entry https://en.wikipedia.org/wiki/Ehrhart_polynomial#Ehrhart_series_for_rational_polytopes defines the h_star polynomial of a rational polytope. I have the following example: polytope > $A = new Matrix<Rational>([[1,0,0],[1,0,2],[1,1,1],[1,3/2,0]]); polytope > $p = new Polytope(POIN...

I often find myself working with lattice polytopes whose vertices live in an affine hyperplane H of R^d defined by H={ x in R^d : <v,x>=1 } where v is some fixed integral vector. What is the best way to input these polytopes into polymake? For example, suppose that the vertices of my polytope are th...

Ahh, I figured it out.

I'd be glad to volunteer to contribute!

Thanks for the reply.

I have topcom on my system but I haven't configured it to work with polymake. Is this anywhere in the documentation?

I have a large number of pointsets. I want to write a script that finds all triangulations of each pointset. Can this be done within polymake? I'm aware that TOPCOM has this capability, but I'd like to accomplish this within a polymake script I'm writing.

Oh wow, I feel like an idiot. I have another computer that runs polymake without this feature and assumed this was some sort of bug. Thanks for the clarification!

I just installed polymake on Ubuntu 14.04 and have run a problem.
Why is polymake not defining simplex(2) properly?

Thanks again for the help. I was also curious if it is possible to construct the Gorenstein dual of a Gorenstein lattice polytope. While the polar of P is combinatorially opposite to P it is not itself a lattice polytope while the Gorenstein dual is combinatorially opposite and also a lattice polyto...

Let $p be a full-dimensional Gorenstein polytope of dimension d and define We know that the face lattices of $p and $pd are opposite to each other. My question is: given a face $f of $p, what face $pd does $f correspond to? Can polymake detect this face?

Ok.

Basically I'm trying to compute the g-polynomial of the poset [F,P] and the only way I can think of doing it is by computing the G_VECTOR of P/F. Modifying the ambient dimension doesn't change the polytope from a combinatorial perspective so this should work.