up previous next
FGLM5

perform a FGLM Groebner Basis conversion

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

Description
***** NOT YET IMPLEMENTED *****

This function is implemented in ApCoCoALib by Stefan Kaspar.

The function FGLM5 calls the CoCoAServer to perform a FGLM Groebner Basis conversion. Please note that the ideal generated by the given Groebner Basis must be zero-dimensional. 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 QQ[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 QQ[x, y, z], Ord(M);
  -- New basis (Lex)
  BringIn(GBNew);