DF -- the degree form of a polynomial |
Syntax |
DF(F: RINGELEM): RINGELEM |
Description |
Example |
/**/ use R ::= QQ[x,y]; /**/ DF(x^2 -x*y +2*x -1); x^2 -x*y /**/ use R ::= QQ[x,y], Lex; -- GradingDim is 0: everything is homogeneous /**/ DF(x^2 -x*y +2*x -1); x^2 -x*y +2*x -1 /**/ P := NewPolyRing(QQ, IndetSymbols(R), mat([[1,4],[1,0]]), 1); /**/ use P; /**/ DF(x^2 -x*y); -x*y /**/ DF(x^4 +x^2 -y); x^4 -y |
See Also |