up previous next
HomogCompt    --    homogeneous part of given degree


Syntax
HomogCompt(f: RINGELEM, d: INT): RINGELEM

Description
This function returns the homogeneous part of weighted degree d of f.

NOTE: currently works only if the weighted degrees are integers (gr.dim is 1).

Example
/**/ use P ::= QQ[a,b,c];
/**/ HomogCompt(c^2-a+b+c+1, 1);
-a +b +c
/**/ OrdM := matrix([[2,3,1],[0,0,-1],[0,-1,0]]);
/**/ P := NewPolyRing(QQ, "a,b,c", OrdM, 1); -- 3 indeterminates
/**/ use P;
/**/ HomogCompt(c^2-a+b+c+1, 1);
c

See Also