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