Difference between revisions of "ApCoCoA-1:Coxeter groups"

From ApCoCoAWiki
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>