dp_td, dp_sugar

dp_td(dpoly)

:: 頭項の全次数を返す.

dp_sugar(dpoly)

:: 多項式の sugar を返す.

return

自然数

dpoly

分散表現多項式

onoff

フラグ

• dp_td() は, 頭項の全次数, すなわち各変数の指数の和を返す.
• 分散表現多項式が生成されると, sugar と呼ばれるある整数が付与 される. この値は 仮想的に斉次化して計算した場合に結果が持つ全次数の値となる.
• sugar は, グレブナ基底計算における正規化対の選択のストラテジを 決定するための重要な指針となる.

[74] dp_ord(0)$
[75] X=<<1,2>>+<<0,1>>$
[76] Y=<<1,2>>+<<1,0>>$
[77] Z=X-Y;
(-1)*<<1,0>>+(1)*<<0,1>>
[78] dp_sugar(T);
3

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