dp_homo, dp_dehomo

dp_homo(dpoly)

:: 分散表現多項式の斉次化

dp_dehomo(dpoly)

:: 斉次分散表現多項式の非斉次化

return

分散表現多項式

dpoly

分散表現多項式

• dp_homo() は, dpoly の 各項 t について, 指数ベクトルの長さを 1 伸ばし, 最後の成分の値を d-deg(t) (d は dpoly の全次数) とした分散表現多項式を返す.
• dp_dehomo() は, dpoly の各項について, 指数ベクトルの最後の成分 を取り除いた分散多項式を返す.
• いずれも, 生成された多項式を用いた演算を行う場合, それらに適合する項順序を 正しく設定する必要がある.
• hgr() などにおいて, 内部的に用いられている.

[202] X=<<1,2,3>>+3*<<1,2,1>>;
(1)*<<1,2,3>>+(3)*<<1,2,1>>
[203] dp_homo(X);
(1)*<<1,2,3,0>>+(3)*<<1,2,1,2>>
[204] dp_dehomo(@);
(1)*<<1,2,3>>+(3)*<<1,2,1>>

参照

section gr, hgr, gr_mod, dgr.

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