dp_red, dp_red_mod

dp_red(dpoly1,dpoly2,dpoly3)

dp_red_mod(dpoly1,dpoly2,dpoly3,mod)

:: 一回の簡約操作

return

リスト

dpoly1, dpoly2, dpoly3

分散表現多項式

vlist

リスト

mod

素数

• dpoly1 + dpoly2 なる分散表現多項式を dpoly3 で 1 回簡約する.
• dp_red_mod() の入力は, 全て有限体係数に変換されている必要がある.
• 簡約される項は dpoly2 の頭項である. 従って, dpoly2 の 頭項が dpoly3 の頭項で割り切れることがあらかじめわかっていなければ ならない.
• 引数が整数係数の時, 簡約は, 分数が現れないよう, 整数 a, b, 項 t により a(dpoly1 + dpoly2)-bt dpoly3 として計算される.
• 結果は, [a dpoly1,a dpoly2 - bt dpoly3] なるリストである.

[157] D=(3)*<<2,1,0,0,0>>+(3)*<<1,2,0,0,0>>+(1)*<<0,3,0,0,0>>;
(3)*<<2,1,0,0,0>>+(3)*<<1,2,0,0,0>>+(1)*<<0,3,0,0,0>>
[158] R=(6)*<<1,1,1,0,0>>;                                    
(6)*<<1,1,1,0,0>>
[159] C=12*<<1,1,1,0,0>>+(1)*<<0,1,1,1,0>>+(1)*<<1,1,0,0,1>>; 
(12)*<<1,1,1,0,0>>+(1)*<<0,1,1,1,0>>+(1)*<<1,1,0,0,1>>
[160] dp_red(D,R,C);                                         
[(6)*<<2,1,0,0,0>>+(6)*<<1,2,0,0,0>>+(2)*<<0,3,0,0,0>>,(-1)*<<0,1,1,1,0>>
+(-1)*<<1,1,0,0,1>>]

参照

section dp_mod, dp_rat.

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