ApCoCoA-1:Coxeter groups: Difference between revisions
From ApCoCoAWiki
StrohmeierB (talk | contribs) |
StrohmeierB (talk | contribs) |
||
| Line 1: | Line 1: | ||
=== <div id="Coxeter_groups">[[:ApCoCoA:Symbolic data#Coxeter_groups|Full Icosahedral Group]]</div> === | === <div id="Coxeter_groups">[[:ApCoCoA:Symbolic data#Coxeter_groups|Full Icosahedral Group]]</div> === | ||
==== Description ==== | ==== Description ==== | ||
The full icosahedral group is a Coxeter group. | |||
Their relations results of a Matrix, the Coxetermatrix. | |||
The Matrix with i lines and j columns gives the following relations: | |||
<r1,...,rn|(rirj)^mij | |||
==== Reference ==== | ==== Reference ==== | ||
Revision as of 18:51, 24 August 2014
Description
The full icosahedral group is a Coxeter group. Their relations results of a Matrix, the Coxetermatrix. The Matrix with i lines and j columns gives the following relations:
<r1,...,rn|(rirj)^mij
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>
