dp_homo, dp_dehomo

dp_homo(dpoly)

:: Homogenize a distributed polynomial

dp_dehomo(dpoly)

:: Dehomogenize a homogenious distributed polynomial

return

distributed polynomial

dpoly

distributed polynomial

• dp_homo() makes a copy of dpoly, extends the length of the exponent vector of each term t in the copy by 1, and sets the value of the newly appended component to d-deg(t), where d is the total degree of dpoly.
• dp_dehomo() make a copy of dpoly and removes the last component of each terms in the copy.
• Appropriate term orderings must be set when the results are used as inputs of some operations.
• These are used internally in hgr() etc.

[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>>

References

section gr, hgr, gr_mod, dgr.

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