`dp_red'
--------

dp_red(DPOLY1,DPOLY2,DPOLY3)
     :: δ

RETURN
     ꥹ
DPOLY1, DPOLY2, DPOLY3
     ʬɽ¿༰
VLIST

   * DPOLY1 + DPOLY2 ʤʬɽ¿༰ DPOLY3 1 󤹤.
   * 󤵤 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>>]


     `dp_nf'

