而变数的排序，也就是各单项式被消去的 顺序，采用相反字典式(reverse lexicographical order)。那么最后被消去的，是第一个变数x 1 的单项。
基于20个网页-相关网页
相反字典式
Inverse lexicographic expression
以上为机器翻译结果，长、整句建议使用 人工翻译 。
应用推荐
模块上移
模块下移
不移动