# This is a presentation
# of the group SL(2,Z mod 32).
# The elements "a" and "b"
# are the images generators s_1, s_2
# of the braid group in 3 strings
# under an epimorphism B_3->SL(2,Z mod 32).
m:=32;
g:=SL(2,Integers mod m);
u:=ZmodnZObj(1,m);
a:=u*[[1,0],[-1,1]];
b:=u*[[1,1],[0,1]];