/usr/share/gap/pkg/openmath/doc/chap1.html is in gap-openmath 11.3.1+ds-2.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 | <?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) - Chapter 1: Introduction and installation</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="chap1" 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="chap0.html">[Previous Chapter]</a> <a href="chap2.html">[Next Chapter]</a> </div>
<p><a id="X7FE7D77A82FEB4AB" name="X7FE7D77A82FEB4AB"></a></p>
<div class="ChapSects"><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>
<h3>1 <span class="Heading">Introduction and installation</span></h3>
<p><a id="X7DECBB1287D90D79" name="X7DECBB1287D90D79"></a></p>
<h4>1.1 <span class="Heading">Brief description of the package</span></h4>
<p>The <strong class="pkg">GAP</strong> package <strong class="pkg">OpenMath</strong> 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>This manual describes:</p>
<ul>
<li><p>how to view <strong class="pkg">OpenMath</strong> representation of an object;</p>
</li>
<li><p>how to read <strong class="pkg">OpenMath</strong> object from stream or write it to stream for the purposes of exchange with another <strong class="pkg">OpenMath</strong>-enabled application;</p>
</li>
<li><p>how to find which objects can be converted to/from <strong class="pkg">OpenMath</strong> using this package;</p>
</li>
<li><p>how to extend the package to support private <strong class="pkg">OpenMath</strong> content dictionaries.</p>
</li>
</ul>
<p>For the detailed information about <strong class="pkg">OpenMath</strong> standard and content dictionaries see the <strong class="pkg">OpenMath</strong> homepage <span class="URL"><a href="http://www.openmath.org">http://www.openmath.org</a></span>.</p>
<p>For practical purposes, the <strong class="pkg">OpenMath</strong> package will be most efficient if used in conjunction with the <strong class="pkg">GAP</strong> package <strong class="pkg">SCSCP</strong> (<a href="chapBib.html#biBSCSCPpkg">[KL]</a>) which implements the Symbolic Computation Software Composability protocol (<a href="chapBib.html#biBSCSCPspec">[FHKLR]</a>). This protocol specifies an <strong class="pkg">OpenMath</strong>-based remote procedure call framework, in which all messages (procedure calls and returns of results of successful computation or error messages) are encoded in <strong class="pkg">OpenMath</strong> using content dictionaries <strong class="pkg">scscp1</strong> and <strong class="pkg">scscp2</strong> (<a href="chapBib.html#biBscscp1cd">[FHKLLRa]</a>, <a href="chapBib.html#biBscscp2cd">[FHKLLRb]</a>). Using the <strong class="pkg">SCSCP</strong> package, <strong class="pkg">GAP</strong> can communicate locally or remotely with any other <strong class="pkg">OpenMath</strong>-enabled <strong class="pkg">SCSCP</strong>-compliant application which may be not only another computer algebra system but also another instance of the <strong class="pkg">GAP</strong> system or even, for example, an external C/C++ or Java application. Such communication will go into a seamless manner with the <strong class="pkg">GAP</strong>/<strong class="pkg">OpenMath</strong> conversion going in the background.</p>
<p><a id="X79E1ED167D631DCC" name="X79E1ED167D631DCC"></a></p>
<h4>1.2 <span class="Heading">Installation of the package</span></h4>
<p>To use the <strong class="pkg">OpenMath</strong> package it is required to install the <strong class="pkg">GAPDoc</strong> package <a href="chapBib.html#biBGAPDoc">[LN]</a> to use the help system and parse <strong class="pkg">OpenMath</strong> objects in the XML format.</p>
<p>To install the <strong class="pkg">OpenMath</strong> package, unpack the archive and place the <code class="file">openmath</code> directory in the <code class="file">pkg</code> subdirectory of your <strong class="pkg">GAP</strong>4.4 installation. When you don't have write access to the directory of your main <strong class="pkg">GAP</strong> installation, you can also install the package <em>outside the <strong class="pkg">GAP</strong> main directory</em> by unpacking it inside a directory <code class="file">MYGAPDIR/pkg</code>. Then to be able to load <strong class="pkg">OpenMath</strong> you need to call GAP with the <code class="code">-l ";MYGAPDIR"</code> option.</p>
<p>When the <strong class="pkg">OpenMath</strong> package is installed, it may be loaded as shown below (possibly loading required packages at the same time):</p>
<div class="example"><pre>
<span class="GAPprompt">gap></span> <span class="GAPinput">LoadPackage("openmath");</span>
-----------------------------------------------------------------------------
Loading OpenMath 11.0.0 (OpenMath functionality in GAP)
by Marco Costantini,
Alexander Konovalov (http://www.cs.st-andrews.ac.uk/~alexk/),
Nicosia Max (ln73@st-andrews.ac.uk), and
Andrew Solomon (http://www.illywhacker.net/).
Homepage: http://www.cs.st-andrews.ac.uk/~alexk/openmath/
-----------------------------------------------------------------------------
true
</pre></div>
<div class="chlinkprevnextbot"> <a href="chap0.html">[Top of Book]</a> <a href="chap0.html#contents">[Contents]</a> <a href="chap0.html">[Previous Chapter]</a> <a href="chap2.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>
|