/usr/share/gap/pkg/openmath/read.g is in gap-openmath 11.3.1+ds-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 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 | ###########################################################################
##
#W read.g OpenMath Package Andrew Solomon
#W Marco Costantini
##
##
#Y Copyright (C) 1999, 2000, 2001, 2006
#Y School Math and Comp. Sci., University of St. Andrews, Scotland
#Y Copyright (C) 2004, 2005, 2006 Marco Costantini
##
## read.g file
##
## the *.gd and *.g files are read by init.g
#################################################################
## Module 1.2.b
## This module converts the OpenMath XML into a tree and parses it;
## requires the function OMsymLookup (and the function
## ParseTreeXMLString from package GapDoc) and provides
## the function OMgetObjectXMLTree
if IsBound( ParseTreeXMLString ) then
ReadPackage("openmath", "/gap/xmltree.gi");
else
MakeReadWriteGlobal( "OMgetObjectXMLTree" );
OMgetObjectXMLTree := ReturnFail;
fi;
###########################################################################
## Module 2: conversion from Gap to OpenMath
## (Modules 1 and 2 are independent)
#################################################################
## Module 2.1
## This module is concerned with outputting OpenMath; provides
## OMPutObject and OMPrint
ReadPackage("openmath", "/gap/omputxml.gi");
ReadPackage("openmath", "/gap/omputbin.gi");
ReadPackage("openmath", "/gap/omput.gi");
if IsExistingFile(
Concatenation(
GAPInfo.PackagesInfo.("openmath")[1].InstallationPath,
"/private/private.gi") ) then
Read(
Concatenation(
GAPInfo.PackagesInfo.("openmath")[1].InstallationPath,
"/private/private.gi") );
fi;
###########################################################################
## Module 1.2.a
## This module reads token/values off the stream and builds GAP
## objects; formerly this was performed using the external binary
## 'gpipe' (required directories bin, include, OMCv1.3c and src).
## It required the function OMsymLookup and provided OMpipeObject.
## Some parts of this module are still re-used in other modules.
##
ReadPackage("openmath", "/gap/lex.g");
ReadPackage("openmath", "/gap/parse.gi");
###########################################################################
#E
|