ApCoCoA-1:Weyl.WMul

Weyl.WeylGB

Computes the Groebner basis of the ideal I using corresponding

implementation in CoCoALib.

Syntax

Weyl.WeylGB(I):LIST

Description

Please note: The function(s) explained on this page is/are using the ApCoCoAServer. You will have to start the ApCoCoAServer in order to use

it/them.

This function computes a Groebner Basis for a Ideal $I=(f_{1},f_{2},...,f_{r})$ where every generator $f_{i}$ should be a Weyl polynomial in Normal form.

Example

A1::=QQ[x,d];	--Define appropraite ring
Use A1;
I:=Ideal(x,d);  -- Now start ApCoCoA server for executing next command
Weyl.WeylGB(I);
-- CoCoAServer: computing Cpu Time = 0
-------------------------------
[d, x, 1]
-------------------------------
Note that Groebner basis you obtained is not minimal.

See also

Weyl.WeylNormalForm