ApCoCoA-1:Weyl.WMul

Weyl.GBasis

computing a Groebner basis in a weyl algebra.

Syntax

Weyl.GBasis(I):LIST

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

See also

Weyl.WeylIdeal

Weyl.WeylPolynom

Weyl.NewWeylIdeal