[GAP Forum] braid group

[Dan Lanke]

Dear Gap Forum,

I would like to add more relations to the braid group 
B_n = <b_1,...b_{n-1} | b_ib_j =b_jb_i if |i-j|>1, b_ib_{i+i}b_i=b_{i+1}b_ib_{i+1}>
and check whether the resulting group is finite.

The relations I want to add are: (b_i)^k=1, i=1,...(n-1) and (b_ib_{i+1})^l=1,
i=1,...,(n-2), where k and l are some fixed positive integers.

I have defined the new group using "FreeGroup" and tried checking if it is finite
using "IsFinite", but in most cases this fails to give me an answer.

Please let me know if there is a more efficient way to do this.

Thanks,
Dan