Support コマンドは、多項式 f 内にある単項式のリストを返します。このコマンドは、リストおよび集合に自動的にマッピングし、 規模の大きな Groebner 基底の構造を素早く表示するために使用することができます。

オプションの 2 番目の引数 T は、変数のリストか集合、または、MonomialOrder もしくは ShortMonomialOrder である可能性があります。単項式順序が与えられ、次に、結果として生じる単項式のリストが 単項式順序にソートされます。T がリストの場合は単項式は辞書式順序でソートされます。あるいは、T が集合の場合は単項式はソートされません。

with(Groebner):

f := 87*x*y-56*x*y*z^2-62*x^2*z^3+97*x*y^3*z-73*y*z^4;

Support(f);

Support(f,[x,y,z]);

Support(f,grlex(x,y,z));

F := [x^2+5*y^4, x^8-8*y^4, z^8+64*y^2-x^8+100];

G := Groebner[Basis](F,plex(x,y,z));

Support(G,plex(x,y,z));