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,