Difference between revisions of "ApCoCoA-1:Weyl.WStandardForm"
From ApCoCoAWiki
(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...) |
|||
| Line 10: | Line 10: | ||
<example> | <example> | ||
| − | A2::=QQ[x[1..2],y[1..2]]; --Define | + | 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 -------------------------------
