F := FreeGroup("sig1","sig2","sig3");;
sig1 := F.1;; sig2 := F.2;; sig3 := F.3;;
rels := [ sig1^-1*sig2^-1*sig1^-1*sig2^-1, sig2^-1*sig3^-1*sig2^-1*sig3^-1, sig1^-1*sig2^-1*sig2^-1*sig2^-1*sig1^-1*sig2,
sig1^-1*sig3*sig1*sig2*sig3*sig2^-1, sig2*sig2*sig2*sig2*sig2*sig2,
sig1*sig1*sig1*sig1*sig1*sig1, sig2*sig3^-1*sig3^-1*sig2*sig3^-1*sig3^-1,
sig2*sig2*sig2*sig3*sig2^-1*sig3^-1*sig3^-1 ];;
rotpoly := F / rels;;
Finitely Presented Group Representation of the Rotation Group (Magma) :
rotpoly<sig1,sig2,sig3> := Group< sig1,sig2,sig3 | sig1^-1*sig2^-1*sig1^-1*sig2^-1, sig2^-1*sig3^-1*sig2^-1*sig3^-1,
sig1^-1*sig2^-1*sig2^-1*sig2^-1*sig1^-1*sig2, sig1^-1*sig3*sig1*sig2*sig3*sig2^-1,
sig2*sig2*sig2*sig2*sig2*sig2, sig1*sig1*sig1*sig1*sig1*sig1,
sig2*sig3^-1*sig3^-1*sig2*sig3^-1*sig3^-1, sig2*sig2*sig2*sig3*sig2^-1*sig3^-1*sig3^-1 >;
include_once("/home/mike/public_html/atlas/sporpolys/analytics.php") ?>