來源：互聯(lián)網
吳消元法，又稱吳特征列方法，是吳文俊院士創(chuàng)立的將多元多項式方程組簡化然后求解的機械化算法。吳消元法可用計算機實現(xiàn)，是數(shù)學機械化的基礎。
多項式的指標
多項式：中
主變元
變元中下標最大下標
稱為多項式的主變元，記為
例如
變元為主變元為。
多項式的類
多項式的類定義為主變元的下標，記作
上例多項式P的類為。
多項式的次數(shù)
多項式關于變元 的次數(shù)記為
多項式關于主變元的次數(shù)，記為
多項式的長度，定義為多項式的項數(shù)，記為 。
多項式的指標集。
多項式的初式和正則形式
初式
多項式的初式，是多項式主變數(shù)最高冪項的系數(shù)，記為
例如
；
初式是一個除主變元之外的多項式
：
其中是多項式的類。
正則形式
將多項式表示為
關于的低次冪項，稱為多項式的正則形式。
參考資料 >