В работе рассматривается инволютивный алгоритм вычисления базисов Гребнера для полиномиальных идеалов в кольце многочленов от многих переменных над конечным полем F2 и со значениями переменных в F2. Алгоритм использует деление Жане и специализирован для градуированного обратного лексикографического порядка мономов.
