ApCoCoA-1:Weyl.WStandardForm

Weyl.WeylNormalForm

Computes the Normal form of a Weyl polynomial.

Syntax

Weyl.WeylNormalForm(L:List):POLY

Description

Input is a list of lists where each list represents a monomial of a Weyl polynomial. The result is a Weyl polynomial in Normal form.

Example

A2::=QQ[x[1..2],y[1..2]];	--Define appropraite ring
Use A2;
L:=[[2x[1],y[1],x[2]^2], [-9y[2],x[1]^2,x[2]^3],[5]];
Weyl.WeylNormalForm(L);

-------------------------------
-9x[1]^2x[2]^3y[2] - 27x[1]^2x[2]^2 + 2x[1]x[2]^2y[1] + 5
-------------------------------