Le programme de calcul des polynômes d'Ehrhart et des sommets paramétriques d'un polytope paramétré

English version.

Le programme de calcul des polynômes d'Ehrhart et des sommets paramétriques d'un polytope paramétré

Cette page permet de télécharger l'exécutable du programme Ehrhart, compilé pour les systèmes ci-dessous. Pour d'autres systèmes, les sources sont disponibles sur la page http://icps.u-strasbg.fr/~loechner/polylib/, ou en contactant Vincent Loechner.

2 versions sont disponibles :

version 3.08 utilisant des entiers codés sur 32 bits (plus rapide)
version 4.00 utilisant des entiers codés sur 64 bits (plus lente)

documentation

LISEZ-MOI
Quelques exemples : exemple 1 exemple 2 exemple 3
Les transparents d'une présentation montrant quelques modélisations opportunes de problèmes et quelques applications en analyse de programmes
La page principale des polynômes d'Ehrhart avec des liens vers des articles détaillés sur le sujet

ehrhart 3.08

L'exécutable en version :
- Solaris (Sparc) (compilé sous Solaris 2.5)
- SunOS (compilé sous SunOS 4.1.3)
- Linux (compilé sous Linux 1.2.13 / Pentium)
- BeOS (compilé sous DR9)

ehrhart 4.0

L'exécutable en version :
- Solaris2 (Sparc) (compilé sous Solaris 2.5)
- Linux (compilé sous Linux 2.0.30 / Pentium)

Philippe Clauss: clauss@icps.u-strasbg.fr
Vincent Loechner: loechner@icps.u-strasbg.fr
Doran Wilde wilde@cayenne.ee.byu.edu