up previous next
FGLM5

perform a FGLM Groebner Basis conversion
Syntax

FGLM5(GBOld:LIST, M:MAT):LIST


Description
The function FGLM5 calls the CoCoAServer to perform a FGLM Groebner Basis conversion. The Groebner Basis contained in list GBOld will be converted into a Groebner Basis with respect to term ordering Ord(M), i.e. M must be a matrix specifying a term ordering.

Example
Use Q[x, y, z], DegRevLex;
GBOld := [z^4 -3z^3 - 4yz + 2z^2 - y + 2z - 2, yz^2 + 2yz - 2z^2 + 1, y^2 - 2yz + z^2 - z, x + y - z];
M := LexMat(3);
GBNew := FGLM5(GBOld, M);
Use Q[x, y, z], Ord(M);
-- New basis (Lex)
BringIn(GBNew);


See Also