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

dp_redble(DPOLY1,DPOLY2)
     :: Checks whether one head term is divisible by the other head
     term.

RETURN
     integer

DPOLY1  DPOLY2
     distributed polynomial

   * Returns 1 if the head term of DPOLY2 divides the head term of
     DPOLY1; otherwise 0.

   * Used for finding candidate terms at reduction of polynomials.

     [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

References
     *Note `dp_red dp_red_mod': dp_red dp_red_mod.

