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

### `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.