---

1

Nous utilisons ici la fonction PIP.solve_pos qui suppose que les variables et les paramètres sont tous positifs. On évite ainsi des changements de variables inutiles.

2

Nous utilisons ici une version modifiée de PIP qui permet cet appel de fonction.

3

Il faut noter que les fonctions de SPPoC permettent de faire du renommage de variables au vol : à gauche du symbole <- se trouve la liste des nouveaux noms de variables et à droite apparaissent les expressions correspondant aux nouvelles variables. Ces expressions s'écrivent, bien entendu, en fonction des anciens noms de variables. Ainsi la fonction <:fct< i',j' <- j,i >> représente une symétrie par rapport à la diagonale principale avec renommage des variables. Le fait de ne pas pouvoir introduire de nouvelle variable non contrainte dans l'ensemble d'arrivée de la fonction n'est pas une limitation grâce l'auto-ajustement réalisé par SPPoC .

4

le comptage des points d'un polyèdre non borné produit un résultat indéterminé

5

utilisation de la bibliothèque Num de la distribution d'Objective Caml

6

Un template est un tableau virtuel sur lequel sont alignés les tableaux de données par des directives ALIGN et qui est réparti sur les processeurs par une directive DISTRIBUTE.

7

k vaut 1 par défaut, ce qui est le cas dans notre exemple.