There is a bug in "agcomple.g" which makes it impossible to use
'Complements' for ag groups. This bug was introduced when I added a
undocumented feature to 'Complements' in order to have a (very
rudimentary) isomorphism test. The bug will be fixed in the next
release of gap.
Sorry for any inconvenience
Frank Celler