1.2.9 `sm1.reduction'
---------------------

sm1.reduction([F,G,V,W]|proc=P)
     ::

RETURN
     リスト

F
     多項式

G, V, W
     リスト

P
     数  (ox_sm1 のプロセス番号)

   * この函数は F を homogenized ワイル代数において, 多項式集合 G
     で簡単化 (reduce) する; つまり, この函数は, F
     に割算アルゴリズムを適用する.  変数集合は V で指定する.  W
     は順序を指定するための ウエイトベクトルであり, 省略してもよい.
     `sm1.reduction_noH' は, Weyl algebra 用.

   * 戻り値は次の形をしている: [r,c0,[c1,...,cm],g] ここで G=[g1, ...,
     gm] であり, c0 f + c1 g1 + ... + cm gm = r がなりたつ.  r/c0 が
     normal form である.

   * この函数は, 低次項にあらわれる reducible な項も簡単化する.

   * 函数 sm1.reduction_d(P,F,G) および sm1.reduction_noH_d(P,F,G) は,
     分散多項式用である.

     [259] sm1.reduction([x^2+y^2-4,[y^4-4*y^2+1,x+y^3-4*y],[x,y]]);
     [x^2+y^2-4,1,[0,0],[y^4-4*y^2+1,x+y^3-4*y]]
     [260] sm1.reduction([x^2+y^2-4,[y^4-4*y^2+1,x+y^3-4*y],[x,y],[[x,1]]]);
     [0,1,[-y^2+4,-x+y^3-4*y],[y^4-4*y^2+1,x+y^3-4*y]]

参照
     `sm1.start', `d_true_nf'

