Goto Chapter: Top 1 2 3 Bib Ind
Top of Book Next Chapter

# OpenMath

## OpenMath functionality in GAP

Version 10.1.0

30 March 2010

Marco Costantini
Email: costanti at science dot unitn dot it
Address:
Department of Mathematics
University of Trento

Alexander Konovalov
Email: alexk at mcs dot st-andrews dot ac dot uk
Homepage: http://www.cs.st-andrews.ac.uk/~alexk/
Address:
School of Computer Science
University of St Andrews
Jack Cole Building, North Haugh,
St Andrews, Fife, KY16 9SX, Scotland

Andrew Solomon
Email: andrew at illywhacker dot net
Homepage: http://www.illywhacker.net/
Address:
Faculty of IT
University of Technology, Sydney
Broadway, NSW 2007
Australia

### Abstract

The OpenMath package provides an OpenMath phrasebook for GAP: it allows GAP users to import and export mathematical objects encoded in OpenMath, for the purpose of exchanging them with other OpenMath-enabled applications.

### Copyright

The OpenMath package is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the Free Software Foundation; either version 2 of the License, or (at your option) any later version. For details, see the FSF's own site http://www.gnu.org/licenses/gpl.html.

Additionally, the OpenMath package 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 (support@gap-system.org) and the CAFE team at INRIA SA (stephane.dalmas@sophia.inria.fr).

### Acknowledgements

On various stages the development of the OpenMath package was supported by:

- European Commission through ESPRIT grant EP 24969 "Accessing and Using Mathematical Information Electronically" (see

  http://web.archive.org/web/20040416013945/http://www.nag.co.uk/projects/OpenMath.html).

- EU FP6 Programme project 026133 "SCIEnce - Symbolic Computation Infrastructure for Europe" (see http://www.symbolic-computation.org/).

We acknowledge with gratitude this support.

### Contents

1 Introduction and installation
1.1 Brief description of the package
1.2 Installation of the package
2 OpenMath functionality in GAP
2.1 Loading the package
2.2 Viewing OpenMath representation of an object
2.2-1 OMPrint
2.2-2 OMString
2.3 Writing and reading OpenMath code to/from streams
2.3-1 OMGetObject
2.3-2 OMPutObject
2.3-3 OMPlainString
2.4 Utilities
2.4-1 OMTest
3 Extending the OpenMath package
3.1 Exploring the range of supported symbols
3.2 Adding support for private content dictionaries and symbols
Top of Book Next Chapter
Goto Chapter: Top 1 2 3 Bib Ind

generated by GAPDoc2HTML