# ApCoCoA-1:Weyl.WRGB

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

## Weyl.WRGB

Reduced Groebner basis of an ideal I in Weyl algebra ${\displaystyle A_{n}}$.

### Syntax

```Weyl.WRGB(L:LIST):LIST
```

### Description

This function converts Groebner basis GB computed by implementation in CoCoALib into reduced Groebner Basis. If GB is not a Groebner basis then the output will not be reduced Groebner basis. In fact, this function reduces a list GB of Weyl polynomals using WNR(F,L) into a new list L such that Ideal(L) = Ideal(GB).

This function is used inside the function WGB(I) to get a list of minimal Groebner basis elements for the ideal I.

#### Example

```A1::=QQ[x,d];	--Define appropraite ring
Use A1;
L:=[x,d,1]
Weyl.WRGB(L);
[1]
-------------------------------
```