Grobner and Comprehensive Grobner Bases

Introduction

Grobner Bases

Grobner Bases is a mathematical device to make many calculations with systems of polynomial equations practical.

Definitions

The Grobner Basis is defined within the context of basic abstract algebra. We need to have basic understanding of the following notions:

• Polynomial rings in several variables
• Ideals of rings
• Lexicographic (dictionary) order