dp_redble

dp_redble(dpoly1,dpoly2)

:: 頭項どうしが整除可能かどうか調べる.

return

整数

dpoly1, dpoly2

分散表現多項式

• dpoly1 の頭項が dpoly2 の頭項で割り切れれば 1, 割り切れなければ 0 を返す.
• 多項式の簡約を行う際, どの項を簡約できるかを探すのに用いる.

[148] C;
(1)*<<1,1,1,0,0>>+(1)*<<0,1,1,1,0>>+(1)*<<1,1,0,0,1>>+(1)*<<1,0,0,1,1>>
[149] T;
(3)*<<2,1,0,0,0>>+(3)*<<1,2,0,0,0>>+(1)*<<0,3,0,0,0>>+(6)*<<1,1,1,0,0>>
[150] for ( ; T; T = dp_rest(T)) print(dp_redble(T,C));
0
0
0
1

参照

section dp_red, dp_red_mod.

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