Go to the first, previous, next, last section, table of contents.

### `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>>

`参照`
  section `dp_mod`, `dp_rat`.

Go to the first, previous, next, last section, table of contents.