ApCoCoA-1:Weyl.WRedGB

From ApCoCoAWiki
Revision as of 12:04, 24 May 2010 by Ali (talk | contribs)

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

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

Weyl.WNormalForm

Weyl.WGB

Weyl.WRGB

Weyl.WRGBS

Introduction to Groebner Basis in CoCoA

Introduction to CoCoAServer