In all cases the data input for the permutation version and corresponding finitely presented version of a group agree in the following sense. Substituting the generating permutations of the permutation version into the words given in the finitely presented version for conjugacy class representatives and subgroup generators will always yield the permutations given in the permutation version.
SimRecordRequire(~X, "Reps"); x := X`Reps[SimClassNameIndex(X, "nY")];
The specification of H locates a copy of H inside G. For example N(2A) is the normalizer of an involution in 2A; N(5AB) is the normalizer of a group of order 5 containing elements of classes 5A and 5B; N(3^3)=N(3AB4 C3 D6) is the normalizer of an elementary abelian group of order 27 whose 13 cyclic subgroups number 4 containing both classes 3A and 3B, 3 containing 3C only, 6 containing 3D only; N(2A,2C,3A,3B,...) is the normalizer of a group containing elements in the indicated classes among others. Within Magma, the maximal subgroups relative to the finitely presented group are stored in the sequence MaxF, while the maximal subgroups relative to the permutation group are stored in the sequence Max.