`dp_red'
--------

dp_red(DPOLY1,DPOLY2,DPOLY3)
     :: ̊Ȗ񑀍

RETURN
     Xg
DPOLY1, DPOLY2, DPOLY3
     U\
VLIST

   * DPOLY1 + DPOLY2 Ȃ镪U\ DPOLY3 1 Ȗ񂷂.
   * Ȗ񂳂鍀 DPOLY2 ̓ł. ], DPOLY2 ̓ 
     DPOLY3 ̓Ŋ؂邱Ƃ炩߂킩ĂȂ΂Ȃ
     .
   * W̎, Ȗ, Ȃ悤,  A, B,  T 
     ɂ A(DPOLY1 + DPOLY2)-BT DPOLY3 ƂČvZ.
   * ʂ, `[A DPOLY1,A DPOLY2 - BT DPOLY3]' Ȃ郊Xgł.

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

Q
     `dp_nf'

