FGLM es uno de los principales algoritmos de álgebra computacional , el nombre de sus diseñadores, Faugère , Gianni, Lazard y Mora . Introdujeron su algoritmo en 1993. La entrada del algoritmo es una base de Gröbner de un ideal de dimensión cero en el anillo de polinomios sobre un campo con respecto a un orden monomial y un segundo orden monomial ; Como resultado, devuelve una base de Gröbner del ideal con respecto al segundo orden. El algoritmo es una herramienta fundamental en álgebra computacional y se ha implementado en la mayoría de lossistemas informáticos de álgebra . La complejidad de FGLM es O ( nD 3 ), donde n es el número de variables de los polinomios y D es el grado del ideal. [1] Hay varias generalizaciones y diversas aplicaciones para FGLM. [2] [3] [4] [5] [6]