\noindent
This share package has been developed to allow GAP users to
import and export mathematical objects encoded in  in OpenMath,
for the purpose of exchanging them with other applications which
are OpenMath enabled.


\noindent
1. Copyright

This share package is distributed under the terms of the GAP
copyright. Additionally, it contains code developed at INRIA
(copyright INRIA), under the ESPRIT project number 24969 (OpenMath).
The user may not use the library in commercial products without seeking
permission from the GAP group (gap@dcs.st-and.ac.uk) and the 
CAFE team at  INRIA SA (stephane.dalmas@sophia.inria.fr).

It may be redistributed ``as is'' together with this notice.

\medskip
\noindent
2. Technicalities

This share package uses an external binary and therefore works only under
UNIX systems.

To install this share package (after extracting the share packages archive
file to the GAP home directory):

a) go to the directory `pkg/openmath/OMCv1.3c/src' and call 

/bin/sh ./configure

and then call `make' to compile the INRIA library (producing libOM.a).


b) go to the directory `pkg/openmath' (the
directory containing this README file) and call

/bin/sh ./configure <path>

where path is a path to the main GAP root directory (so normally you would
call /bin/sh ./configure ../..).

afterwards call `make' to compile the binary.


\medskip
\noindent
3. The INRIA library

The files in the directory `openmath/OMCv1.3c' are the OpenMath C library
version 1.3c developed by the CAFE group at INRIA SA. For the latest 
version, contact: stephane.dalmas@sophia.inria.fr


\vfill

Andrew Solomon (andrew@illywhacker.net),
Department of Computer Science,
University of St. Andrews.


9 March 2000.

