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).