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.