FGLM-algoritm

FGLM är en av huvudalgoritmerna inom datoralgebra , uppkallad efter dess designers, Faugère , Gianni , Lazard och Mora . De introducerade sin algoritm 1993. Algoritmens input är en Gröbner-bas för ett nolldimensionellt ideal i ringen av polynom över ett fält med avseende på en monomordning och en andra monomordning . Som sin utgång returnerar den en Gröbner-bas av idealet med avseende på den andra ordningen. Algoritmen är ett grundläggande verktyg i datoralgebra och har implementerats i de flesta datoralgebrasystem . Komplexiteten för FGLM är O ( nD ³ ), där n är antalet variabler för polynomen och D är graden av idealet. Det finns flera generaliseringar och olika tillämpningar för FGLM.