Implement duality of faces for reflexive polytopes

[novoselt]

It was "secretly" implemented in the old code removed in #22122 by order of faces and while it was not documented in Sage, it was dissipated in some worksheets and papers.

Depends on #22122

CC: @saraedum

Component: geometry

Author: Andrey Novoseltsev

Branch/Commit: 4109827

Reviewer: Julian Rüth

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

[novoselt]

Branch: u/novoselt/22275

[novoselt]

comment:2

Julian, can you take a look at a short follow up for #22122?

---

New commits:

4599dcc	Remove old-style faces of lattice polytopes
5c97bbd	Merge #22122 into #22275
77616f8	Implement duality of faces for reflexive polytopes

[novoselt]

Commit: 77616f8

[sagetrac-git]

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

4109827

Implement duality of faces for reflexive polytopes

[sagetrac-git]

Changed commit from 77616f8 to 4109827

[novoselt]

comment:4

Managed to miss blank line somehow.

[saraedum]

Reviewer: Julian Rüth

[novoselt]

comment:6

Thank you!