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

dp_redble(DPOLY1,DPOLY2)
     :: ǂ\ǂׂ.

RETURN
     
DPOLY1, DPOLY2
     U\

   * DPOLY1 ̓ DPOLY2 ̓Ŋ؂ 1, ؂Ȃ0 
     Ԃ.
   * ̊Ȗs, ǂ̍Ȗł邩T̂ɗp.

     [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

Q
     `dp_red'

