Dear Paul Brown,
Is there a limit on the orders of elements in an AgGroup?
the relative orders of generators of ag groups are currently limited
to 2^15-1. Unfortunately, because we never expected such big orders
(the single collector will in general be way too slow) this is *not*
checked, which causes this strange message. However, in the GAP 4 (to
be released this summer) there will be no such limitions *and* there
will (hopefully) better collectors be included which are more suitable
to large relative orders.
In GAP 3 it is possible to implement your own type of group element
using the methods outlined in "About Defining New Group Elements",
however, none of the special AG group methods is then applicible to
groups of such elements. If you only want the arithmetic of such
elements this would be a possible solution.