Algorithme FGLM de changement d'ordre

Mots clés: polynômes, systèmes polynomiaux, multi-précision.

Le but de ce projet est d’implanter l’algorithme de changement d’ordre de Faugère-Gianni-Lazard-Mora.

Résumé

L’étudiant est libre de choisir pour quels anneaux de polynômes il fournit une implantation. Des choix raisonnables sont les polynômes à coefficients rationnels (par ex., avec GMP) ou encore les polynômes à coefficients dans un corps premier (par ex., avec Flint).

Objectifs

Références