##############################################################################
##
#W  s3.g                 Idrel Package                 Chris Wensley
#W                                                             & Anne Heyworth
##
#H  @(#)$Id: s3.g,v 2.02 2006/03/29 gap Exp $
##
#Y  Copyright (C) 1999,2001 University of St. Andrews, North Haugh,
#Y                          St. Andrews, Fife KY16 9SS, Scotland
##
Revision.("idrel/examples/s3_g") :=
   "@(#)$Id: s3.g,v 2.02 2006/03/29 gap Exp $";

SetInfoLevel( InfoIdRel, 1 );
Info( InfoIdrel, 1, "setting level of InfoIdRel to 1" );

F := FreeGroup( 2 );
Print( F, "\n" );
a := F.1;; b := F.2;;
rels := [ a^3, b^2, (a*b)^2 ];
Print( rels, "\n" );
s3 := F/rels;;
SetName( s3, "s3" );
ids := IdentitiesAmongRelators( s3 );
Print( "\n", Length(ids[1]), " identities found\n" );
