nd_gr, nd_gr_trace (加群)

nd_gr(gen,vars,char,ord)

nd_gr_trace(gen,vars,homo,char,ord)

nd_weyl_gr(gen,vars,char,ord)

nd_weyl_gr_trace(gen,vars,homo,char,ord)

:: 部分加群のグレブナー基底の計算

gen

リストのリスト

ord

[IsPOT,Ord] なるリスト

return

リストのリスト

• 多項式環あるいはワイル代数上の自由加群の部分加群のグレブナー基底 を計算する. 結果はリストのリストである. 各要素リストは, 自由加群の 元であるベクトルとみなす.
• ord として [IsPOT,Ord] という2要素リストが指定された 場合, 加群のグレブナー基底計算を実行する. この場合, gen は, 多項式 のリストのリストとして与える必要がある.
• IsPOT が 1 の場合, POT (position over term), 0 の 場合 TOP (term over position) で比較する. 基礎環での項比較は Ord で行う.
• 説明されていない引数は, イデアルの場合の解説を参照のこと.

[0] Gen=[[x,y,z],[y^2+x,x^2,z],[y^2,z^3+x,x+z]];
[[x,y,z],[x+y^2,x^2,z],[y^2,x+z^3,x+z]]
[1]  nd_gr(Gen,[x,y,z],0,[0,0]);
[[x,y,z],[y^2,x^2-y,0],[y^2,x+z^3,x+z],[y^3+z^3*y^2,y^3*x-y^3,
-x^3-z*x^2+(z*y^2+y)*x-z*y^2+z*y],[0,0,x^4+z*x^3+(-z*y^2-y)*x^2
+(-y^3+z*y^2-z*y)*x+z^4*y^2]]

参照

@xref{nd_gr}, @xref{nd_gr_trace}

Go to the first, previous, next, last section, table of contents.