`dp_red', `dp_red_mod'
----------------------

dp_red(DPOLY1,DPOLY2,DPOLY3)

dp_red_mod(DPOLY1,DPOLY2,DPOLY3,MOD)
     :: $B0l2s$N4JLsA`:n(B

RETURN
     $B%j%9%H(B

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

VLIST
     $B%j%9%H(B

MOD
     $BAG?t(B

   * DPOLY1 + DPOLY2 $B$J$kJ,;6I=8=B?9`<0$r(B DPOLY3 $B$G(B 1 $B2s4JLs$9$k(B.

   * `dp_red_mod()' $B$NF~NO$O(B, $BA4$FM-8BBN78?t$KJQ49$5$l$F$$$kI,MW$,$"$k(B.

   * $B4JLs$5$l$k9`$O(B DPOLY2 $B$NF,9`$G$"$k(B. $B=>$C$F(B, DPOLY2 $B$N(B $BF,9`$,(B
     DPOLY3 $B$NF,9`$G3d$j@Z$l$k$3$H$,$"$i$+$8$a$o$+$C$F$$$J$1$l$P(B
     $B$J$i$J$$(B.

   * $B0z?t$,@0?t78?t$N;~(B, $B4JLs$O(B, $BJ,?t$,8=$l$J$$$h$&(B, $B@0?t(B A, B, $B9`(B T
     $B$K$h$j(B A(DPOLY1 + DPOLY2)-BT DPOLY3 $B$H$7$F7W;;$5$l$k(B.

   * $B7k2L$O(B, `[A DPOLY1,A DPOLY2 - BT DPOLY3]' $B$J$k%j%9%H$G$"$k(B.

     [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>>]

$B;2>H(B
     *Note `dp_mod dp_rat': dp_mod dp_rat.

