Difference between revisions of "ApCoCoA-1:FGLM.FGLM"
From ApCoCoAWiki
KHiddemann (talk | contribs) (removing Kaspar's command refs in the descriptions since the man pages look strange) |
(Updated description) |
||
| Line 8: | Line 8: | ||
<description> | <description> | ||
The function <tt>FGLM</tt> calls the ApCoCoAServer to perform a | The function <tt>FGLM</tt> calls the ApCoCoAServer to perform a | ||
| − | FGLM Groebner Basis conversion. The Groebner Basis contained in list | + | FGLM Groebner Basis conversion. Please note that the ideal generated by |
| − | GBOld will be converted into a Groebner Basis with respect to term | + | the given Groebner Basis must be zero-dimensional. The Groebner |
| − | ordering Ord(M), i.e. M must be a matrix specifying a | + | Basis contained in list GBOld will be converted into a Groebner |
| − | term ordering. If the parameter M is not specified, CoCoA will assume M = | + | Basis with respect to term ordering Ord(M), i.e. M must be a matrix |
| − | Ord(). Please note that the resulting polynomials belong to | + | specifying a term ordering. If the parameter M is not specified, CoCoA |
| − | a different ring than the ones in GBOld. | + | will assume M = Ord(). Please note that the resulting polynomials belong |
| + | to a different ring than the ones in GBOld. | ||
<example> | <example> | ||
Revision as of 16:19, 5 November 2008
FGLM
Perform a FGLM Groebner Basis conversion using ApCoCoAServer
Syntax
FGLM(GBOld:LIST, M:MAT):LIST FGLM(GBOld:LIST):LIST
Description
The function FGLM calls the ApCoCoAServer 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. If the parameter M is not specified, CoCoA will assume M = Ord(). Please note that the resulting polynomials belong to a different ring than the ones in GBOld.
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 := FGLM(GBOld, M); Use Q[x, y, z], Ord(M); -- New basis (Lex) BringIn(GBNew);
See also
