ApCoCoA-1:Weyl.WStandardForm: Difference between revisions

From ApCoCoAWiki
Stadler (talk | contribs)
New page: <command> <title>Weyl.WeylNormalForm</title> <short_description>Computes the Normal form of a Weyl polynomial. </short_description> <syntax> Weyl.WeylNormalForm(L:List):POLY </synt...
 
No edit summary
Line 10: Line 10:


<example>
<example>
A2::=QQ[x[1..2],y[1..2]]; --Define appropraite ring
A2::=QQ[x[1..2],y[1..2]]; --Define appropriate ring
Use A2;
Use A2;
L:=[[2x[1],y[1],x[2]^2], [-9y[2],x[1]^2,x[2]^3],[5]];
L:=[[2x[1],y[1],x[2]^2], [-9y[2],x[1]^2,x[2]^3],[5]];

Revision as of 11:54, 7 January 2009

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 appropriate 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
-------------------------------