`dp_sp', `dp_sp_mod'
--------------------

dp_sp(DPOLY1,DPOLY2)

dp_sp_mod(DPOLY1,DPOLY2,MOD)
     :: Computation of an S-polynomial

RETURN
     distributed polynomial

DPOLY1  DPOLY2
     distributed polynomial

MOD
     prime

   * This function computes the S-polynomial of DPOLY1 and DPOLY2.

   * Inputs of `dp_sp_mod()' must be polynomials with coefficients in a
     finite field.

   * The result may be multiplied by a constant in the ground field in
     order to make the result integral.

     [227] X=dp_ptod(x^2*y+x*y,[x,y]);
     (1)*<<2,1>>+(1)*<<1,1>>
     [228] Y=dp_ptod(x*y^2+x*y,[x,y]);
     (1)*<<1,2>>+(1)*<<1,1>>
     [229] dp_sp(X,Y);
     (-1)*<<2,1>>+(1)*<<1,2>>

References
     *Note `dp_mod dp_rat': dp_mod dp_rat.

