/usr/share/gap/pkg/openmath/doc/chap0.html is in gap-openmath 11.2.0+ds-1.
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 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 144 145 146 147 148 149 150 151 152 153 | <?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><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.2.0</p>
<p>16 November 2013</p>
</div>
<p><b>Marco Costantini
</b>
<br />Address: <br />Department of Mathematics<br /> University of Trento<br />
</p><p><b>Alexander Konovalov
</b>
<br />Email: <span class="URL"><a href="mailto:alexk at mcs dot st-andrews dot ac dot uk">alexk at mcs dot st-andrews dot ac dot uk</a></span>
<br />Homepage: <span class="URL"><a href="http://www.cs.st-andrews.ac.uk/~alexk/">http://www.cs.st-andrews.ac.uk/~alexk/</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:ln73 at st-andrews dot ac dot uk">ln73 at st-andrews dot ac dot uk</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>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-computation.org/">http://www.symbolic-computation.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#X83C7040B7B389CA5">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#X8393E7C57E539406">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#X7EB959397AB2B646">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#X87E11972845542AE">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#X84EBC4EC7D3DC9CB">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>
|