GAPDoc-1.6.4/ 0000755 0001751 0001751 00000000000 13714505050 011677 5 ustar luebeck ldfm GAPDoc-1.6.4/3k+1/ 0000755 0001751 0001751 00000000000 13714505050 012350 5 ustar luebeck ldfm GAPDoc-1.6.4/3k+1/3k+1.bib 0000644 0001751 0001751 00000000525 13714505036 013505 0 ustar luebeck ldfm % 3k+1 bibliography
@book {Wi98,
author = {Wirsching, Gnther J.},
title = {The dynamical system generated by the $3n+1$ function},
publisher = {Springer-Verlag},
series = {Lecture Notes in Mathematics},
volume = {1681},
address = {Berlin},
year = {1998},
pages = {viii+158},
isbn = {3-540-63970-5}
}
GAPDoc-1.6.4/3k+1/3k+1.xml 0000644 0001751 0001751 00000004266 13714505036 013557 0 ustar luebeck ldfm
The ThreeKPlusOne Package
Version 42
Dummy Authör
3kplusone@dev.null
©right; 2000 The Author.
You can do with this package what you want. Really.
The 3k+1 Problem
Theory
Let k \in &NN; be a natural number. We consider the
sequence n(i, k), i \in &NN;, with n(1, k) = k and
else n(i+1, k) = n(i, k) / 2 if n(i, k) is even
and n(i+1, k) = 3 n(i, k) + 1 if n(i, k) is odd.
It is not known whether for any natural number k \in
&NN; there is an m \in &NN; with n(m, k) = 1.
ThreeKPlusOne provides the function to explore this for given
n. If you really want to know something about this
problem, see or
http://www.ku.de/mgf/mathematik/lehrstuhlstatistik/team/dr-guenther-wirsching/
for more details (and forget this package).
Program
In this section we describe the main function of this package.
This function computes for a natural number k the
beginning of the sequence n(i, k) defined in section
. The sequence stops at the first
1 or at n(max, k), if max is
given.
gap> ThreeKPlusOneSequence(101);
"Sorry, not yet implemented. Wait for Version 84 of the package"
GAPDoc-1.6.4/3k+1/clean 0000755 0001751 0001751 00000000153 13714505036 013363 0 ustar luebeck ldfm #!/bin/bash
rm -f *.{aux,log,dvi,ps,pdf,bbl,ilg,ind,idx,out,html,tex,pnr,txt,blg,toc,six,brf,js,css,lab}
GAPDoc-1.6.4/3k+1/chap0.txt 0000644 0001751 0001751 00000001347 13714505047 014117 0 ustar luebeck ldfm
[1XThe [5XThreeKPlusOne[105X Package[101X
Version 42
Dummy Authör
Dummy Authör
Email: [7Xmailto:3kplusone@dev.null[107X
-------------------------------------------------------
[1XCopyright[101X
[33X[0;0Y© 2000 The Author.[133X
[33X[0;0YYou can do with this package what you want.[133X
[33X[0;0YReally.[133X
-------------------------------------------------------
[1XContents (3k+1)[101X
1 [33X[0;0YThe [22X3k+1[122X Problem[133X
1.1 [33X[0;0YTheory[133X
1.2 [33X[0;0YProgram[133X
1.2-1 ThreeKPlusOneSequence
[32X
GAPDoc-1.6.4/3k+1/chap1.txt 0000644 0001751 0001751 00000003402 13714505047 014112 0 ustar luebeck ldfm
[1X1 [33X[0;0YThe [22X3k+1[122X[101X[1X Problem[133X[101X
[1X1.1 [33X[0;0YTheory[133X[101X
[33X[0;0YLet [22Xk ∈ ℕ[122X be a natural number. We consider the sequence [22Xn(i, k), i ∈ ℕ,[122X with
[22Xn(1, k) = k[122X and else [22Xn(i+1, k) = n(i, k) / 2[122X if [22Xn(i, k)[122X is even and [22Xn(i+1,
k) = 3 n(i, k) + 1[122X if [22Xn(i, k)[122X is odd.[133X
[33X[0;0YIt is not known whether for any natural number [22Xk ∈ ℕ[122X there is an [22Xm ∈ ℕ[122X with
[22Xn(m, k) = 1[122X.[133X
[33X[0;0Y[5XThreeKPlusOne[105X provides the function [2XThreeKPlusOneSequence[102X ([14X1.2-1[114X) to explore
this for given [22Xn[122X. If you really want to know something about this problem,
see [Wir98] or
[7Xhttp://www.ku.de/mgf/mathematik/lehrstuhlstatistik/team/dr-guenther-wirsching/[107X
for more details (and forget this package).[133X
[1X1.2 [33X[0;0YProgram[133X[101X
[33X[0;0YIn this section we describe the main function of this package.[133X
[1X1.2-1 ThreeKPlusOneSequence[101X
[33X[1;0Y[29X[2XThreeKPlusOneSequence[102X( [3Xk[103X[, [3Xmax[103X] ) [32X function[133X
[33X[0;0YThis function computes for a natural number [3Xk[103X the beginning of the sequence
[22Xn(i, k)[122X defined in section [14X1.1[114X. The sequence stops at the first [22X1[122X or at
[22Xn([3Xmax[103X, k)[122X, if [3Xmax[103X is given.[133X
[4X[32X Example [32X[104X
[4X[25Xgap>[125X [27XThreeKPlusOneSequence(101);[127X[104X
[4X[28X"Sorry, not yet implemented. Wait for Version 84 of the package"[128X[104X
[4X[32X[104X
GAPDoc-1.6.4/3k+1/chapBib.txt 0000644 0001751 0001751 00000000425 13714505047 014450 0 ustar luebeck ldfm
[1XReferences[101X
[[20XWir98[120X] [16XWirsching, G. J.[116X, [17XThe dynamical system generated by the 3n+1
function[117X, Springer-Verlag, Lecture Notes in Mathematics, [19X1681[119X, Berlin
(1998), viii+158 pages.
[32X
GAPDoc-1.6.4/3k+1/chapInd.txt 0000644 0001751 0001751 00000000204 13714505047 014461 0 ustar luebeck ldfm
[1XIndex[101X
[2XThreeKPlusOneSequence[102X 1.2-1
-------------------------------------------------------
GAPDoc-1.6.4/3k+1/3k+1.tex 0000644 0001751 0001751 00000013665 13714505047 013564 0 ustar luebeck ldfm % generated by GAPDoc2LaTeX from XML source (Frank Luebeck)
\documentclass[a4paper,11pt]{report}
\usepackage[top=37mm,bottom=37mm,left=27mm,right=27mm]{geometry}
\sloppy
\pagestyle{myheadings}
\usepackage{amssymb}
\usepackage[latin1]{inputenc}
\usepackage{makeidx}
\makeindex
\usepackage{color}
\definecolor{FireBrick}{rgb}{0.5812,0.0074,0.0083}
\definecolor{RoyalBlue}{rgb}{0.0236,0.0894,0.6179}
\definecolor{RoyalGreen}{rgb}{0.0236,0.6179,0.0894}
\definecolor{RoyalRed}{rgb}{0.6179,0.0236,0.0894}
\definecolor{LightBlue}{rgb}{0.8544,0.9511,1.0000}
\definecolor{Black}{rgb}{0.0,0.0,0.0}
\definecolor{linkColor}{rgb}{0.0,0.0,0.554}
\definecolor{citeColor}{rgb}{0.0,0.0,0.554}
\definecolor{fileColor}{rgb}{0.0,0.0,0.554}
\definecolor{urlColor}{rgb}{0.0,0.0,0.554}
\definecolor{promptColor}{rgb}{0.0,0.0,0.589}
\definecolor{brkpromptColor}{rgb}{0.589,0.0,0.0}
\definecolor{gapinputColor}{rgb}{0.589,0.0,0.0}
\definecolor{gapoutputColor}{rgb}{0.0,0.0,0.0}
%% for a long time these were red and blue by default,
%% now black, but keep variables to overwrite
\definecolor{FuncColor}{rgb}{0.0,0.0,0.0}
%% strange name because of pdflatex bug:
\definecolor{Chapter }{rgb}{0.0,0.0,0.0}
\definecolor{DarkOlive}{rgb}{0.1047,0.2412,0.0064}
\usepackage{fancyvrb}
\usepackage{mathptmx,helvet}
\usepackage[T1]{fontenc}
\usepackage{textcomp}
\usepackage[
pdftex=true,
bookmarks=true,
a4paper=true,
pdftitle={Written with GAPDoc},
pdfcreator={LaTeX with hyperref package / GAPDoc},
colorlinks=true,
backref=page,
breaklinks=true,
linkcolor=linkColor,
citecolor=citeColor,
filecolor=fileColor,
urlcolor=urlColor,
pdfpagemode={UseNone},
]{hyperref}
\newcommand{\maintitlesize}{\fontsize{50}{55}\selectfont}
% write page numbers to a .pnr log file for online help
\newwrite\pagenrlog
\immediate\openout\pagenrlog =\jobname.pnr
\immediate\write\pagenrlog{PAGENRS := [}
\newcommand{\logpage}[1]{\protect\write\pagenrlog{#1, \thepage,}}
%% were never documented, give conflicts with some additional packages
\newcommand{\GAP}{\textsf{GAP}}
%% nicer description environments, allows long labels
\usepackage{enumitem}
\setdescription{style=nextline}
%% depth of toc
\setcounter{tocdepth}{1}
%% command for ColorPrompt style examples
\newcommand{\gapprompt}[1]{\color{promptColor}{\bfseries #1}}
\newcommand{\gapbrkprompt}[1]{\color{brkpromptColor}{\bfseries #1}}
\newcommand{\gapinput}[1]{\color{gapinputColor}{#1}}
\begin{document}
\logpage{[ 0, 0, 0 ]}
\begin{titlepage}
\mbox{}\vfill
\begin{center}{\maintitlesize \textbf{The \textsf{ThreeKPlusOne} Package\mbox{}}}\\
\vfill
\hypersetup{pdftitle=The \textsf{ThreeKPlusOne} Package}
\markright{\scriptsize \mbox{}\hfill The \textsf{ThreeKPlusOne} Package \hfill\mbox{}}
{\Huge Version 42\mbox{}}\\[1cm]
\mbox{}\\[2cm]
{\Large \textbf{Dummy Auth{\"o}r \mbox{}}}\\
\hypersetup{pdfauthor=Dummy Auth{\"o}r }
\end{center}\vfill
\mbox{}\\
{\mbox{}\\
\small \noindent \textbf{Dummy Auth{\"o}r } Email: \href{mailto://3kplusone@dev.null} {\texttt{3kplusone@dev.null}}}\\
\end{titlepage}
\newpage\setcounter{page}{2}
{\small
\section*{Copyright}
\logpage{[ 0, 0, 1 ]}
{\copyright} 2000 The Author.
You can do with this package what you want.
Really. \mbox{}}\\[1cm]
\newpage
\def\contentsname{Contents\logpage{[ 0, 0, 2 ]}}
\tableofcontents
\newpage
\chapter{\textcolor{Chapter }{The $3k+1$ Problem}}\logpage{[ 1, 0, 0 ]}
\hyperdef{L}{X8769FB038733F6F4}{}
{
\section{\textcolor{Chapter }{Theory}}\label{sec:theory}
\logpage{[ 1, 1, 0 ]}
\hyperdef{L}{X8729B87B848E3F89}{}
{
Let $k \in {\ensuremath{\mathbb N}}$ be a natural number. We consider the sequence $n(i, k), i \in {\ensuremath{\mathbb N}},$ with $n(1, k) = k$ and else $n(i+1, k) = n(i, k) / 2$ if $n(i, k)$ is even and $n(i+1, k) = 3 n(i, k) + 1$ if $n(i, k)$ is odd.
It is not known whether for any natural number $k \in {\ensuremath{\mathbb N}}$ there is an $m \in {\ensuremath{\mathbb N}}$ with $n(m, k) = 1$.
\textsf{ThreeKPlusOne} provides the function \texttt{ThreeKPlusOneSequence} (\ref{ThreeKPlusOneSequence}) to explore this for given $n$. If you really want to know something about this problem, see \cite{Wi98} or \href{http://www.ku.de/mgf/mathematik/lehrstuhlstatistik/team/dr-guenther-wirsching/} {\texttt{http://www.ku.de/mgf/mathematik/lehrstuhlstatistik/team/dr-guenther-wirsching/}} for more details (and forget this package). }
\section{\textcolor{Chapter }{Program}}\logpage{[ 1, 2, 0 ]}
\hyperdef{L}{X7A4605C07A94C9F6}{}
{
In this section we describe the main function of this package.
\subsection{\textcolor{Chapter }{ThreeKPlusOneSequence}}
\logpage{[ 1, 2, 1 ]}\nobreak
\hyperdef{L}{X7B1A31B8870EA092}{}
{\noindent\textcolor{FuncColor}{$\triangleright$\enspace\texttt{ThreeKPlusOneSequence({\mdseries\slshape k[, max]})\index{ThreeKPlusOneSequence@\texttt{ThreeKPlusOneSequence}}
\label{ThreeKPlusOneSequence}
}\hfill{\scriptsize (function)}}\\
This function computes for a natural number \mbox{\texttt{\mdseries\slshape k}} the beginning of the sequence $n(i, k)$ defined in section \ref{sec:theory}. The sequence stops at the first $1$ or at $n(\mbox{\texttt{\mdseries\slshape max}}, k)$, if \mbox{\texttt{\mdseries\slshape max}} is given.
\begin{Verbatim}[commandchars=!@|,fontsize=\small,frame=single,label=Example]
!gapprompt@gap>| !gapinput@ThreeKPlusOneSequence(101);|
"Sorry, not yet implemented. Wait for Version 84 of the package"
\end{Verbatim}
}
}
}
\def\bibname{References\logpage{[ "Bib", 0, 0 ]}
\hyperdef{L}{X7A6F98FD85F02BFE}{}
}
\bibliographystyle{alpha}
\bibliography{3k+1}
\addcontentsline{toc}{chapter}{References}
\def\indexname{Index\logpage{[ "Ind", 0, 0 ]}
\hyperdef{L}{X83A0356F839C696F}{}
}
\cleardoublepage
\phantomsection
\addcontentsline{toc}{chapter}{Index}
\printindex
\newpage
\immediate\write\pagenrlog{["End"], \arabic{page}];}
\immediate\closeout\pagenrlog
\end{document}
GAPDoc-1.6.4/3k+1/3k+1.out 0000644 0001751 0001751 00000000363 13714505050 013554 0 ustar luebeck ldfm \BOOKMARK [0][-]{chapter.1}{The 3k+1 Problem}{}% 1
\BOOKMARK [1][-]{section.1.1}{Theory}{chapter.1}% 2
\BOOKMARK [1][-]{section.1.2}{Program}{chapter.1}% 3
\BOOKMARK [0][-]{chapter*.3}{References}{}% 4
\BOOKMARK [0][-]{section*.4}{Index}{}% 5
GAPDoc-1.6.4/3k+1/3k+1.toc 0000644 0001751 0001751 00000001003 13714505050 013522 0 ustar luebeck ldfm \contentsline {chapter}{\numberline {1}\leavevmode {\color {Chapter }The $3k+1$ Problem}}{4}{chapter.1}
\contentsline {section}{\numberline {1.1}\leavevmode {\color {Chapter }Theory}}{4}{section.1.1}
\contentsline {section}{\numberline {1.2}\leavevmode {\color {Chapter }Program}}{4}{section.1.2}
\contentsline {subsection}{\numberline {1.2.1}\leavevmode {\color {Chapter }ThreeKPlusOneSequence}}{4}{subsection.1.2.1}
\contentsline {chapter}{References}{5}{chapter*.3}
\contentsline {chapter}{Index}{6}{section*.4}
GAPDoc-1.6.4/3k+1/manual.pdf 0000644 0001751 0001751 00000515350 13714505050 014331 0 ustar luebeck ldfm %PDF-1.5
%
26 0 obj
<<
/Length 282
/Filter /FlateDecode
>>
stream
xڍ?O@|
s5 J%P*ڪIRķ(U;Tb;~(&{W$W'uH$` =KxMuQN9rQmY>ͪn܌Y h,#.>ՈA<6( "z@e,gRvdPwh,18}Wtū^i#/(0IX/9q%~ 'bS]Dy+8xq'N,l+kʛeMWUeO{
endstream
endobj
36 0 obj
<<
/Length 280
/Filter /FlateDecode
>>
stream
xMAo0I m&mUi!j!(/P'{QTKPDwi&2p(~Ȅ%pEq_qQx
h~4ge|۵[cujwLZY!8tl,VtKjZrkx?CS߁.(@ٌoeH&`rEOcҘ'A\8,f}J"'cq蹞f5͉q=ڏ,F
S
F;(}Ү;]?է"s
endstream
endobj
48 0 obj
<<
/Length 356
/Filter /FlateDecode
>>
stream
xTN@[:BZDPEK [rRs~;A`"ѥֲdz3! 4^e孰 Zg9dk`Ad+XEn;yBZA䄞|MIBIa44$Q=
}QZFP68QiZKຏ=6}؇9NtY9.-mRq]ItKP
endstream
endobj
59 0 obj
<<
/Length 1791
/Filter /FlateDecode
>>
stream
xYKs6Wpr&!'4I3I;mxmǒPTl."(J4`}~d _NN2eU"3$H2A:9$_g68٫pi}|3H*I,S\#Ew63 P.H
s$CB(bkGBDDt y<HbH'$&
MjLԨۯ
6d<aITH`%!6KS1)6:!i9AT?LݚCp."K*PG"dr[5 md$jn6{|fSxlR=>|XALoCez@Ve*'diq9emɗ_^6o|&o~^*6[/l\_8<`Db%XvMԇ{Xpk+U͗ڭNK
ϢPCt1
fQ =E٬2l8x+*m~9q{sY^E{RV ?#6azQ
}tEv4̖~Tl_JݮeeV.ϙ Ul&e3FFӢ[ejFtg ;кGWnrn*wcLlM\Ƹu )SI~Qnխoډ84A8ݘTZmPVՏT@묮W?ؠA41"(}37j]ofu
kk\ܾYNt
f,)%ȾwЙ8Z^'B,RoVu>56Q{9,M!!$DfZ#J^.BjWZmחUqaY'lUͫ=w&Ê6>V#ͷŀnEp<1m[-*8[>DMomǡ@h9H%GP[q
τ/F4CZJتօʎSզ6M!UQ33L<1[.iq\/e1{vFz2y0P4?hn@a4gPip6C;ޭPimx\<;0ZOx۷^,m^~;Fk1jēXI,c~ζvAg'N,!(~Q2\@ JnEBw\RC;qojnv7f
O9^6ғ EZB9Yto^XGf6%|Oi]T.CYĈjĆ>H1B֪Gd0p`hкK;Go˪%LѝJavm ./ZLn]U]m*7ѣ4h-uLTD{tf/ѦrlgC}3ˣBA
endstream
endobj
76 0 obj
<<
/Length 408
/Filter /FlateDecode
>>
stream
xmR;o0+8RHtk$@vHfp32-Bߗm'4'=a^Vx0`!VnѠbZjҲro}>Ծ>C;FG+2Dv~@l+D[])+Qwmh`D>~dX7)9=GIh^諐X2@*u)
nft8q%T5c{
Pi~NY?.}"m'I眓 %]BM'e|p2aȩ8q76m=TC[+c㜢WFDwOІˁVO)ɺ/ަloQE UrfO?M
endstream
endobj
82 0 obj
<<
/Length 175
/Filter /FlateDecode
>>
stream
xuM@9*8{
RCQ{N!it^x%h'.Ja@H4ap0U@Bf:^w&'Yi-0%;Qbd {߆.I9ߝd4,sy!Ǝ]"$O) }PEPBQ,]EkRJ$ֳJE/xA
endstream
endobj
101 0 obj
<<
/Length1 1441
/Length2 6128
/Length3 0
/Length 7110
/Filter /FlateDecode
>>
stream
xڍwT6t*'^IIJH EzG)UwTQtHQQzzZ߷Vgfyp6VqDA($N,A HL1E۩x,lBnu `IY,d0 u/B±T