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, sm1_find_proc, d_true_nf

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