Grobner bases, an important tool in both commutative and non-commutative algebra serve many purposes including it’s main purpose to study the structure of $$A/I$$, where $$A$$ is a K algebra and $$I subset A$$ is an ideal. Grobner bases can also be thought as an even
