Burkhard

Thankx for your reply. In your program, you used:

J := Subgroup (G, Union (H.generators, B.generators));

Presumably this is the same as Closure(H,B). Under what circumstances would
one use the former over the latter, and vice-versa?

Bruce