## For (A14+A2)+A3 (nt139)
Read("GAP.txt");
beta  := [s1^-5*s3^-1, s2^-1, s1^-1, s2^-2, s3^-1];;
gamma := [s2^-1*s3*s1^-1*s2, \1, s1^-1*s2, \1, \1];;
braid := [s1^11*s3^2, s2, s1^3, s2^4, s3];;
K := 1;;
kappa := a3*a4;;
init_group(0: Simplified);
rels;
qsize(g.1/g.2);
#> 6  ## This is the commutant!
simplify(g.1/g.2);
#> #I  there are 2 generators and 0 relators of total length 0
