Eliminationsordnung

Eine Monomialordnung (häufig eine Blockordnung oder lex mit gewählter Variablenpriorität), die so gestaltet ist, dass Monome, die bestimmte „zu eliminierende“ Variablen enthalten, größer sind als jedes Monom, das nur die verbleibenden Variablen enthält. Eine solche Ordnung ermöglicht die Eliminierung dieser Variablen durch Polynombasis-Berechnungen (z. B.