LF -- the leading form of a polynomial or an ideal |
Syntax |
LF(I: IDEAL): IDEAL LF(F: RINGELEM): RINGELEM |
Description |
Example |
/**/ use R ::= QQ[x,y]; /**/ LF(x^2 -x*y +2*x -1); x^2 -x*y /**/ use R ::= QQ[x,y], Lex; -- GradingDim is 0: everything is homogeneous -- /**/ LF(x-1); --> !!! ERROR !!! as expected: instead of x-1 /**/ P := NewPolyRing(QQ, IndetSymbols(R), mat([[1,4],[1,0]]), 1); /**/ Use P; /**/ LF(x^2 - x*y); -x*y /**/ LF(x^4 + x^2 - y); x^4 -y |
See Also |