ApCoCoA-1:Weyl.WMul: Difference between revisions

From ApCoCoAWiki
← Older editNewer edit →
Skaspar (talk | contribs)
Administrators, xmladmin
842 edits
Added ApCoCoAServer note
Stadler (talk | contribs)
Administrators, xmladmin
1,397 edits
No edit summary
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 I=(f1,f2,...,fr) where every generator fi should be a Weyl polynomial in Normal form.


See also

Weyl.WeylMul



Retrieved from "https://app.apcocoa.uni-passau.de/wiki/index.php?title=ApCoCoA-1:Weyl.WMul&oldid=8034"