Difference between revisions of "ApCoCoA-1:Weyl.WRGB"
From ApCoCoAWiki
(New page: <command> <title>Weyl.WRGB</title> <short_description>Reduced Groebner basis of an ideal I in Weyl algebra <math>A_n</math>.</short_description> <syntax> Weyl.WRGB(L:LIST):LIST <...) |
(Change Wiki-category) |
||
| Line 26: | Line 26: | ||
</types> | </types> | ||
<key>weyl.wrgb</key> | <key>weyl.wrgb</key> | ||
| − | <wiki-category> | + | <wiki-category>Package_weyl</wiki-category> |
</command> | </command> | ||
Revision as of 13:48, 22 April 2009
Weyl.WRGB
Reduced Groebner basis of an ideal I in Weyl algebra .
Syntax
Weyl.WRGB(L:LIST):LIST
Description
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 WNR(F,L) into a new list L such that Ideal(L) = Ideal(GB).
This function is used inside the function WGB(I) to get a list of minimal Groebner basis elements for the ideal I.
Example
A1::=QQ[x,d]; --Define appropraite ring Use A1; L:=[x,d,1] Weyl.WRGB(L); [1] -------------------------------
See also
