read.g

###########################################################################
##
#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