Opened 6 years ago

Last modified 3 years ago

#20875 new task

Meta-ticket: Polytopes, lattice (integer) point counting / enumeration, and their applications

Reported by: Matthias Köppe Owned by:
Priority: major Milestone: sage-8.1
Component: geometry Keywords: days84
Cc: Anne Schilling, Travis Scrimshaw, Nicolas M. Thiéry, Jeroen Demeyer, Timo Kluck, Dima Pasechnik, Andrey Novoseltsev, Vincent Delecroix, Frédéric Chapoton, Karl-Dieter Crisman, Winfried Bruns, Moritz Firsching, Jean-Philippe Labbé, Marc Masdeu, Daniel Krenn, Sébastien Labbé, etzanaki, Erik Bray, Thierry Monteil, Marcelo Forets, gh-braunmath, Sophia Elia Merged in:
Authors: Reviewers:
Report Upstream: N/A Work issues:
Branch: Commit:
Dependencies: Stopgaps:

Status badges

Description (last modified by Matthias Köppe)

In this meta-ticket, I'm collecting tickets regarding lattice point counting and enumeration, relevant library interfaces, and its applications.

Not promising to do any work on it! Discussions on this ticket are very welcome in the comments section.

  • #18029: speed up integral point enumeration
  • #21037: Polyhedron.integral_points() fails for non-rational polytopes
  • #21041: Polyhedron.integral_points(): Generalize Smith form based enumeration to semi-rational polytopes
  • #18957: ehrhart_polynomial should be made available for polytopes defined over QQ
  • #18190: bindings to Latte
  • #18232: Support other LattE features: Ehrhart series, multivariate generating functions, integration, volume computation
  • #13117: lrs_volume does not work with long numbers
  • #18199: sage.geometry.polyhedron should have an lrs (lrslib) backend
  • #20886: Upgrade lrslib to version 6.2 and build a shared library
  • #15872: Let cddlib build a shared lib on Cygwin.
  • #15871: Improve cddlib build system (especially split out non-upstream stuff).
  • #21952: Update cddlib's autotooling
  • #18195: Use cdd as a backend for polyhedra
  • #20885: Normaliz interface
  • #17920: Reimplement IntegerLists using Polyhedron.integral_points()
  • #20905: fixing frobby package
  • #10669: Implement MacMahon?'s partition analysis Omega operator (#22066 implements MacMahon?'s Omega operator)
  • #17264: Polyhedron function broken with floats in sage-6.3 (worked in sage-6.2)
  • #18220: Bug when creating a polyhedron with coefficients in RR
  • #19803: difference of behavior in polyhedra with different backends
  • #18214: Bug in volume computation of polyhedron
  • #21270: Polyhedron RDF plotting bug
  • #21143: new style package for qhull
  • #12352: Add some tests for the qhull optional package
  • #17197: document Polyhedron defined over number field
  • #21217: Point lattices (free Z-modules) generated by algebraic real vectors
  • #20278: Compute fundamental domain for symmetry groups of polyhedra
  • #12957: Categories for finite (enumerated) sets
  • #10544: LLL reduced kernel bases are not always correct
  • #12388: add a function to solve CVP
  • #17215: Bounding hyperplanes for polyhedra
  • #17339: Polyhedron class mistreats empty inputs
  • #21950: Add pulling_triangulation method to polyhedron class and point configuration
  • #22067: generating function of integer-valued polyhedra
  • #22111: generating function of integral points of polyhedra: option algorithm (naive, lattE)
  • #22181: Implement Minkowski decomposition of polytopes
  • #22469: Deprecate/remove sage/geometry/polytope.py
  • #21937: Library of polytopes should allow specifying backend=...
  • #22562: Lattice point count with preprocessing
  • #23547: Add isl and barvinok packages

See also:

  • #22420: Meta-ticket: Polyhedron: new features and known bugs
  • #20302 Meta-ticket: Improvements to MixedIntegerLinearProgram, its backends, and InteractiveLinearProgram
  • #20877 Meta-ticket: Piecewise functions, polyhedral complexes, piecewise functions of several variables, periodic piecewise functions
  • #22710: Meta-ticket: polymake
  • #22827: Meta-ticket: expose all normaliz features

Change History (56)

comment:1 Changed 6 years ago by Matthias Köppe

Authors: aschilling, tscrim, nthiery, jdemeyer, tkluck, dimpase
Cc: Anne Schilling Travis Scrimshaw Nicolas M. Thiéry Jeroen Demeyer Timo Kluck Dima Pasechnik added

comment:2 Changed 6 years ago by Matthias Köppe

Description: modified (diff)

comment:3 Changed 6 years ago by Andrey Novoseltsev

Cc: Andrey Novoseltsev added

comment:4 Changed 6 years ago by Matthias Köppe

Description: modified (diff)

comment:5 Changed 6 years ago by Matthias Köppe

Cc: Vincent Delecroix Frédéric Chapoton added
Description: modified (diff)

comment:6 Changed 6 years ago by Matthias Köppe

Description: modified (diff)
Summary: Meta-ticket: Lattice (integer) point counting / enumeration and its applicationsMeta-ticket: Polytopes, lattice (integer) point counting / enumeration, and their applications

comment:7 Changed 6 years ago by Dima Pasechnik

Description: modified (diff)

comment:8 Changed 6 years ago by Matthias Köppe

Cc: Karl-Dieter Crisman added

comment:9 Changed 6 years ago by Matthias Köppe

Description: modified (diff)

comment:10 Changed 6 years ago by Matthias Köppe

Description: modified (diff)

comment:11 Changed 6 years ago by Matthias Köppe

Description: modified (diff)

comment:12 Changed 6 years ago by Matthias Köppe

Description: modified (diff)

comment:13 Changed 6 years ago by Matthias Köppe

Description: modified (diff)

comment:14 Changed 6 years ago by Matthias Köppe

Description: modified (diff)

comment:15 Changed 6 years ago by Matthias Köppe

Description: modified (diff)

comment:16 Changed 6 years ago by Matthias Köppe

Description: modified (diff)

comment:17 Changed 6 years ago by Matthias Köppe

Description: modified (diff)

comment:18 Changed 6 years ago by Matthias Köppe

Description: modified (diff)

comment:19 Changed 6 years ago by Matthias Köppe

Description: modified (diff)

comment:20 Changed 6 years ago by Matthias Köppe

Description: modified (diff)

comment:21 Changed 6 years ago by Matthias Köppe

Description: modified (diff)

comment:22 Changed 6 years ago by Matthias Köppe

Description: modified (diff)

comment:23 Changed 6 years ago by Matthias Köppe

Description: modified (diff)

comment:24 Changed 6 years ago by Matthias Köppe

Description: modified (diff)
Milestone: sage-7.3sage-7.4

comment:25 Changed 6 years ago by Matthias Köppe

Description: modified (diff)

comment:26 Changed 6 years ago by Matthias Köppe

Description: modified (diff)

comment:27 Changed 6 years ago by Matthias Köppe

Description: modified (diff)

comment:28 Changed 6 years ago by Matthias Köppe

Description: modified (diff)

comment:29 Changed 6 years ago by Matthias Köppe

Description: modified (diff)

comment:30 Changed 6 years ago by Matthias Köppe

Cc: Winfried Bruns added

comment:31 Changed 6 years ago by Matthias Köppe

Cc: Moritz Firsching Jean-Philippe Labbé added
Description: modified (diff)

comment:32 Changed 6 years ago by Matthias Köppe

Cc: Marc Masdeu added

comment:33 Changed 6 years ago by Matthias Köppe

Cc: Daniel Krenn Sébastien Labbé added

comment:34 Changed 6 years ago by Matthias Köppe

Description: modified (diff)

comment:35 Changed 6 years ago by Daniel Krenn

Description: modified (diff)

comment:36 Changed 6 years ago by Daniel Krenn

Description: modified (diff)

comment:37 Changed 6 years ago by Matthias Köppe

Description: modified (diff)
Milestone: sage-7.4sage-7.6

comment:38 Changed 6 years ago by Matthias Köppe

Cc: etzanaki added
Description: modified (diff)

comment:39 Changed 6 years ago by Jean-Philippe Labbé

Description: modified (diff)

comment:40 Changed 6 years ago by Jean-Philippe Labbé

Description: modified (diff)

comment:41 Changed 6 years ago by Jean-Philippe Labbé

Description: modified (diff)

comment:42 Changed 6 years ago by Jean-Philippe Labbé

Description: modified (diff)

comment:43 Changed 6 years ago by Jean-Philippe Labbé

Description: modified (diff)

comment:44 Changed 6 years ago by Thierry Monteil

Description: modified (diff)

comment:45 Changed 6 years ago by Matthias Köppe

Cc: Erik Bray added
Description: modified (diff)

comment:46 Changed 6 years ago by Matthias Köppe

Cc: Thierry Monteil added

comment:47 Changed 6 years ago by Jean-Philippe Labbé

Keywords: days84 added

comment:48 Changed 6 years ago by Matthias Köppe

Cc: Marcelo Forets added

comment:49 Changed 6 years ago by Matthias Köppe

Description: modified (diff)

comment:50 Changed 6 years ago by Matthias Köppe

Description: modified (diff)

comment:51 Changed 6 years ago by Matthias Köppe

Description: modified (diff)

comment:52 Changed 6 years ago by Matthias Köppe

Description: modified (diff)

comment:53 Changed 6 years ago by Matthias Köppe

Description: modified (diff)
Milestone: sage-7.6sage-8.0

comment:54 Changed 5 years ago by Matthias Köppe

Description: modified (diff)
Milestone: sage-8.0sage-8.1

comment:55 Changed 4 years ago by Matthias Köppe

Cc: gh-braunmath added

comment:56 Changed 3 years ago by Jean-Philippe Labbé

Cc: Sophia Elia added
Note: See TracTickets for help on using tickets.