Thanks Joachim. Mike Newman has used SPAS to verify a result I obtained
another way. I shall put the reference manual as a provisional
reference, and possibly change it to something more specific
when I get Mike's full report.

as ever Geoff

(PS The result is that the Fibonacci Group F(4,7) is infinite --
a Golod-Saverevic argument).