id summary reporter owner description type status priority milestone component resolution keywords cc merged author reviewer upstream work_issues branch commit dependencies stopgaps
28413 Add .h_star_vector to compact rational polytopes jipilab "Since #25091 is merged, we can compute a few more things with normaliz. One important object is the so-called `h^*`-vector, see https://en.wikipedia.org/wiki/Ehrhart_polynomial#Ehrhart_series for details.
This ticket implements this method. Currently, one has to do the following:
{{{
sage: C = polytopes.hypercube(3, backend=""normaliz"")
sage: C.ehrhart_series().numerator().coefficients()
[1, 23, 23, 1]
}}}
which would now become:
{{{
sage: C.h_star_vector()
}}}
and return an error if the backend is not `'normaliz'`...
See the related SageAsk question: https://ask.sagemath.org/question/32505/can-sage-compute-the-h-vector-of-a-polytope/
Eventually, it would be nice to also make this possible for polymake too (it would be interesting to know if they use `'normaliz'` for that)." enhancement closed major sage-9.1 geometry fixed polytopes, normaliz selia chapoton Winfried vdelecroix mkoeppe Sophia Elia Jean-Philippe Labbé N/A 48d2a6f740428ae4b4c5dc9d431fa73976bd0687 48d2a6f740428ae4b4c5dc9d431fa73976bd0687 #28247