F := FreeGroup("sig1","sig2");; sig1 := F.1;; sig2 := F.2;; rels := [ sig1^-1*sig2^-1*sig1^-1*sig2^-1, sig1*sig1*sig1*sig2^-1*sig1*sig2^-1*sig2^-1 ];; 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, sig1*sig1*sig1*sig2^-1*sig1*sig2^-1*sig2^-1 >;include_once("/home/mike/public_html/atlas/sporpolys/analytics.php") ?>