`dp_redble'
-----------

dp_redble(DPOLY1,DPOLY2)
     :: $BF,9`$I$&$7$,@0=|2DG=$+$I$&$+D4$Y$k(B.

RETURN
     $B@0?t(B

DPOLY1, DPOLY2
     $BJ,;6I=8=B?9`<0(B

   * DPOLY1 $B$NF,9`$,(B DPOLY2 $B$NF,9`$G3d$j@Z$l$l$P(B 1, $B3d$j@Z$l$J$1$l$P(B 0
     $B$rJV$9(B.

   * $BB?9`<0$N4JLs$r9T$&:](B, $B$I$N9`$r4JLs$G$-$k$+$rC5$9$N$KMQ$$$k(B.

     [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

$B;2>H(B
     *Note `dp_red dp_red_mod': dp_red dp_red_mod.

