LT |
Syntax |
LT(E):same type as E where E has type IDEAL, MODULE, POLY, or VECTOR. |
Description |
Example |
Use R ::= QQ[x,y,z]; -- the default term-ordering is DegRevLex LT(y^2-xz); y^2 ------------------------------- Use R ::= QQ[x,y,z], Lex; LT(y^2-xz); xz ------------------------------- |
Example |
Use R ::= QQ[x,y]; V := Vector(0,x,y^2); LT(V); -- the leading term of V w.r.t. the default term-ordering, ToPos Vector(0, 0, y^2) ------------------------------- Use R ::= QQ[x,y], PosTo; V := Vector(0,x,y^2); LT(V); -- the leading term of V w.r.t. PosTo Vector(0, x, 0) ------------------------------- |
Example |
Use R ::= QQ[x,y,z]; I := Ideal(x-y,x-z^2); LT(I); Ideal(x, z^2) ------------------------------- |
See Also |