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

From ApCoCoAWiki
(update wtr. http://www.apcocoa.org/forum/viewtopic.php?f=20&t=886)
(trying to fix this.)
Line 1: Line 1:
 
   <command>
 
   <command>
 
     <title>Weyl.GBasis</title>
 
     <title>Weyl.GBasis</title>
     <short_description>computing a Groebner basis.</short_description>
+
     <short_description>computing a Groebner basis in a weyl algebra.</short_description>
 
<syntax>
 
<syntax>
 
Weyl.GBasis(I):LIST
 
Weyl.GBasis(I):LIST
 
</syntax>
 
</syntax>
 
     <description>
 
     <description>
{{Beta}}
 
  
 
This function computes a Groebner Basis for an ideal in a Weyl Algebra. It is currently completely independent from the other methods of package Weyl and does NOT use its data types.  
 
This function computes a Groebner Basis for an ideal in a Weyl Algebra. It is currently completely independent from the other methods of package Weyl and does NOT use its data types.  
Line 13: Line 12:
  
 
This implementation is not the final one, but currently due to requests enabled. In a later stage, the packages  data types should be used.
 
This implementation is not the final one, but currently due to requests enabled. In a later stage, the packages  data types should be used.
{{Stub}}
 
 
   </description>
 
   </description>
 
     <seealso>
 
     <seealso>

Revision as of 17:57, 12 March 2008

Weyl.GBasis

computing a Groebner basis in a weyl algebra.

Syntax

Weyl.GBasis(I):LIST

Description


This function computes a Groebner Basis for an ideal in a Weyl Algebra. It is currently completely independent from the other methods of package Weyl and does NOT use its data types.

The input is an ideal in a ring, having 2n indeterminates. The last n indeterminates are assumed to be the derivatives. All polynomails are assumed to be in their normal form with respect to the indeterminates' commutators, e.g. all <formula>x_i </formula> are in front of all <formula \partial_i </formula>, so the 'normal' CoCoA polynomials can be (and are) used to store the weyl polynomials. The output is again a list of polynomials in a normal ring, containing the Weyl-GBasis polynomials in their normal forms.

This implementation is not the final one, but currently due to requests enabled. In a later stage, the packages data types should be used.

See also

Weyl.WeylIdeal

Weyl.WeylPolynom

Weyl.NewWeylIdeal