## For (A14+A2)+A2+A1 (nt142)
Read("GAP.txt");
beta  := [s1^-1, s2^-1, s1^-6*s3^-1, \1, s2^-2];;
gamma := [s1^-1*s2, \1, \1, s2^-1*s1*s3^-1*s2, \1];;
braid := [s1^3, s2^2, s1^11*s3^2, s3, s2^3];;
K := 3;;
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
