order and chain polytopes are defined over ZZ

[fchapoton]

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.

CC: @jplab @jm58660 @tscrim

Component: combinatorics

Keywords: polytope

Author: Frédéric Chapoton

Branch/Commit: 9fe4db4

Reviewer: Jean-Philippe Labbé

Issue created by migration from https://trac.sagemath.org/ticket/22754

[fchapoton]

Branch: u/chapoton/22754

[fchapoton]

Commit: 6e42715

[fchapoton]

New commits:

07d53b5	py3: wrap some "map" with "list"
6e42715	posets: order and chain polytopes over ZZ

[sagetrac-git]

Branch pushed to git repo; I updated commit sha1. This was a forced push. New commits:

9aeefb1

posets: order and chain polytopes over ZZ

[sagetrac-git]

Changed commit from 6e42715 to 9aeefb1

[jplab]

comment:3

Indeed, they are.

The patch looks fine to me.

[jplab]

comment:4

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...

[vbraun]

comment:5

Reviewer name...

[jplab]

Reviewer: Jean-Philippe Labbé

[vbraun]

comment:7

See patchbot

[sagetrac-git]

Branch pushed to git repo; I updated commit sha1. New commits:

1efb4bd	Merge branch 'u/chapoton/22754' in 8.0.b1
9fe4db4	trac 22754 fixing one doctest

[sagetrac-git]

Changed commit from 9aeefb1 to 9fe4db4

[fchapoton]

comment:9

trivial doctest correction done, setting back to positive

[vbraun]

Changed branch from u/chapoton/22754 to 9fe4db4