Quellcodebibliothek Statistik Leitseite products/sources/formale Sprachen/GAP/pkg/openmath/doc/   (Algebra von RWTH Aachen Version 4.15.1©)  Datei vom 25.1.2023 mit Größe 9 kB image not shown  

Quelle  chap0_mj.html   Sprache: HTML

 
 products/sources/formale Sprachen/GAP/pkg/openmath/doc/chap0_mj.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>
<script type="text/javascript"
  src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML">
</script>
<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_mj.html">Top</a>  <a href="chap1_mj.html">1</a>  <a href="chap2_mj.html">2</a>  <a href="chap3_mj.html">3</a>  <a href="chapBib_mj.html">Bib</a>  <a href="chapInd_mj.html">Ind</a>  </div>

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

<p id="mathjaxlink" class="pcenter"><a href="chap0.html">[MathJax off]</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_mj.html#X7FE7D77A82FEB4AB">1 <span class="Heading">Introduction and installation</span></a>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap1_mj.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_mj.html#X79E1ED167D631DCC">1.2 <span class="Heading">Installation of the package</span></a>
</span>
</div>
</div>
<div class="ContChap"><a href="chap2_mj.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_mj.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_mj.html#X7B1815F078D8312B">2.1-1 OMPrint</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap2_mj.html#X876AD5BC7A8812C3">2.1-2 OMString</a></span>
</div></div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap2_mj.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_mj.html#X7FBDCB3C83BBB115">2.2-1 OMGetObject</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap2_mj.html#X7BFA1BAB7DA665F4">2.2-2 EvalOMString</a></span>
</div></div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap2_mj.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_mj.html#X79EE2E8B7C83E0F4">2.3-1 IsOpenMathWriter</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap2_mj.html#X798979EB7E4723A2">2.3-2 OpenMathXMLWriter</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap2_mj.html#X786D6A987C1FAB0B">2.3-3 OpenMathBinaryWriter</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap2_mj.html#X84FC6AD5872CBF33">2.3-4 OMPutObject</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap2_mj.html#X85297E7081470DDF">2.3-5 OMPlainString</a></span>
</div></div>
<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap2_mj.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_mj.html#X7D6B0843798A19B9">2.4-1 OMTestXML</a></span>
<span class="ContSS"><br /><span class="nocss">  </span><a href="chap2_mj.html#X834694B784B5850F">2.4-2 OMTestBinary</a></span>
</div></div>
</div>
<div class="ContChap"><a href="chap3_mj.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_mj.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_mj.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_mj.html"><span class="Heading">References</span></a></div>
<div class="ContChap"><a href="chapInd_mj.html"><span class="Heading">Index</span></a></div>
<br />
</div>

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


<div class="chlinkbot"><span class="chlink1">Goto Chapter: </span><a href="chap0_mj.html">Top</a>  <a href="chap1_mj.html">1</a>  <a href="chap2_mj.html">2</a>  <a href="chap3_mj.html">3</a>  <a href="chapBib_mj.html">Bib</a>  <a href="chapInd_mj.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>

99%


¤ Dauer der Verarbeitung: 0.15 Sekunden  (vorverarbeitet)  ¤

*© Formatika GbR, Deutschland




Wurzel

Suchen

Beweissystem der NASA

Beweissystem Isabelle

NIST Cobol Testsuite

Cephes Mathematical Library

Wiener Entwicklungsmethode

Haftungshinweis

Die Informationen auf dieser Webseite wurden nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit, noch Qualität der bereit gestellten Informationen zugesichert.

Bemerkung:

Die farbliche Syntaxdarstellung ist noch experimentell.