Asir - dp_homo dp_dehomo

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

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