Implement edge polytope and symmetric edge polytope of a graph

[kliem]

We implement the edge polytope and the symmetric edge polytope of a graph.

CC: @jplab @mkoeppe @mantepse

Component: geometry

Keywords: SLC86, symmetric edge polytope

Author: Jonathan Kliem

Branch/Commit: 05890f4

Reviewer: Martin Rubey

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

[sagetrac-git]

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

fe16d78

implement edge polytope and symmetric edge polytope

[sagetrac-git]

Commit: fe16d78

[dcoudert]

comment:3

Just a few remarks:

• the documentation says it's in \RR^n but the result is in ZZ
• use enumerate(self) instead of enumerate(self.vertices() to avoid sorting vertices
• Are these methods valid for both graphs and digraphs ? if only for graphs, then move them in graph.py

[kliem]

comment:4

They are valid for both graphs and digraphs. The direction is completely ignored as everything is symmetric (also for the not symmetric edge polytope, its just the polytope that is less symmetric, not the construction.

[mantepse]

comment:5

However, there are still many different SEPs:

is missing a ":"

[sagetrac-git]

Changed commit from fe16d78 to dc22154

[sagetrac-git]

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

dc22154

small fixes

[dcoudert]

comment:7

Can you also add the methods to the tables (csv-table) at the top of file geneirc_graph.py.

[sagetrac-git]

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

c27d5b5

add methods to CSV table

[sagetrac-git]

Changed commit from dc22154 to c27d5b5

[mantepse]

comment:9

Very tiny things:

• There is an unused import.

src/sage/graphs/generic_graph.py:9516:9 'sage.misc.functional.round' imported but unused

• replace

All trees on `n` vertices have isomorphic EP::

with

All trees on `n` vertices have isomorphic EPs::

and similarly for SEP

• replace

is a polytope in `\ZZ^{n}` defined as the convex hull of

with

is the polytope in `\ZZ^{n}` defined as the convex hull of

• replace

A non-trivial example of two graphs with isomorphic SEP::

with

A non-trivial example of two graphs with isomorphic SEPs::

If you agree, please set it to pos. rev. on my behalf! (and thank you!)

[mantepse]

Reviewer: Martin Rubey

[sagetrac-git]

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

05890f4

minor changes

[sagetrac-git]

Changed commit from c27d5b5 to 05890f4

[kliem]

comment:11

Thank you.

[vbraun]

Changed branch from u/gh-kliem/symmetric_edge_polytope to 05890f4