# ApCoCoA-1:Weyl.WRedGB

## Weyl.WRedGB

Computes reduced Groebner basis of a D-ideal in Weyl algebra `A_n`.

### Syntax

Weyl.WRedGB(GB:LIST):LIST

### Description

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

This function is replaced by the function Weyl.WRGB inside the function Weyl.WGB to get a list of minimal Groebner basis elements for the ideal I. Note: This function is faster than Weyl.WRGB for a list GB of large size.

@param

*GB*Groebner Basis of an ideal in the Weyl algebra.@result The reduced Groebner Basis of the given ideal.

#### Example

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

### See also

Introduction to Groebner Basis in CoCoA