  
  
                                    [1X[5XOpenMath[105X[101X
  
  
                         [1X[5XOpenMath[105X functionality in GAP[101X
  
  
                                 Version 11.5.0
  
  
                                09 February 2020
  
  
                                Marco Costantini
  
                              Alexander Konovalov
  
                                  Max Nicosia
  
                                 Andrew Solomon
  
  
  
  Alexander Konovalov
      Email:    [7Xmailto:alexk at mcs dot st-andrews dot ac dot uk[107X
      Homepage: [7Xhttp://www.cs.st-andrews.ac.uk/~alexk/[107X
      Address:  [33X[0;14YSchool of Computer Science[133X
                [33X[0;14YUniversity of St Andrews[133X
                [33X[0;14YJack Cole Building, North Haugh,[133X
                [33X[0;14YSt Andrews, Fife, KY16 9SX, Scotland[133X
  
  
  Max Nicosia
      Email:    [7Xmailto:lmn27 at cam dot ac dot uk[107X
      Homepage: [7Xhttp://www-edc.eng.cam.ac.uk/~lmn27/[107X
      Address:  [33X[0;14YUniversity of Cambridge[133X
                [33X[0;14YDepartment of Engineering[133X
                [33X[0;14YEngineering Design Centre[133X
                [33X[0;14YIntelligent Interactive Systems Group[133X
                [33X[0;14YTrumpington Street, Cambridge, CB2 1PZ, UK[133X
  
  
  Andrew Solomon
      Email:    [7Xmailto:andrew at illywhacker dot net[107X
      Homepage: [7Xhttp://www.illywhacker.net/[107X
      Address:  [33X[0;14YFaculty of IT[133X
                [33X[0;14YUniversity of Technology, Sydney[133X
                [33X[0;14YBroadway, NSW 2007[133X
                [33X[0;14YAustralia[133X
  
  
  
  -------------------------------------------------------
  [1XAbstract[101X
  [33X[0;0YThe  [5XOpenMath[105X package provides an [5XOpenMath[105X phrasebook for [5XGAP[105X: it allows [5XGAP[105X
  users to import and export mathematical objects encoded in [5XOpenMath[105X, for the
  purpose of exchanging them with other [5XOpenMath[105X-enabled applications.[133X
  
  
  -------------------------------------------------------
  [1XCopyright[101X
  [33X[0;0YThe [5XOpenMath[105X package is free software; you can redistribute it and/or modify
  it    under    the    terms    of    the    GNU   General   Public   License
  ([7Xhttp://www.fsf.org/licenses/gpl.html[107X)  as  published  by  the Free Software
  Foundation;  either  version 2 of the License, or (at your option) any later
  version.[133X
  
  
  -------------------------------------------------------
  [1XAcknowledgements[101X
  [33X[0;0YOn various stages the development of the [5XOpenMath[105X package was supported by:[133X
  
  [30X    [33X[0;6YEuropean  Commission through ESPRIT grant EP 24969 [21XAccessing and Using
        Mathematical Information Electronically[121X (see[133X
  
        [33X[0;6Y[7Xhttp://web.archive.org/web/20040416013945/http://www.nag.co.uk/projects/OpenMath.html[107X).[133X
  
  [30X    [33X[0;6YEU  FP6  Programme  project  026133  [21XSCIEnce  -  Symbolic  Computation
        Infrastructure for Europe[121X (see [7Xhttp://www.symbolic-computing.org/[107X).[133X
  
  [30X    [33X[0;6YOpenDreamKit  Horizon  2020  European Research Infrastructures project
        #676541 (see [7Xhttp://opendreamkit.org/[107X).[133X
  
  [33X[0;0YWe acknowledge with gratitude this support.[133X
  
  
  -------------------------------------------------------
  
  
  [1XContents (openmath)[101X
  
  1 [33X[0;0YIntroduction and installation[133X
    1.1 [33X[0;0YBrief description of the package[133X
    1.2 [33X[0;0YInstallation of the package[133X
  2 [33X[0;0Y[5XOpenMath[105X functionality in [5XGAP[105X[133X
    2.1 [33X[0;0YViewing [5XOpenMath[105X representation of an object[133X
      2.1-1 OMPrint
      2.1-2 OMString
    2.2 [33X[0;0YReading [5XOpenMath[105X code from streams and strings[133X
      2.2-1 OMGetObject
      2.2-2 EvalOMString
    2.3 [33X[0;0YWriting [5XOpenMath[105X code to streams[133X
      2.3-1 IsOpenMathWriter
      2.3-2 OpenMathXMLWriter
      2.3-3 OpenMathBinaryWriter
      2.3-4 OMPutObject
      2.3-5 OMPlainString
    2.4 [33X[0;0YUtilities[133X
      2.4-1 OMTestXML
      2.4-2 OMTestBinary
  3 [33X[0;0YExtending the [5XOpenMath[105X package[133X
    3.1 [33X[0;0YExploring the range of supported symbols[133X
    3.2 [33X[0;0YAdding support for private content dictionaries and symbols[133X
  
  
  [32X
