/usr/share/gap/lib/teachm2.g 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 | #############################################################################
##
#W teachm2.g GAP library Alexander Hulpke
##
##
#Y Copyright (C) 2008 The GAP Group
##
## This file contains rotines for turning teaching mode on and off.
##
TEACHMODE:=fail;
BindGlobal("TeachingMode",function(arg)
local s;
if Length(arg)>0 then
if arg[1]=true and TEACHMODE=fail then
RereadLib("teachmod.g"); # reread because we are redefining things
fi;
TEACHMODE:=arg[1]=true;
fi;
if TEACHMODE=true then
s:="ON";
else
s:="OFF";
fi;
Info(InfoWarning,1,"Teaching mode is turned ",s);
end);
|