Ordre D'Élimination

Un ordre monomial (souvent un ordre par blocs ou un ordre lex avec une précédence de variables choisie) conçu de manière à ce que les monômes contenant certaines variables « à éliminer » soient supérieurs à tout monôme uniquement en variables restantes. Un tel ordre permet d'éliminer ces variables via des calculs de bases de polynômes (par ex.