Opened 5 years ago
Closed 5 years ago
#22754 closed enhancement (fixed)
order and chain polytopes are defined over ZZ
Reported by:  chapoton  Owned by:  

Priority:  major  Milestone:  sage8.0 
Component:  combinatorics  Keywords:  polytope 
Cc:  jplabbe, jmantysalo, tscrim  Merged in:  
Authors:  Frédéric Chapoton  Reviewers:  JeanPhilippe Labbé 
Report Upstream:  N/A  Work issues:  
Branch:  9fe4db4 (Commits, GitHub, GitLab)  Commit:  9fe4db4c4801ce4ddd4370b3b355183212156717 
Dependencies:  Stopgaps: 
Description
Currently, order_polytope and chain_polytope of posets return polytopes over QQ. They can be enhanced to return polytopes over ZZ.
This allows to compute their Ehrhart polynomial, for example.
Change History (10)
comment:1 Changed 5 years ago by
 Branch set to u/chapoton/22754
 Cc jplabbe jmantysalo tscrim added
 Commit set to 6e427159bb5c32634bb37374202720e22ba31c3c
 Status changed from new to needs_review
comment:2 Changed 5 years ago by
 Commit changed from 6e427159bb5c32634bb37374202720e22ba31c3c to 9aeefb1612b860beef8d30b658a322d1407389cd
Branch pushed to git repo; I updated commit sha1. This was a forced push. New commits:
9aeefb1  posets: order and chain polytopes over ZZ

comment:3 Changed 5 years ago by
Indeed, they are.
The patch looks fine to me.
comment:4 Changed 5 years ago by
 Status changed from needs_review to positive_review
There is only one thing: the polyhedron are given with the H
representation... but indeed, the vertices are integers in the end...
So I guess it is good to go...
comment:6 Changed 5 years ago by
 Reviewers set to JeanPhilippe Labbé
 Status changed from needs_work to positive_review
comment:8 Changed 5 years ago by
 Commit changed from 9aeefb1612b860beef8d30b658a322d1407389cd to 9fe4db4c4801ce4ddd4370b3b355183212156717
comment:9 Changed 5 years ago by
 Status changed from needs_work to positive_review
trivial doctest correction done, setting back to positive
comment:10 Changed 5 years ago by
 Branch changed from u/chapoton/22754 to 9fe4db4c4801ce4ddd4370b3b355183212156717
 Resolution set to fixed
 Status changed from positive_review to closed
Note: See
TracTickets for help on using
tickets.
New commits:
py3: wrap some "map" with "list"
posets: order and chain polytopes over ZZ