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

dp_sp(DPOLY1,DPOLY2)

dp_sp_mod(DPOLY1,DPOLY2,MOD)
     :: S-多項式の計算

RETURN
     分散表現多項式

DPOLY1  DPOLY2
     分散表現多項式

MOD
     素数

   * DPOLY1, DPOLY2 の S-多項式を計算する.

   * `dp_sp_mod()' の入力は, 全て有限体係数に変換されている必要がある.

   * 結果に有理数, 有理式が入るのを避けるため, 結果が定数倍,
     あるいは多項式 倍されている可能性がある.

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

参照
     *Note `dp_mod dp_rat': dp_mod dp_rat.

