Difference between revisions of "ApCoCoA-1:Coxeter groups"
From ApCoCoAWiki
StrohmeierB (talk | contribs) |
StrohmeierB (talk | contribs) |
||
| Line 8: | Line 8: | ||
====Example in Symbolic Data Format==== | ====Example in Symbolic Data Format==== | ||
| + | |||
| + | <FREEALGEBRA createdAt="2014-07-30" createdBy="strohmeier"> | ||
| + | <vars>x,y,z</vars> | ||
| + | <basis> | ||
| + | <ncpoly>x*x-1</ncpoly> | ||
| + | <ncpoly>y*y-1</ncpoly> | ||
| + | <ncpoly>z*z-1</ncpoly> | ||
| + | <ncpoly>(x*y)^5-1</ncpoly> | ||
| + | <ncpoly>(y*x)^5-1</ncpoly> | ||
| + | <ncpoly>(x*z)^2-1</ncpoly> | ||
| + | <ncpoly>(z*x)^2-1</ncpoly> | ||
| + | <ncpoly>(y*z)^3-1</ncpoly> | ||
| + | <ncpoly>(z*y)^3-1</ncpoly> | ||
| + | </basis> | ||
| + | <Comment>Coxeter_Group_H3</Comment> | ||
| + | </FREEALGEBRA> | ||
Revision as of 18:43, 24 August 2014
Description
Reference
not found yet
Computation
Example in Symbolic Data Format
<FREEALGEBRA createdAt="2014-07-30" createdBy="strohmeier"> <vars>x,y,z</vars> <basis> <ncpoly>x*x-1</ncpoly> <ncpoly>y*y-1</ncpoly> <ncpoly>z*z-1</ncpoly> <ncpoly>(x*y)^5-1</ncpoly> <ncpoly>(y*x)^5-1</ncpoly> <ncpoly>(x*z)^2-1</ncpoly> <ncpoly>(z*x)^2-1</ncpoly> <ncpoly>(y*z)^3-1</ncpoly> <ncpoly>(z*y)^3-1</ncpoly> </basis> <Comment>Coxeter_Group_H3</Comment> </FREEALGEBRA>
