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

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