up previous next
DF

the degree form of a polynomial

Syntax
DF(F: RINGELEM): RINGELEM

Description
Same as LF , but does not throw an error if the argument is zero or if the GradingDim of the polynomial ring is 0. As defined in Kreuzer-Robbiano book II (Definition 4.2.8).

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