Difference between revisions of "ApCoCoA-1:Weyl.WRGB"
(Updated example.) |
|||
| Line 19: | Line 19: | ||
A1::=QQ[x,d]; --Define appropriate ring | A1::=QQ[x,d]; --Define appropriate ring | ||
Use A1; | Use A1; | ||
| − | L:=[x,d,1] | + | L:=[x,d,1]; |
Weyl.WRGB(L); | Weyl.WRGB(L); | ||
[1] | [1] | ||
Revision as of 12:36, 28 April 2009
Weyl.WRGB
Reduced Groebner basis of an ideal I in Weyl algebra A_n.
Syntax
Weyl.WRGB(GB:LIST):LIST
Description
Please note: The function(s) explained on this page is/are using the ApCoCoAServer. You will have to start the ApCoCoAServer in order to use it/them.
This function converts Groebner basis GB computed by implementation in CoCoALib into reduced Groebner Basis. If GB is not a Groebner basis then the output will not be reduced Groebner basis. In fact, this function reduces a list GB of Weyl polynomals using Weyl.WNR into a new list L such that Ideal(L) = Ideal(GB).
This function is used inside the function Weyl.WGB to get a list of minimal Groebner basis elements for the ideal I.
@param GB Groebner Basis of an ideal in the Weyl algebra.
@result The reduced Groebner Basis of the given ideal.
Example
A1::=QQ[x,d]; --Define appropriate ring Use A1; L:=[x,d,1]; Weyl.WRGB(L); [1] -------------------------------
See also
Introduction to Groebner Basis in CoCoA
