Difference between revisions of "ApCoCoA-1:Weyl.WMul"
From ApCoCoAWiki
(update w.r.t. http://www.apcocoa.org/forum/viewtopic.php?f=20&t=918) |
(Added ApCoCoAServer note) |
||
| Line 6: | Line 6: | ||
</syntax> | </syntax> | ||
<description> | <description> | ||
| + | {{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 left Ideal in a Weyl Algebra. It uses the ApCoCoAServer and needs currently a patched cocoa5.cpkg. Please | ||
Revision as of 13:53, 14 November 2008
Weyl.GBasis
computing a Groebner basis in a weyl algebra.
Syntax
Weyl.GBasis(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 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);
See also
