Sophie: gap-system-packages-4.4.12-5mdv2010.0 i586

gap-system-packages-4.4.12-5mdv2010.0.i586.rpm

<?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 (GAPDoc) - Appendix A: The File 3k+1.xml</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" />
</head>
<body>


<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="chap4.html">4</a>  <a href="chap5.html">5</a>  <a href="chap6.html">6</a>  <a href="chap7.html">7</a>  <a href="chapA.html">A</a>  <a href="chapB.html">B</a>  <a href="chapC.html">C</a>  <a href="chapBib.html">Bib</a>  <a href="chapInd.html">Ind</a>  </div>

<div class="chlinkprevnexttop">&nbsp;<a href="chap0.html">Top of Book</a>&nbsp;  &nbsp;<a href="chap7.html">Previous Chapter</a>&nbsp;  &nbsp;<a href="chapB.html">Next Chapter</a>&nbsp;  </div>

<p><a id="X830C58F97F9CD901" name="X830C58F97F9CD901"></a></p>
<div class="ChapSects"><a href="chapA.html#X830C58F97F9CD901">A <span class="Heading">The File <code class="file">3k+1.xml</code></span></a>
</div>

<h3>A <span class="Heading">The File <code class="file">3k+1.xml</code></span></h3>

<p>Here is the complete source of the example <strong class="pkg">GAPDoc</strong> document <code class="file">3k+1.xml</code> discussed in Section <a href="chap1.html#X7B47AFA881BFC9DC"><b>1.2</b></a>.</p>


<table class="example">
<tr><td><pre>
&lt;?xml version="1.0" encoding="UTF-8"?&gt;

&lt;!--   A complete "fake package" documentation   
   $Id: 3k+1.xml,v 1.4 2007/10/04 22:02:12 gap Exp $
--&gt;

&lt;!DOCTYPE Book SYSTEM "gapdoc.dtd"&gt;

&lt;Book Name="3k+1"&gt;

&lt;TitlePage&gt;
  &lt;Title&gt;The &lt;Package&gt;ThreeKPlusOne&lt;/Package&gt; Package&lt;/Title&gt;
  &lt;Version&gt;Version 42&lt;/Version&gt;
  &lt;Author&gt;Dummy Authör
    &lt;Email&gt;3kplusone@dev.null&lt;/Email&gt;
  &lt;/Author&gt;

  &lt;Copyright&gt;&amp;copyright; 2000 The Author. &lt;P/&gt;
    You can do with this package what you want.&lt;P/&gt; Really.
  &lt;/Copyright&gt;
&lt;/TitlePage&gt;

&lt;TableOfContents/&gt;

&lt;Body&gt;
  &lt;Chapter&gt; &lt;Heading&gt;The &lt;M&gt;3k+1&lt;/M&gt; Problem&lt;/Heading&gt;
    &lt;Section Label="sec:theory"&gt; &lt;Heading&gt;Theory&lt;/Heading&gt;
      Let  &lt;M&gt;k \in  &amp;NN;&lt;/M&gt; be  a  natural number.  We consider  the
      sequence &lt;M&gt;n(i, k), i \in &amp;NN;,&lt;/M&gt; with &lt;M&gt;n(1, k) = k&lt;/M&gt; and
      else &lt;M&gt;n(i+1,  k) = n(i, k)  / 2&lt;/M&gt; if &lt;M&gt;n(i,  k)&lt;/M&gt; is even
      and &lt;M&gt;n(i+1, k) =  3 n(i, k) + 1&lt;/M&gt; if  &lt;M&gt;n(i, k)&lt;/M&gt; is odd.
      &lt;P/&gt; It  is not known  whether for  any natural number  &lt;M&gt;k \in
      &amp;NN;&lt;/M&gt; there is an &lt;M&gt;m \in &amp;NN;&lt;/M&gt; with &lt;M&gt;n(m, k) = 1&lt;/M&gt;.
      &lt;P/&gt;
      &lt;Package&gt;ThreeKPlusOne&lt;/Package&gt;  provides   the  function  &lt;Ref
      Func="ThreeKPlusOneSequence"/&gt;   to  explore   this  for   given
      &lt;M&gt;n&lt;/M&gt;.  If  you really  want  to  know something  about  this
      problem, see &lt;Cite Key="Wi98"/&gt; or
      &lt;URL&gt;http://mathsrv.ku-eichstaett.de/MGF/homes/wirsching/&lt;/URL&gt;
      for more details (and forget this package).
    &lt;/Section&gt;

    &lt;Section&gt; &lt;Heading&gt;Program&lt;/Heading&gt;
      In this section we describe the main function of this package.
      &lt;ManSection&gt; 
        &lt;Func Name="ThreeKPlusOneSequence" Arg="k[, max]"/&gt;
        &lt;Description&gt;
          This  function computes  for a  natural number  &lt;A&gt;k&lt;/A&gt; the
          beginning of the sequence  &lt;M&gt;n(i, k)&lt;/M&gt; defined in section
          &lt;Ref Sect="sec:theory"/&gt;.  The sequence  stops at  the first
          &lt;M&gt;1&lt;/M&gt;  or at  &lt;M&gt;n(&lt;A&gt;max&lt;/A&gt;, k)&lt;/M&gt;,  if &lt;A&gt;max&lt;/A&gt;  is
          given.
&lt;Example&gt;
gap&gt; ThreeKPlusOneSequence(101);
"Sorry, not yet implemented. Wait for Version 84 of the package"
&lt;/Example&gt;
        &lt;/Description&gt;
      &lt;/ManSection&gt;
    &lt;/Section&gt;
  &lt;/Chapter&gt;
&lt;/Body&gt;

&lt;Bibliography Databases="3k+1" /&gt;
&lt;TheIndex/&gt;

&lt;/Book&gt;

</pre></td></tr></table>


<div class="chlinkprevnextbot">&nbsp;<a href="chap0.html">Top of Book</a>&nbsp;  &nbsp;<a href="chap7.html">Previous Chapter</a>&nbsp;  &nbsp;<a href="chapB.html">Next Chapter</a>&nbsp;  </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="chap4.html">4</a>  <a href="chap5.html">5</a>  <a href="chap6.html">6</a>  <a href="chap7.html">7</a>  <a href="chapA.html">A</a>  <a href="chapB.html">B</a>  <a href="chapC.html">C</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>