# Difference between revisions of "ApCoCoA:Weyl.WMul"

 <command>
<title>Weyl.GBasis</title>
<short_description>computing a Groebner basis in a weyl algebra.</short_description>


<syntax> Weyl.GBasis(I):LIST </syntax>

   <description>


This function computes a Groebner Basis for a left Ideal in a Weyl Algebra. It uses the ApCoCoAServer and needs currently a patched cocoa5.cpkg. Please considerthe corresponding thread in the forum for details.

<example> A := $weyl.NewRationalWeylAlgebra(3); Use Var(A.Identifier); P :=$weyl.NewWeylPolynom( x[1]^2 + 3); Q := $weyl.NewWeylPolynom( x[2]d[1]^2 + 3); --I; --CurrentRing(); I :=$weyl.NewWeylLeftIdeal([P,Q]);

\$weyl.GBasis(I); </example>

  </description>
<seealso>
<see>Weyl.WeylIdeal</see>
<see>Weyl.WeylPolynom</see>
<see>Weyl.NewWeylIdeal</see>
</seealso>
<types>
<type>cocoaserver</type>
</types>
<key>heldt</key>
<key>weyl.gbasis</key>
<wiki-category>Package_Weyl</wiki-category>
</command>