# Difference between revisions of "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);