Difference between revisions of "ApCoCoA-1:Weyl.WRGB"
| Line 1: | Line 1: | ||
<command> | <command> | ||
<title>Weyl.WRGB</title> | <title>Weyl.WRGB</title> | ||
| − | <short_description>Reduced Groebner basis of an ideal I in Weyl algebra <tt>A_n</tt>.</short_description> | + | <short_description>Reduced Groebner basis of an ideal <tt>I</tt> in Weyl algebra <tt>A_n</tt>.</short_description> |
<syntax> | <syntax> | ||
Weyl.WRGB(GB:LIST):LIST | Weyl.WRGB(GB:LIST):LIST | ||
| Line 8: | Line 8: | ||
<em>Please note:</em> The function(s) explained on this page is/are using the <em>ApCoCoAServer</em>. You will have to start the ApCoCoAServer in order to use it/them. | <em>Please note:</em> The function(s) explained on this page is/are using the <em>ApCoCoAServer</em>. You will have to start the ApCoCoAServer in order to use it/them. | ||
<par/> | <par/> | ||
| − | This function converts Groebner basis GB computed by ApCoCoAServer into the reduced Groebner Basis. If GB is not a Groebner basis then the output will not be the reduced Groebner basis. In fact, this function reduces a list GB of Weyl | + | This function converts Groebner basis <tt>GB</tt> computed by ApCoCoAServer into the reduced Groebner Basis. If <tt>GB</tt> is not a Groebner basis then the output will not be the reduced Groebner basis. In fact, this function reduces a list <tt>GB</tt> of Weyl polynomials using <ref>Weyl.WNR</ref> into a new list L such that Ideal(L) = Ideal(GB). |
This function is used inside the function <ref>Weyl.WGB</ref> to get a list of minimal Groebner basis elements for the ideal I. | This function is used inside the function <ref>Weyl.WGB</ref> to get a list of minimal Groebner basis elements for the ideal I. | ||
Revision as of 13:39, 10 July 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 ApCoCoAServer into the reduced Groebner Basis. If GB is not a Groebner basis then the output will not be the reduced Groebner basis. In fact, this function reduces a list GB of Weyl polynomials 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
