Difference between revisions of "ApCoCoA-1:Weyl.WMul"

From ApCoCoAWiki
(Added ApCoCoAServer note)
Line 1: Line 1:
 
   <command>
 
   <command>
     <title>Weyl.GBasis</title>
+
     <title>Weyl.WeylGB</title>
     <short_description>computing a Groebner basis in a weyl algebra.</short_description>
+
     <short_description>Computes the Groebner basis of the ideal I using corresponding
 +
implementation in CoCoALib.</short_description>
 
<syntax>
 
<syntax>
Weyl.GBasis(I):LIST
+
Weyl.WeylGB(I):LIST
 
</syntax>
 
</syntax>
 
     <description>
 
     <description>
 
{{ApCoCoAServer}}
 
{{ApCoCoAServer}}
  
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
+
This function computes a Groebner Basis for a Ideal <math>I = (f_1,f_2, ..., f_r)</math> where every generator <math>f_i</math> should be a Weyl polynomial in Normal form.
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>
 
   </description>
 
     <seealso>
 
     <seealso>
       <see>Weyl.WeylIdeal</see>
+
       <see>Weyl.WeylMul</see>
      <see>Weyl.WeylPolynom</see>
 
      <see>Weyl.NewWeylIdeal</see>
 
 
     </seealso>
 
     </seealso>
 
     <types>
 
     <types>
 
       <type>cocoaserver</type>
 
       <type>cocoaserver</type>
 
     </types>
 
     </types>
    <key>heldt</key>
+
     <key>weyl.weylgb</key>
     <key>weyl.gbasis</key>
 
 
     <wiki-category>Package_Weyl</wiki-category>
 
     <wiki-category>Package_Weyl</wiki-category>
 
   </command>
 
   </command>

Revision as of 14:37, 21 December 2008

Weyl.WeylGB

Computes the Groebner basis of the ideal I using corresponding

implementation in CoCoALib.

Syntax

Weyl.WeylGB(I):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 computes a Groebner Basis for a Ideal where every generator should be a Weyl polynomial in Normal form.


See also

Weyl.WeylMul