equations.tex

\begin{equation}
    \initw{I} = <\initw{f}:f\in I>
\end{equation}

A \textbf{Gröbner basis} is a set $G=\{\initw{g_1},\dots,\initw{g_s}\}\subset I$ with $<\initw{g_1},\dots,\initw{g_s}> = \initw{I}$ in $S_\K$