Steve Linton asked (already on March 10 - sorry):
Has anyone implemented the standard algorithms for testing whether a
permutation group is the full symmetric or alternating group?
Or are they in the library somewhere I have't thought to look?
They are not in the library, sorry again. If somebody has implemented,
them could you please tell, so that they might get included?