Algorytm FGLM
FGLM to jeden z głównych algorytmów algebry komputerowej , nazwany na cześć jego twórców: Faugère'a , Gianniego , Lazarda i Mory . Wprowadzili swój algorytm w 1993 roku. Dane wejściowe algorytmu to podstawa Gröbnera zerowymiarowego ideału w pierścieniu wielomianów nad polem w odniesieniu do rzędu jednomianowego i drugiego rzędu jednomianowego . Jako wynik zwraca podstawę ideału Gröbnera w odniesieniu do drugiego porządku. Algorytm jest podstawowym narzędziem algebry komputerowej i został zaimplementowany w większości systemów algebry komputerowej . Złożoność FGLM wynosi O ( nD 3 ), gdzie n to liczba zmiennych wielomianów, a D to stopień ideału . Istnieje kilka uogólnień i różnych zastosowań dla FGLM.