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

From CoCoAWiki

(fixed formula tag) |
(update w.r.t. http://www.apcocoa.org/forum/viewtopic.php?f=20&t=918) |
||

Line 7: | Line 7: | ||

<description> | <description> | ||

− | This function computes a Groebner Basis for | + | 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> | </description> | ||

<seealso> | <seealso> |

## Revision as of 11:24, 17 April 2008

<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>