This file is indexed.

/usr/share/gap/lib/other.gi is in gap-libs 4r6p5-3.

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);