/usr/share/gap/lib/other.gi is in gap-libs 4r7p5-2.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 | #############################################################################
##
#W other.gi GAP library Alexander Hulpke
##
##
#Y (C) 2000 School Mathematical Sciences, University of St Andrews, Scotland
##
## This file contains implementations for interface functions to other
## systems.
InstallMethod(MagmaInputString,"perm group",true,
[IsPermGroup,IsString],0,
function(g,s)
local i,nf;
s:=ShallowCopy(s);
Append(s,":=PermutationGroup<");
Append(s,String(LargestMovedPoint(g)));
Add(s,'|');
nf:=false;
for i in GeneratorsOfGroup(g) do
if nf then
Append(s,",\n");
fi;
nf:=true;
Append(s,String(i));
od;
Append(s,">;\n");
return s;
end);
|