Algorithme d'Euclide en dimension supérieure.

- description: Euclide's algorithm in dimension n ISSAC 96, ACM Press, juillet 1996,
pour une version française, voir le chapitre 3 de Quelques expériences de calcul et de raisonnements à l'aide de machines, habilitation à diriger des recherches, université de Nice-Sophia Antipolis, nov 2003.
- télécharger le code C.

L'algorithme calcule une base de Hilbert/Graver d'un sous-groupe H de Zⁿ, à partir d'une famille de générateurs {g₁,...g_rr}.
C'est-à-dire l'ensemble des vecteurs non nuls de H minimaux pour l'ordre partiel suivant:
v£v' ÜÞ pour tout i, v_i et v'_i ont même signe et |v_i |£|v'_i |.