Difference between revisions of "ApCoCoA-1:Weyl.WMul"
(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> | ||
| − | |||
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. | ||
| − | |||
</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
