About: 単項式順序

単項式順序（たんこうしきじゅんじょ、monomial order）は、単項式を順序付けるものであって、いくつかの性質を満たすものである。例えば1変数多項式を記述する場合、昇冪の順または降冪の順に並べるのが通常であるが、多変数の場合はそう単純ではなく、多くの並べ方が考えられる。一般の2変数2次多項式は と記述されることが多いが、これは単項式順序の一種である次数付き辞書式順序で並べられている。 単項式順序は、多項式の割り算アルゴリズムやグレブナー基底の理論において重要な役割を果たす。用いる単項式順序の種類によって、アルゴリズムの効率や得られる結果には違いが生じ得る。