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.