LPosn -- the position of the leading power-product in a ModuleElem |
Syntax |
LPosn(V: MODULEELEM): INT |
Description |
Example |
/**/ use R ::= QQ[x,y,z]; -- the default term-ordering is DegRevLex /**/ R4 := NewFreeModule(R,4); -- the default module ordering is TOPos /**/ LPosn(ModuleElem(R4, [0, x, y^2, x^2])); 4 /**/ LPP(ModuleElem(R4, [0, x, y^2, x^2])); x^2 /**/ LT(ModuleElem(R4, [0, x, y^2, x^2])); [0, 0, 0, x^2] use R ::= QQ[x,y], PosTo; LT(Vector(x,y^2)); Vector(x, 0) ------------------------------- LPP(Vector(x,y^2)); x ------------------------------- LPosn(Vector(x,y^2)); 1 ------------------------------- |
See Also |