Quelle  chap0.html   Sprache: HTML

<?xml version="1.0" encoding="UTF-8"?>

<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN"
         "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">

<html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en">
<head>
<title>GAP (openmath) - Contents</title>
<meta http-equiv="content-type" content="text/html; charset=UTF-8" />
<meta name="generator" content="GAPDoc2HTML" />
<link rel="stylesheet" type="text/css" href="manual.css" />
<script src="manual.js" type="text/javascript"></script>
<script type="text/javascript">overwriteStyle();</script>
</head>
<body class="chap0"  onload="jscontent()">


<div class="chlinktop"><span class="chlink1">Goto Chapter: </span><a href="chap0.html">Top</a>  <a href="chap1.html">1</a>  <a href="chap2.html">2</a>  <a href="chap3.html">3</a>  <a href="chapBib.html">Bib</a>  <a href="chapInd.html">Ind</a>  </div>

<div class="chlinkprevnexttop"> <a href="chap0.html">[Top of Book]</a>   <a href="chap0.html#contents">[Contents]</a>    <a href="chap1.html">[Next Chapter]</a>   </div>

<p id="mathjaxlink" class="pcenter"><a href="chap0_mj.html">[MathJax on]</a></p>
<p><a id="X7D2C85EC87DD46E5" name="X7D2C85EC87DD46E5"></a></p>
<div class="pcenter">

<h1><strong class="pkg">OpenMath</strong></h1>


<h2><strong class="pkg">OpenMath</strong> functionality in GAP</h2>

<p>Version 11.5.3</p>

<p>25 February 2023</p>

</div>
<p><b>Marco Costantini
          
       
        
  </b>
<br />Address: <br />Department of Mathematics<br /> University of Trento<br />
</p><p><b>Olexandr Konovalov
          
       
        
  </b>
<br />Email: <span class="URL"><a href="mailto:obk1 at st-andrews dot ac dot uk">obk1 at st-andrews dot ac dot uk</a></span>
<br />Homepage: <span class="URL"><a href="https://alex-konovalov.github.io/">https://alex-konovalov.github.io/</a></span>
<br />Address: <br />School of Computer Science<br /> University of St Andrews<br /> Jack Cole Building, North Haugh,<br /> St Andrews, Fife, KY16 9SX, Scotland<br />
</p><p><b>Max Nicosia
          
          
        
  </b>
<br />Email: <span class="URL"><a href="mailto:lmn27 at cam dot ac dot uk">lmn27 at cam dot ac dot uk</a></span>
<br />Homepage: <span class="URL"><a href="http://www-edc.eng.cam.ac.uk/~lmn27/">http://www-edc.eng.cam.ac.uk/~lmn27/</a></span>
<br />Address: <br />University of Cambridge<br /> Department of Engineering<br /> Engineering Design Centre<br /> Intelligent Interactive Systems Group<br /> Trumpington Street, Cambridge, CB2 1PZ, UK<br />
</p><p><b>Andrew Solomon
          
       
        
  </b>
<br />Email: <span class="URL"><a href="mailto:andrew at illywhacker dot net">andrew at illywhacker dot net</a></span>
<br />Homepage: <span class="URL"><a href="http://www.illywhacker.net/">http://www.illywhacker.net/</a></span>
<br />Address: <br />Faculty of IT<br /> University of Technology, Sydney<br /> Broadway, NSW 2007<br /> Australia<br />
</p>

<p><a id="X7AA6C5737B711C89" name="X7AA6C5737B711C89"></a></p>
<h3>Abstract</h3>
<p>The <strong class="pkg">OpenMath</strong> package provides an <strong class="pkg">OpenMath</strong> phrasebook for <strong class="pkg">GAP</strong>: it allows <strong class="pkg">GAP</strong> users to import and export mathematical objects encoded in <strong class="pkg">OpenMath</strong>, for the purpose of exchanging them with other <strong class="pkg">OpenMath</strong>-enabled applications.</p>

<p><a id="X81488B807F2A1CF1" name="X81488B807F2A1CF1"></a></p>
<h3>Copyright</h3>
<p>The <strong class="pkg">OpenMath</strong> package is free software; you can redistribute it and/or modify it under the terms of the <span class="URL"><a href="http://www.fsf.org/licenses/gpl.html">GNU General Public License</a></span> as published by the Free Software Foundation; either version 2 of the License, or (at your option) any later version.</p>

<p><a id="X82A988D47DFAFCFA" name="X82A988D47DFAFCFA"></a></p>
<h3>Acknowledgements</h3>
<p>On various stages the development of the <strong class="pkg">OpenMath</strong> package was supported by:</p>


<ul>
<li><p>European Commission through ESPRIT grant EP 24969 "Accessing and Using Mathematical Information Electronically" (see</p>

<p><span class="URL"><a href="http://web.archive.org/web/20040416013945/http://www.nag.co.uk/projects/OpenMath.html">http://web.archive.org/web/20040416013945/http://www.nag.co.uk/projects/OpenMath.html</a></span>).</p>

</li>
<li><p>EU FP6 Programme project 026133 "SCIEnce - Symbolic Computation Infrastructure for Europe" (see <span class="URL"><a href="http://www.symbolic-computing.org/">http://www.symbolic-computing.org/</a></span>).</p>

</li>
<li><p>OpenDreamKit Horizon 2020 European Research Infrastructures project #676541 (see <span class="URL"><a href="https://opendreamkit.org/">https://opendreamkit.org/</a></span>).</p>

</li>
</ul>
<p>We acknowledge with gratitude this support.</p>

<p><a id="X8537FEB07AF2BEC8" name="X8537FEB07AF2BEC8"></a></p>

<div class="contents">
<h3>Contents<a id="contents" name="contents"></a></h3>

<div class="ContChap"><a href="chap1.html#X7FE7D77A82FEB4AB">1 <span class="Heading">Introduction and installation</span></a>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap1.html#X7DECBB1287D90D79">1.1 <span class="Heading">Brief description of the package</span></a>
</span>
</div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap1.html#X79E1ED167D631DCC">1.2 <span class="Heading">Installation of the package</span></a>
</span>
</div>
</div>
<div class="ContChap"><a href="chap2.html#X7FE774BE829841A0">2 <span class="Heading"><strong class="pkg">OpenMath</strong> functionality in <strong class="pkg">GAP</strong></span></a>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap2.html#X817CD8387FEDF873">2.1 <span class="Heading">Viewing <strong class="pkg">OpenMath</strong> representation of an object</span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap2.html#X7B1815F078D8312B">2.1-1 OMPrint</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap2.html#X876AD5BC7A8812C3">2.1-2 OMString</a></span>
</div></div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap2.html#X7FA9F1747BDBB7AD">2.2 <span class="Heading">Reading <strong class="pkg">OpenMath</strong> code from streams and strings</span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap2.html#X7FBDCB3C83BBB115">2.2-1 OMGetObject</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap2.html#X7BFA1BAB7DA665F4">2.2-2 EvalOMString</a></span>
</div></div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap2.html#X858CE5BC84C6B18D">2.3 <span class="Heading">Writing <strong class="pkg">OpenMath</strong> code to streams</span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap2.html#X79EE2E8B7C83E0F4">2.3-1 IsOpenMathWriter</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap2.html#X798979EB7E4723A2">2.3-2 OpenMathXMLWriter</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap2.html#X786D6A987C1FAB0B">2.3-3 OpenMathBinaryWriter</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap2.html#X84FC6AD5872CBF33">2.3-4 OMPutObject</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap2.html#X85297E7081470DDF">2.3-5 OMPlainString</a></span>
</div></div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap2.html#X7DFC90B87DC503A1">2.4 <span class="Heading">Utilities</span></a>
</span>
<div class="ContSSBlock">
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap2.html#X7D6B0843798A19B9">2.4-1 OMTestXML</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap2.html#X834694B784B5850F">2.4-2 OMTestBinary</a></span>
</div></div>
</div>
<div class="ContChap"><a href="chap3.html#X795882BD7DC3B2E4">3 <span class="Heading">Extending the <strong class="pkg">OpenMath</strong> package</span></a>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap3.html#X85022B8D7CFA7B03">3.1 <span class="Heading">Exploring the range of supported symbols</span></a>
</span>
</div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap3.html#X7BF61AF183A25921">3.2 <span class="Heading">Adding support for private content dictionaries and symbols</span></a>
</span>
</div>
</div>
<div class="ContChap"><a href="chapBib.html"><span class="Heading">References</span></a></div>
<div class="ContChap"><a href="chapInd.html"><span class="Heading">Index</span></a></div>
<br />
</div>

<div class="chlinkprevnextbot"> <a href="chap0.html">[Top of Book]</a>   <a href="chap0.html#contents">[Contents]</a>    <a href="chap1.html">[Next Chapter]</a>   </div>


<div class="chlinkbot"><span class="chlink1">Goto Chapter: </span><a href="chap0.html">Top</a>  <a href="chap1.html">1</a>  <a href="chap2.html">2</a>  <a href="chap3.html">3</a>  <a href="chapBib.html">Bib</a>  <a href="chapInd.html">Ind</a>  </div>

<hr />
<p class="foot">generated by <a href="http://www.math.rwth-aachen.de/~Frank.Luebeck/GAPDoc">GAPDoc2HTML</a></p>
</body>
</html>