\tracingpages=1 % TEMPORARY!
% Macros for `Concrete Mathematics'
\ifx\gkpmac\fmtversion\endinput\else\let\gkpmac=\fmtversion\fi
% Fonts for regular text
\font\textrm=ccr10 % roman
\font\textit=ccti10 % italic (emphasis)
\font\textsl=ccsl10 % slanted (titles)
\font\textbf=cmbx10 % bold
\font\textcsc=cccsc10 % caps and small caps
\font\oldsty=ccmi10 % equation numbers
% Fonts for regular math
% I'm setting \fontdimen2 to zero because AMS forgot to do it;
% they may have fixed the problem in the meantime, but no harm is done
\font\mathtext=ccr10
\font\mathsubtext=ccr7
\font\mathsubsubtext=ccr5
\font\mathlet=eurm10 \fontdimen2\mathlet=0pt
\font\mathsublet=eurm7 \fontdimen2\mathsublet=0pt
\font\mathsubsublet=eurm5 \fontdimen2\mathsubsublet=0pt
\skewchar\mathlet='177 \skewchar\mathsublet='177 \skewchar\mathsubsublet='177
\font\mathsym=cmsy10
\font\mathsubsym=cmsy7
\font\mathsubsubsym=cmsy5
\skewchar\mathsym='60 \skewchar\mathsubsym='60 \skewchar\mathsubsubsym='60
\font\mathext=cmex10
\font\mathsubext=cmex10
\font\mathsubsubext=cmex10
\font\mathscr=euxm10\fontdimen2\mathscr=0pt
\font\mathsubscr=euxm7 \fontdimen2\mathsubscr=0pt
\font\mathsubsubscr=euxm5 \fontdimen2\mathsubsubscr=0pt
\skewchar\mathscr='60 \skewchar\mathsubscr='60 \skewchar\mathsubsubscr='60
\font\mathfr=eufm10\fontdimen2\mathfr=0pt
\font\mathsubfr=eufm7 \fontdimen2\mathsubfr=0pt
\font\mathsubsubfr=eufm5 \fontdimen2\mathsubsubfr=0pt
\font\matheuex=euex10\fontdimen2\matheuex=0pt
\font\eulerbf=eurb10 \fontdimen2\eulerbf=0pt % not hooked in to these macros
% Fonts for graffiti
\font\gtext=ccslc9
\font\goldstyle=ccmic9
\fontdimen3\gtext=0pt \fontdimen4\gtext=0pt % no stretch or shrink
\font\gmathtext=ccr9
\font\gmathsubtext=ccr6
\font\gmathsubsubtext=ccr5
\font\gmathlet=eurm10 scaled 900 \fontdimen2\gmathlet=0pt
\font\gmathsublet=eurm7 scaled 857 \fontdimen2\gmathsublet=0pt
\font\gmathsubsublet=eurm5 \fontdimen2\gmathsubsublet=0pt
\skewchar\gmathlet='177 \skewchar\gmathsublet='177
\skewchar\gmathsubsublet='177
\font\gmathsym=cmsy9
\font\gmathsubsym=cmsy6
\font\gmathsubsubsym=cmsy5
\skewchar\gmathsym='60 \skewchar\gmathsubsym='60 \skewchar\gmathsubsubsym='60
\font\gmathext=cmex9
\font\gmathsubext=cmex9
\font\gmathsubsubext=cmex9
\font\gmathscr=euxm10 scaled 900 \fontdimen2\gmathscr=0pt
\font\gmathsubscr=euxm7 scaled 857 \fontdimen2\gmathsubscr=0pt
\font\gmathsubsubscr=euxm5 \fontdimen2\gmathsubsubscr=0pt
\skewchar\gmathscr='60 \skewchar\gmathsubscr='60 \skewchar\gmathsubsubscr='60
\font\gmathfr=eufm10 scaled 900 \fontdimen2\gmathfr=0pt
\font\gmathsubfr=eufm7 scaled 857 \fontdimen2\gmathsubfr=0pt
\font\gmathsubsubfr=eufm5 \fontdimen2\gmathsubsubfr=0pt
\font\gmatheuex=euex9 \fontdimen2\gmatheuex=0pt
% Fonts for headings, etc.
\font\chapfont=cmbxcd10 scaled 8000
\font\title=cmbx10 scaled \magstep5
\font\subtitle=cmbx10 scaled 1315 % that's magstep 1.5
\font\subsubtitle=cmbxsl10
\font\runhead=cmbx9
\font\foliofont=cmr9
\font\gtfont=cmmi9 % for the \t accent
\font\ninesl=ccsl9 % used in the index only
% Normal text conventions
\catcode`@=11 % borrow the private macros of PLAIN (with care)
\def\wlog#1{} % don't put allocation info into the log
\hsize=28pc
\vsize=45.25pc
\parindent=20pt
\baselineskip=13pt
\let\sc=\textcsc
\let\bf=\textbf
\def\textindent#1{\noindent\hbox to\parindent{\bf#1\hfil}\ignorespaces}
\def\exitem{\hangindent2\parindent \textindent}
\textfont0=\mathtext
\scriptfont0=\mathsubtext
\scriptscriptfont0=\mathsubsubtext
\textfont1=\mathlet \let\tfont=\teni
\scriptfont1=\mathsublet
\scriptscriptfont1=\mathsubsublet
\textfont2=\mathsym
\scriptfont2=\mathsubsym
\scriptscriptfont2=\mathsubsubsym
\textfont3=\mathext
\scriptfont3=\mathsubext
\scriptscriptfont3=\mathsubsubext
\def\rm{\fam\z@\textrm}
\def\it{\fam\itfam\textit} % \it is family 4, defined in PLAIN
\def\sl{\textsl}
\textfont\itfam=\textit
\newfam\scrfam \ifnum\scrfam=8\relax\else\error\fi % family 8, script
\textfont\scrfam=\mathscr
\scriptfont\scrfam=\mathsubscr
\scriptscriptfont\scrfam=\mathsubsubscr
\def\scr{\fam8 }
\mathcode`0="7130
\mathcode`1="7131
\mathcode`2="7132
\mathcode`3="7133
\mathcode`4="7134
\mathcode`5="7135
\mathcode`6="7136
\mathcode`7="7137
\mathcode`8="7138
\mathcode`9="7139
\newfam\frfam % family 9, fraktur
\textfont\frfam=\mathfr
\scriptfont\frfam=\mathsubfr
\scriptscriptfont\frfam=\mathsubsubfr
\def\frak{\fam9 }
\newfam\euexfam % family 10, substitions for euler symbols
\newfam\eqfam % family 11, cmr equal signs for Relbar (!)
\font\teneq=cmr10 \textfont\eqfam=\teneq
\font\nineeq=cmr9
% I'm not using Relbar except in 9&10pt, so this family is very incomplete...
\mathchardef\intop="1A52
\mathchardef\ointop="1A48
\mathchardef\coprod="1A60
\mathchardef\prod="1A51
\mathchardef\sum="1A50
\mathchardef\braceld="A7A \mathchardef\bracerd="A7B
\mathchardef\bracelu="A7C \mathchardef\braceru="A7D
\mathchardef\infty="0A31
\mathchardef\nearrow="3A25
\mathchardef\searrow="3A26
\mathchardef\nwarrow="3A2D
\mathchardef\swarrow="3A2E
\mathchardef\Leftrightarrow="3A2C
\mathchardef\Leftarrow="3A28
\mathchardef\Rightarrow="3A29
\mathchardef\leftrightarrow="3A24 \mathcode`\^^W="3A24
\mathchardef\leftarrow="3A20 \let\gets=\leftarrow \mathcode`\^^X="3A20
\mathchardef\rightarrow="3A21 \let\to=\rightarrow \mathcode`\^^Y="3A21
\def\uparrow{\delimiter"3A22378 } \mathcode`\^^K="3A22
\def\downarrow{\delimiter"3A23379 } \mathcode`\^^A="3A23
\def\updownarrow{\delimiter"3A6C33F }
\def\Uparrow{\delimiter"3A2A37E }
\def\Downarrow{\delimiter"3A2B37F }
\def\Updownarrow{\delimiter"3A6D377 }
\mathchardef\leftharpoonup="3A18
\mathchardef\leftharpoondown="3A19
\mathchardef\rightharpoonup="3A1A
\mathchardef\rightharpoondown="3A1B
\textfont\euexfam=\matheuex
\scriptfont\euexfam=\mathsubsym % this is OK since I don't use all characters
% of euex in subscripts/superscripts; otherwise I'd have to make euex7 and euex6
\scriptscriptfont\euexfam=\mathsubsym % only for \mathchoice, not really chosen
\mathcode`+="292B
\mathcode`-="292D
\mathcode`!="0921
\mathcode`(="4928 \delcode`(="928300
\mathcode`)="5929 \delcode`)="929301
\mathcode`[="495B \delcode`[="95B302
\mathcode`]="595D \delcode`]="95D303
\mathcode`=="393D
\mathchardef\Relbar="3B3D % we need the old = to match \Arrows
\mathchardef\Gamma="7100
\mathchardef\Delta="7101
\mathchardef\Theta="7102
\mathchardef\Lambda="7103
\mathchardef\Xi="7104
\mathchardef\Pi="7105
\mathchardef\Sigma="7106
\mathchardef\Upsilon="7107
\mathchardef\Phi="7108
\mathchardef\Psi="7109
\mathchardef\Omega="710A
\let\varsigma=\sigma \let\varrho=\rho % Euler doesn't have these
\mathchardef\aleph="0840
\def\rbrace{\delimiter"5867A09 } \let\}=\rbrace
\def\lbrace{\delimiter"4866A08 } \let\{=\lbrace
%\mathchardef\equiv="3811 \let\cong=\equiv % lowres bars weren't spaced right
\mathchardef\leq="3814 \let\le=\leq
\mathchardef\geq="3815 \let\ge=\geq
\mathchardef\Re="083C
\mathchardef\Im="083D
\def\vert{\delimiter"86A30C }
\def\backslash{\delimiter"86E30F }
\setbox\strutbox=\hbox{\vrule height9pt depth4pt width\z@}%
\newbox\bigstrutbox \newbox\biggstrutbox
\setbox\bigstrutbox=\hbox{\vrule height11pt depth4pt width\z@}%
\def\bigstrut{\relax\ifmmode\copy\bigstrutbox\else\unhcopy\bigstrutbox\fi}
\setbox\biggstrutbox=\hbox{\vrule height17pt depth10pt width\z@}%
\def\biggstrut{\relax\ifmmode\copy\biggstrutbox\else\unhcopy\biggstrutbox\fi}
\rm
\newmuskip\normalthick \normalthick=5mu plus 5mu
\newmuskip\normalmedmu \normalmedmu=\medmuskip
\newmuskip\displaythick \displaythick=10mu minus 3mu
\everymath{\thickmuskip=\normalthick}
\abovedisplayskip=8pt plus 3pt minus 2pt % there's 2pt more (opened up)
\belowdisplayskip=10pt plus 3pt minus 2pt
% displays not centered; all have capability of \eqalign
\outer\def\begindisplay{\obeylines\startdisplay}
{\obeylines\gdef\startdisplay#1
{\catcode`\^^M=5$$%
\advance\displayindent\parindent\advance\displaywidth-\parindent%
\openup2pt #1\halign\bgroup\span\preamble\cr}}
\outer\def\enddisplay{\crcr\egroup$$}
\jot=\z@ % we do our own opening up
\def\displaymath{$\thickmuskip=\displaythick\displaystyle}
\def\preamble{\hfil\displaymath{##}$&&\displaymath{{}##}$\hfil}
\def\tablepreamble{\bigstrut\hfil$##$\hfil\ &\vrule##&&\quad\hfil$##$\hfil}
\def\xbox{\qquad\hbox} % for third column of explanation
\newcount\eqcount
\def\equ(#1.#2){{\rm({\oldsty#1}.{\oldsty#2})}}
\def\eq(#1){\equ(\chapno.#1)}
\def\thiseq{\xdef\next{(\chapno.\number\eqcount)}\expandafter\equ\next}
\def\eqno{\global\advance\eqcount 1 \global\everycr{\makeeqno\thiseq}}
\newdimen\backup
\def\makeeqno#1{\noalign{\global\everycr{}%
\advance\displaywidth\displayindent
\setbox0=\hbox to\displaywidth{\hfil#1}%
\backup=\prevdepth \advance\backup\ht0
\setbox0=\vbox{\kern-\backup\box0}\ht0=\z@ \dp0=\z@
\setbox0=\vbox{\box0}\unvbox0}} % that puts equation number on prev line!
\newif\iftitle
\def\beginchapter#1 #2 \par{ % we should be at top of a page
\titletrue \eqcount=0
\ifodd\pageno
\rightline{\chapfont#1\kern-.05em}
\vskip 1in minus 5pt
\rightline{\title#2}
\moveleft7pc % this applies to the \vbox after the \fi
\else % left-hand page
\leftline{\kern-.05em\chapfont#1}
\vskip 1in minus 5pt
\leftline{\title#2} \fi
\vbox{\hrule width 35pc}
\def\chapno{#1} \edef\chaptitle{#2}
\mark{#1\enspace #2}
\smallskip\noindent}
\def\beginsection#1 #2 \par{ % should not be first in the chapter
\backup=\lastskip % but should come on first or second page of chapter
\mark{#1\enspace #2} % because the mark gives running head on right page
\nobreak\vskip-\backup\penalty-200
{\subtitle\baselineskip=34pt
\noindent\hbox to2\parindent{#1\hfil}\uppercase{\kern-.05em#2}\par}
\nobreak\vskip5pt\noindent\hbox to2\parindent{}}
\newcount\excount
\def\beginexercises{\backup=\lastskip \excount=0
\mark{\chapno\enspace Exercises}
\nobreak\vskip-\backup\penalty-200
{\subtitle\baselineskip=34pt\noindent Exercises\par}\nobreak}
{\catcode`\|=\active
\gdef\table#1\tabref|#2|{\hrule height1pt width\hsize \kern2pt
\noindent\strut{\bf Table |#2|\enspace}#1\par
\hrule height.5pt width\hsize\tabref|#2|}}
\def\medbr{\ifnum\lastpenalty>9999 \medskip \else\medbreak\fi}
\def\subhead#1\par{\medbr
{\subsubtitle\noindent#1\par}\nobreak}
\def\ex:{\par{\advance\medskipamount-1pt\medbr}%
\advance\excount 1 \item{\number\excount}}
\def\dash---{\thinspace---\hskip.16667em\relax}
\def\qback{\kern-.15em} % between , or . and ''
\def\undertext#1{$\underline{\smash{\hbox{#1}}}$}
\def\newline{\hfil\break}
\def\Hint:{{\it Hint:\/}}
\let\macron=\= % we will use \= for congruence relation
\def\t#1{{\edef\next{\the\font}\tfont\accent"7F\next#1}}
% Here's a definition that was corrected in plain.tex version 3.14159;
% I'm keeping the old version here, because I had already been compensating
% for its deficiencies in script and scriptscript styles; without this
% buggy version, it would be hard for me to match the old pages precisely
\def\bmod{\mskip-\medmuskip\mkern5mu
\mathbin{\rm mod}\penalty900\mkern5mu\mskip-\medmuskip}
% Graffiti macros
\chardef\other=12
\newread\grfi \openin\grfi=\jobname.grf
%\newwrite\grfo \immediate\openout\grfo=\jobname.grf % let's hope no conflict
%% Hmmm...; that doesn't work on Unix.
%% Here's my first solution, a kludge where I alternated between .grf and .gr
%\newif\ifgrf \newwrite\grfo \newwrite\grfempty
%\ifeof\grfi \grffalse
%\else\read\grfi to\grfitest \ifeof\grfi \grffalse \else \grftrue \fi\fi
%\ifgrf\else \openin\grfi=\jobname.gr
% \ifeof\grfi\else\read\grfi to\grfitest \fi\fi
%\immediate\openout\grfo=\jobname.gr\ifgrf\else f\fi
%\immediate\write\grfo{} % an empty line will start a nonempty file (Unix only)
%% and then at the end I said
% \immediate\openout\grfempty=\jobname.gr\ifgrf f\fi % clear the input file
%% That solution worked with the following original macros
%\def\testnextgrf{{\def\do##1{\catcode`##1=\other}\dospecials
% \global\read\grfi to\next}\expandafter\testgrf\meaning\next\testgrf}
%\expandafter\def\expandafter\testgrf\meaning\empty#1 #2\testgrf{%
% \setup#2!!!!!$\ifx\thisone\thatone\if#1R\Rtrue\else\Rfalse\fi\else\Rguess\fi}
%% Anyway, here's my second approach to Unix: (order n^2 algorithm)
\def\\{{\def\do##1{\catcode`##1=\other}\dospecials \endlinechar=-1 \let\eol=0
\gdef\grfmem{}
\expandafter\def\expandafter\gbbl\meaning\empty{}
\def\appgrf{\read\grfi to\g
\ifx\g\empty\else\xdef\grfmem{\grfmem\expandafter\gbbl\meaning\g\eol}\fi}
\def\next{\ifeof\grfi\let\next\relax\else\appgrf\fi\next}\next}}
\\ % now \grfmem is "L aaaaa\eol R bbbbb\eol ... R zzzzz\eol".
\def\testnextgrf#1 #2\eol#3\\{\gdef\grfmem{#3}\setup#2!!!!!$%
\ifx\thisone\thatone\if#1R\Rtrue\else\Rfalse\fi\else\Rguess\fi}
\newwrite\grfo \immediate\openout\grfo=\jobname.grf % no conflict now
\def\graffiti{% set up graffiti style
\hsize=6pc
\baselineskip=10pt \lineskip=0pt \lineskiplimit=0pt
\parindent=0pt
\mathsurround=1pt
\textfont0=\gmathtext
\scriptfont0=\gmathsubtext
\scriptscriptfont0=\gmathsubsubtext
\textfont1=\gmathlet \let\tfont=\gtfont
\scriptfont1=\gmathsublet
\scriptscriptfont1=\gmathsubsublet
\textfont2=\gmathsym
\scriptfont2=\gmathsubsym
\scriptscriptfont2=\gmathsubsubsym
\textfont3=\gmathext
\scriptfont3=\gmathsubext
\scriptscriptfont3=\gmathsubsubext
\textfont\scrfam=\gmathscr
\scriptfont\scrfam=\gmathsubscr
\scriptscriptfont\scrfam=\gmathsubsubscr
\textfont\frfam=\gmathfr
\scriptfont\frfam=\gmathsubfr
\scriptscriptfont\frfam=\gmathsubsubfr
\textfont\euexfam=\gmatheuex
\scriptfont\euexfam=\gmathsubsym % OK since I don't use all chars in this size
\textfont\eqfam=\nineeq
\def\rm{\fam\z@\gtext}%
\let\oldsty=\goldstyle
\let\big=\ninebig
\setbox\strutbox=\hbox{\vrule height7.25pt depth2.75pt width\z@}%
\gtext
\rightskip=\z@ plus2em % ragged right
\tolerance=2000
\hyphenpenalty=300
\exhyphenpenalty=300
\doublehyphendemerits=100000
\finalhyphendemerits=\doublehyphendemerits
}
\def\ninebig#1{{\hbox{$\textfont0=\tenrm\textfont2=\tensy
\left#1\vbox to7.25pt{}\right.\n@space$}}}
\def\grafctr{\hbox to4.5pc{\hfil##\hfil}}
\newif\ifR % does this entry go on a right-hand page?
\def\Rguess{\def\ifR{\ifodd\pageno}}
\long\def\g#1\g{\def\next{#1!!!!!}\expandafter\writegrf\meaning\next$%
\ifx\grfmem\empty\Rguess\else\expandafter\testnextgrf\grfmem\\\fi
% pre-Unix, that line was \ifeof\grfi\Rguess\else\testnextgrf\fi
\setbox0=\vtop{\graffiti#1%
\write\m@ne\ifR{\Rcheck}\else{\Lcheck}\fi}% log file records successes
\ifvmode\kern-\prevdepth\kern-\ht0\dp0=\z@\nointerlineskip\bgroup
\else\dp0=\dp\strutbox\strut\vadjust{\kern-\dp\strutbox\kern-\ht0\fi
\ifR\moveleft7\else\moveright29\fi pc\box0}}
\expandafter\def\expandafter\writegrf\meaning\empty#1#2#3#4#5#6${%
\write\grfo{\LorR #1#2#3#4#5}\def\thisone{#1#2#3#4#5}}
\def\setup#1#2#3#4#5#6${\def\thatone{#1#2#3#4#5}}
\def\LorR{\ifodd\pageno R \else L \fi}
\def\Lcheck{\ifodd\pageno Bad guess!\fi}
\def\Rcheck{\ifodd\pageno\else Bad guess!\fi}
% Page layout
\newif\ifpreprint \preprinttrue % should be false when making the final copy
\newdimen\pageheight \pageheight=\vsize
\newdimen\totheight \totheight=49.5pc
\newdimen\folioht \setbox0=\hbox{\foliofont0} \folioht=\ht0
\def\leftheadline{\hbox to35pc{\vbox to 10pt{}% strut to position the baseline
\llap{\kern-2pc\iftitle\leftcorner\else\foliofont\folio\fi\hfil}%
\iftitle\hfil\copyrite\else\runhead\uppercase\expandafter{\chaptitle}\hfil\fi}}
\def\rightheadline{\hbox to35pc{\iftitle\copyrite\fi\hfil
\vbox to 10pt{}% strut to position the baseline
\runhead\uppercase\expandafter{\topmark}%
\rlap{\hfil\iftitle\rightcorner\else\foliofont\folio\fi\kern-2pc}}}
\def\leftcorner{\vrule\vbox to\folioht{\hrule width9pt\vfil}}
\def\rightcorner{\vbox to\folioht{\hrule width9pt\vfil}\vrule}
\def\copyrite{\ifpreprint{\textfont2=\sevensy\sevenrm\copyright\ 1988
Addison-Wesley Publishing Company; all rights reserved}\fi}
\def\onepageout#1{\escapechar=-1 % for writing \tabrefs
\shipout\vbox to\totheight{ % here we define one page of output
\offinterlineskip % butt the boxes together
\vbox to 2pc{ % this part goes on top of the regular pages
\ifodd\pageno \rightheadline\else\leftheadline\fi
\vfill} % this completes the \vbox to 2pc
\ifodd\pageno\moveright7pc\fi #1
\vfill
\iftitle \global\titlefalse % reset the titlepage switch
\ifodd\pageno \hbox to35pc{\hfil\foliofont\folio}
\else\hbox{\foliofont\folio}\fi\fi
\ifpreprint\ifinxmode\makeinxfooter\fi\fi
}
\advancepageno}
\output{\onepageout{\pagebody}}
\newbox\inxfootbanner
\def\hours{\count0=\time \divide\count0 by60 % find the o'clock
\multiply\count0 by40 \advance\count0\time % convert to hhmm
\advance\count0 10000 \expandafter\gobbleone\number\count0\relax}
\def\gobbleone1{}
\setbox\inxfootbanner=\rlap{\hbox to 6.5in{\hrulefill\sevenrm\quad
Author's page proof produced by \TeX\ at
\hours\space on \ifcase\month\or
January\or February\or March\or April\or May\or June\or
July\or August\or September\or October\or November\or December\fi
\space\number\day}}
\def\makeinxfooter{\vbox to0pt{\kern10pt\copy\inxfootbanner\kern4pt
\rlap{\vbadness=\maxdimen \inxcolumns}\vss}}
\def\inxcolumns{\ifvoid\inxbox\let\next\relax\else\let\next\contribcol\fi\next}
\def\contribcol{\setbox0=\vsplit\inxbox to54pt
\vtop{\unvbox0}\kern20pt \inxcolumns}
\def\inxstyle{\vrule height6pt depth2pt width\z@ \sevenrm}
\splittopskip=6pt
% Cross references
% \ref{value}|name| gives value to |name|
% \eqref|name| gives \eqcount to |name|
% \exref|name| gives \excount to |name|
% \tabref|name| gives appropriate page number to |name|
% \refin foo inputs references from job foo (other than this job)
% \showmissestrue if you want to see missing references
\newif\ifshowmisses
\def\vertical{|}
\def\inref#1 #{\expandafter\def\csname\vertical#1\endcsname}
\catcode`\|=\active
\expandafter\def\expandafter\dospecials\expandafter{\dospecials\do\|}
\newcount\defcount % number of old definitions not yet repeated
\newcount\changecount % number of new definitions that are changed
\newcount\miscount % number of unknown references
\newread\tempin
\def\refin#1 {\openin\tempin=#1.ref
\ifeof\tempin\closein\tempin
\else\closein\tempin \let|\inref \input#1.ref \let|\crossref \fi}
{\let\|=\jobname
\def\def{\global\advance\defcount1 \gdef}\expandafter\refin\| }
\newwrite\refo \immediate\openout\refo=\jobname.ref
\def\ref#1|#2|{\xdef\temp{#1}\expandafter\dordef\csname\vertical#2\endcsname}
\def\dordef#1{\ifx#1\temp \global\advance\defcount-1
\else\global\advance\changecount1 \global\let#1\temp\fi
{\escapechar=-1\immediate\write\refo{\noexpand#1{\temp}}}}
\def\eqref{\ref{\number\eqcount}}
\def\exref{\ref{\number\excount}}
\def\tabref|#1|{\expandafter\pageref\csname\vertical#1\endcsname}
\def\pageref#1{\ifx#1\relax\else\global\advance\defcount-1 \fi
\write\refo{\noexpand#1{\number\pageno}}%
\write\m@ne{\ifx#1\relax New Pageref!\else
\ifnum#1=\pageno\else Changed Pageref!\fi\fi}}
\def\crossref#1|{\expandafter\usedef\csname\vertical#1\endcsname}
\def\usedef#1{\ifx#1\relax
\ifshowmisses\showmiss#1\fi\global\advance\miscount1 ??\else #1\fi}
\let|=\crossref
\def\showmiss#1{{\escapechar=-1%
\message{***** WARNING: Undefined reference #1\string|! *****}}}
\def\cite#1.{\ifinxmode\write\bnx{[#1] \number\pageno.}\fi#1}
{\catcode`\@=\active
\gdef\newcite#1.{\ifinxmode\write\bnx{[#1'] \number\pageno.}\fi#1$'@$}}
\outer\def\bye{
\ifnum\miscount>0
\message{(\the\miscount\space undefined references were present)}\fi
\ifnum\changecount>0
\message{(\the\changecount\space new references written on \jobname.ref)}\fi
\ifnum\defcount>0
\message{(\the\defcount\space old references dropped from \jobname.ref)}\fi
\par\vfill\supereject
\end}
% Exercises
\newwrite\ans
\immediate\openout\ans=\jobname.ans
\outer\def\answer{\par
\immediate\write\ans{}
\immediate\write\ans{\string\ansno\chapno.\the\excount:}
\copytoblankline}
\def\copytoblankline{\begingroup\setupcopy\copyans}
\def\setupcopy{\def\do##1{\catcode`##1=\other}\dospecials \obeylines}
{\obeylines \gdef\copyans#1
{\def\next{#1}%
\ifx\next\empty\let\next=\endgroup %
\else\immediate\write\ans{\next} \let\next=\copyans\fi\next}}
\def\ansno#1:{\par\medbreak\def\thisansno{\source#1}%
\noindent\hbox to\parindent{\bf #1\hfil}\ignorespaces}
% Pictures (a subset of \LaTeX's conventions)
\newskip\hsssglue \hsssglue=0pt plus 1fill minus 1fill \def\hsss{\hskip\hsssglue}
\newdimen\unitlength \newdimen\linethickness
\newdimen\@picheight \newdimen\@xdim \newdimen\@ydim \newdimen\@len \newdimen\@save
\newcount\@multicount \newcount\@xarg \newcount\@yarg
\newbox\@picbox \newbox\@mpbox
\font\tenln=line10 \font\tenlnw=linew10
\font\tencirc=lcircle10 \font\tencircw=lcirclew10
\font\smallln=linew10 scaled 483 % that's magstep-4
\def\thinlines{\let\linefont=\tenln \let\circlefont=\tencirc
\linethickness=\fontdimen8\linefont}
\def\thicklines{\let\linefont=\tenlnw \let\circlefont=\tencircw
\linethickness=\fontdimen8\linefont}
\thinlines
\def\beginpicture(#1,#2)(#3,#4){\@picheight=#2\unitlength \let\line=\@line
\setbox\@picbox=\hbox to#1\unitlength\bgroup
\kern-#3\unitlength \lower#4\unitlength\hbox\bgroup\ignorespaces}
\def\endpicture{\egroup\hss\egroup
\ht\@picbox=\@picheight \dp\@picbox=\z@
\leavevmode\box\@picbox}
\def\put(#1,#2)#3{\raise#2\unitlength\rlap{\kern#1\unitlength #3}\ignorespaces}
\def\multiput(#1,#2)(#3,#4)#5#6{\@multicount=#5
\@xdim=#1\unitlength \@ydim=#2\unitlength \setbox\@mpbox=\hbox{#6}%
\loop\ifnum\@multicount>0
\raise\@ydim\rlap{\kern\@xdim \unhcopy\@mpbox}%
\advance\@xdim#3\unitlength \advance\@ydim#4\unitlength
\advance\@multicount\m@ne \repeat\ignorespaces}
\def\makebox(#1,#2)#3{\setbox\@picbox=\hbox to#1\unitlength{\hss#3\hss}%
\@ydim=\ht\@picbox \advance\@ydim-\dp\@picbox
\ht\@picbox=#2\unitlength \dp\@picbox=\z@
\leavevmode\lower.5\@ydim\box\@picbox}
\newif\ifneg
\def\@line(#1,#2)#3{\@xarg=#1 \@yarg=#2 \@len=#3\unitlength \leavevmode
\ifnum\@xarg<0 \reverseline \else \negfalse \@ydim=\z@\fi
\ifnum\@xarg=0 \@vline
\else\ifnum\@yarg=0 \@hline \else\@sline\fi\fi
\ifneg\kern-\@len\else\@save=\@ydim\fi}
\def\reverseline{\negtrue \kern-\@len \@xarg=-\@xarg
\@ydim=\@len \multiply\@ydim\@yarg \divide\@ydim\@xarg \@yarg=-\@yarg}
\def\@hline{\vrule height.5\linethickness depth.5\linethickness width\@len}
\def\@vline{\kern-.5\linethickness\vrule width\linethickness
\ifnum\@yarg<0 height\z@ depth\else depth\z@ height\fi\@len
\kern-.5\linethickness}
\def\@sline{\setbox\@picbox=\hbox{\linefont \count@=\@xarg \multiply\count@ 8
\ifnum\@yarg>0 \advance\count@\@yarg \advance\count@-9
\else \advance\count@-\@yarg \advance\count@ 55 \fi \char\count@}%
\ifnum\@yarg<0 \@picheight=-\ht\@picbox \advance\@ydim\@picheight
\else \@picheight=\ht\@picbox \fi
\@xdim=\wd\@picbox \@save=\@ydim
\loop\ifdim\@xdim<\@len \raise\@ydim\copy\@picbox
\advance\@xdim\wd\@picbox \advance\@ydim\@picheight \repeat
\advance\@xdim-\@len \kern-\@xdim
\multiply\@xdim\@yarg \divide\@xdim\@xarg \advance\@ydim-\@xdim
\raise\@ydim\box\@picbox}
\def\vector(#1,#2)#3{\@line(#1,#2){#3}%
\ifnum\@xarg=0 \@vvector \else\ifnum\@yarg=0 \@hvector \else\@svector\fi\fi}
\def\@hvector{\ifneg\rlap{\linefont\char27}\else
\smash{\llap{\linefont\char45}}\fi} % we have to smash because of font bug
\def\@vvector{\ifnum\@yarg<0 \raise-\@len\rlap{\linefont\char63}%
\else\setbox\@picbox=\rlap{\linefont\char54}\advance\@len-\ht\@picbox
\raise\@len\box\@picbox\fi}
\def\@svector{\setbox\@picbox=\hbox to\z@{\linefont
\ifnum\@yarg<0 \count@=55 \@yarg=-\@yarg \else\count@=-9 \fi
\ifneg\multiply\@xarg16 \multiply\@yarg2
\else\hss % \llap
\ifnum\@xarg>2 \multiply\@xarg9 \multiply\@yarg2 \advance\count@29
\else\ifnum\@yarg>2 \multiply\@xarg16 \multiply\@yarg9 \advance\count@-20
\else\multiply\@xarg24 \multiply\@yarg3 \fi\fi\fi
\advance\count@\@xarg \advance\count@\@yarg \char\count@
\ifneg\hss\fi}% \rlap
\raise\@save\box\@picbox}
\def\disk#1{\@len=#1\unitlength \count@='160 \@diskcirc}
\def\circle#1{\@len=#1\unitlength \count@='140 \@diskcirc}
\def\@diskcirc{\setbox\@picbox=\hbox{\circlefont\char\count@}\@xdim=\wd\@picbox
\leavevmode \ifdim\@len>15.499\@xdim \@bigdc \else \@smalldc\fi}
\def\@bigdc{\ifnum\count@<'160 \@bigcirc
\else \@len=15\@xdim \@diskcirc\fi}
\def\@smalldc{{\advance\@len-.5\@xdim
\loop\ifdim\@xdim<\@len \advance\count@\@ne \advance\@xdim\wd\@picbox\repeat
\hbox{\circlefont\char\count@}}}
\def\@bigcirc{{\circlefont\count@=15
\setbox\@picbox=\hbox{\char\count@}\@xdim=\wd\@picbox
\ifdim\@len>2.5\@xdim \@len=2.5\@xdim\fi
\advance\@len-.125\wd\@picbox
\loop\ifdim\@xdim<\@len \advance\count@ 4 \advance\@xdim.25\wd\@picbox\repeat
\@ydim=.5\@xdim \advance\@ydim.5\linethickness
\setbox\@picbox=\vbox{\hbox{\char\count@\advance\count@-3\char\count@}%
\nointerlineskip
\hbox{\advance\count@\m@ne\char\count@\advance\count@\m@ne\char\count@}}%
\kern-\@ydim\lower\@ydim\box\@picbox}}
\newif\ifovaltl \newif\ifovaltr \newif\ifovalbl \newif\ifovalbr
\ovaltltrue \ovaltrtrue \ovalbltrue \ovalbrtrue
\def\oval(#1,#2){\@xdim=#1\unitlength \@ydim=#2\unitlength
{\circlefont \setbox\@picbox=\hbox{\char0}
\ifdim\@xdim<\wd\@picbox \@xdim=\wd\@picbox\fi
\ifdim\@ydim<\wd\@picbox \@ydim=\wd\@picbox\fi
\@save=\@xdim \ifdim\@ydim<\@save \@save=\@ydim \fi
\count@=39
\loop \setbox\@picbox=\hbox{\char\count@}\ifdim\@save<\wd\@picbox
\advance\count@-4 \repeat
\setbox\strutbox=\hbox{\vrule height\ht\@picbox depth\dp\@picbox width\z@
\kern\wd\@picbox}%
\@save=.5\wd\@picbox \advance\@save-.5\linethickness
\setbox0=\hbox to\@xdim{\ifovaltl\char\count@\else\strut\fi
\kern-\@save\leaders\hrule height\ifovaltl\linethickness\else\z@\fi\hfil
\leaders\hrule height\ifovaltr\linethickness\else\z@\fi\hfil\kern\@save
\ifovaltr\advance\count@-3\char\count@\else\strut\fi\kern-\wd\@picbox}%
\advance\count@\m@ne
\setbox2=\hbox to\@xdim{\ifovalbl\char\count@\else\strut\fi
\kern-\@save\leaders\hrule height\ifovalbl\linethickness\else\z@\fi\hfil
\leaders\hrule height\ifovalbr\linethickness\else\z@\fi\hfil\kern\@save
\ifovalbr\advance\count@\m@ne\char\count@\else\strut\fi\kern-\wd\@picbox}%
\@save=\@ydim \advance\@save-\wd\@picbox \divide\@save 2
\setbox\@picbox=\vbox{\box0\nointerlineskip
\hbox to\@xdim{\vrule height\@save width\ifovaltl\linethickness\else\z@\fi
\hfil\ifovaltr\vrule width\linethickness\kern-\linethickness\fi}%
\nointerlineskip
\hbox to\@xdim{\vrule height\@save width\ifovalbl\linethickness\else\z@\fi
\hfil\ifovalbr\vrule width\linethickness\kern-\linethickness\fi}%
\nointerlineskip\box2}%
\@save=.5\@ydim \advance\@save.5\linethickness \leavevmode
\kern-.5\@xdim \kern-.5\linethickness \lower\@save\box\@picbox}}
\def\cpic#1\endcpic{\vcenter{\hbox{\beginpicture#1\endpicture}}}
% Squines (quadratic splines)
% example of use: to plot f(x) between x0 and x1, you can say
% \put(0,0){\squine(x0,xm,x1,y0,ym,y1)}, where y0=f(x0), y1=f(x1)
% xm=(y0-y1+s1x1-s0x0)/(s1-s0), ym=(s0(s1x1-y1)-s1(s0x0-y0))/(s1-s0),
% s0=f'(x0), and s1=f'(x1).
\newdimen\@xi \newdimen\@xii \newdimen\@xiii \newdimen\@xiv
\newdimen\@xpt \newdimen\@xoldpt
\newdimen\@yi \newdimen\@yii \newdimen\@yiii \newdimen\@yiv
\newdimen\@ypt \newdimen\@yoldpt
\def\squine(#1,#2,#3,#4,#5,#6){\setbox\@picbox\hbox{\tencirc q}%
\global\@xoldpt=#1\unitlength \global\@yoldpt=#4\unitlength \kern\@xoldpt
\@xi=\@xoldpt \@xii=#2\unitlength \@xiii=#3\unitlength
\@yi=\@yoldpt \@yii=#5\unitlength \@yiii=#6\unitlength
\squinerec
\@xpt=#3\unitlength \@ypt=#6\unitlength \@addpoint
\raise\@ypt\copy\@picbox}
\newif\iffar
\def\squinerec{\farfalse \testnear\@xi\@xiii \testnear\@yi\@yiii
\iffar \decast \fi}
\def\testnear#1#2{\@save=#1\advance\@save-#2%
\ifdim\@save<\z@ \@save=-\@save\fi \ifdim\@save>\p@ \fartrue \fi}
\def\decast{\@xpt=\@xi \advance\@xpt\@xii \divide\@xpt2
\advance\@xii\@xiii \divide\@xii2
\@xiv=\@xpt \advance\@xiv\@xii \divide\@xiv2
\@ypt=\@yi \advance\@ypt\@yii \divide\@ypt2
\advance\@yii\@yiii \divide\@yii2
\@yiv=\@ypt \advance\@yiv\@yii \divide\@yiv2
\begingroup\@xii=\@xpt \@xiii=\@xiv
\@yii=\@ypt \@yiii=\@yiv \squinerec\endgroup
\@xpt=\@xiv \@ypt=\@yiv \@addpoint
\@xi=\@xiv \@yi=\@yiv \squinerec}
\def\@addpoint{%\message{(\the\@xpt,\the\@ypt)}%
\global\advance\@xoldpt-\@xpt \wd\@picbox=-\@xoldpt
\raise\@yoldpt\copy\@picbox \global\@xoldpt=\@xpt \global\@yoldpt=\@ypt}
% Math operators
\def\2{\mskip-.5mu2\mskip.5mu}
\newmuskip\lessfortimes \lessfortimes=-2mu minus -2mu
\def\cdt{\mskip\lessfortimes\cdot\mskip\lessfortimes}
\def\nullnum{\phantom{0}}
\def\twonullnum{\phantom{00}}
\def\bex{\mskip-2mu}
\def\twoconditions#1#2{_{\scriptstyle#1\atop\scriptstyle#2}}
\def\tworestrictions#1#2{\vcenter{\offinterlineskip
\halign{\strut\hfil##\hfil\cr#1\cr#2\cr}}}
\def\dts{\mathinner{\ldotp\ldotp}}
\def\[#1]{[\hbox{$\mskip1mu\thickmuskip=\thinmuskip#1\mskip1mu$}]}
\def\bigi[#1\bigr]{\bigl[\hbox{$\thickmuskip=\thinmuskip#1$}\bigr]}
\def\Bigi[#1\Bigr]{\Bigl[\hbox{$\thickmuskip=\thinmuskip#1$}\Bigr]}
\def\prp(#1){(\hbox{$\thickmuskip=\thinmuskip#1$})}
\def\pbigi(#1\bigr){\bigl(\hbox{$\thickmuskip=\thinmuskip#1$}\bigr)}
\def\_#1{\def\next{#1}%
\ifx\next\risingsign\expandafter\rising\else^{\underline{#1}}\fi}
\def\risingsign{^}
\def\rising#1{^{\overline{#1}}}
\def\dotminus{\mathbin{\buildrel{\hbox{\runhead.}}\over{\smash{-}\vphantom{_2}}}}
\let\divides=\backslash
\def\edivides{\divides\mskip-4mu\divides}
\def\ndivides{\mathpalette\notdiv\relax}
\def\notdiv#1#2{\setbox0=\hbox{$#1\divides$}%
\vcenter{\hbox to\wd0{$\hss\scriptscriptstyle/\hss$}}\kern-\wd0
\vcenter{\hbox to\wd0{$\hss\kern.5pt\scriptscriptstyle/\hss$}}\kern-\wd0
\box0\relax}
\def\spec{\mathop{\rm Spec}}
\def\half{{1\over2}}
\def\rp{\mathchar"323F } % relatively prime
\def\lcm{\mathop{\rm lcm}}
\def\And{\quad{\rm and}\quad}
\let\==\equiv
\def\tmod#1{(mod~$#1$)}
\let\implies=\Longrightarrow
\def\?{\hbox{!`}} % subfactorial
\def\hyp{\mathop{F{}}\nolimits\hyper}
\def\tightplus{\medmuskip=1.5mu\relax}
\def\hyper#1#2#3{\mathchoice{\tightplus
\hbox{$\displaystyle\biggl({#1\atop#2}\Big\vert\,{#3}\!\biggr)$}}%
{\bigl({#1\atop#2}\vert\mskip2mu#3\bigr)}%
{}{}} % used only in D and T styles
%\def\hypk_#1{\mathop{F{}}_{#1}\nolimits\hyper} % confl with mFn convention
\def\hypk_#1#2#3#4{\mathop{F{}}\mathchoice{\tightplus
\hbox{$\displaystyle\biggl({#2\atop#3}\Big\vert\,{#4}\!\biggr)$}%
\lower\fontdimen11\mathsym\hbox{$\scriptstyle\!#1$}}%
{\bigl({#2\atop#3}\vert\mskip2mu#4\bigr)\lower\fontdimen12\mathsym
\hbox{$\scriptstyle\!#1$}}%
{}{}} % used only in D and T styles
\def\double(#1\choose#2){\mathchoice{\biggl(\!\!{#1\choose#2}\!\!\biggr)}
{\bigl(\!{#1\choose#2}\!\bigr)}{}{}} % only D and T styles
\def\hypstrut{\vphantom{_1\_^k}} % if there's another denominator with \_^k
\def\deg{\mathop{\rm deg}}
\def\Bscr{{\scr B}}
\def\Escr{{\scr E}}
\def\Fscr{{\scr F}}
\def\Pscr{{\scr P}}
\def\Sscr{{\scr S}}
\def\adj{\relbar\joinrel\relbar} % adjacent in a graph
\let\<=\langle \let \>=\rangle
\def\Pr{\mathop{\rm Pr}\nolimits}
\def\Mean{\mathop{\rm Mean}\nolimits}
\def\Var{\mathop{\rm Var}\nolimits}
\def\between{\big\vert\hbox{\vphantom)}} % \between_a^b
{\catcode`\'=\active \gdef'{^\bgroup\mskip2mu\prim@s}} % more space before '
\def\array#1[#2]{\hbox{\tt#1[$#2$]}}
\def\given{\mskip1mu\vert\mskip1mu}
\def\euler{\atopwithdelims<>}
\def\Euler#1#2{\mathchoice{\biggl<\mskip-7mu{#1\euler#2}\mskip-7mu\biggr>}%
{\bigl<\!{#1\euler#2}\!\bigr>}{}{}}
\def\Choose#1#2{\mathchoice{\biggl(\mskip-7mu{#1\euler#2}\mskip-7mu\biggr)}%
{\bigl(\!{#1\euler#2}\!\bigr)}{}{}}
\newbox\phihatbox \newbox\scrphihatbox
\setbox\phihatbox=\hbox{$\phi$} \ht\phihatbox=1ex
\setbox\scrphihatbox=\hbox{$\scriptstyle\phi$}
\ht\scrphihatbox=\fontdimen5\mathsublet
\setbox\phihatbox=\hbox{$\widehat{\box\phihatbox}$}
\setbox\scrphihatbox=\hbox{$\hat{\box\scrphihatbox}$}
\def\phihat{\mathchoice{\copy\phihatbox}{\copy\phihatbox}%
{\copy\scrphihatbox}{{\hat\phi}}}
\newbox\mathsizebox
\def\setmathsize#1{\global\setbox\mathsizebox=\hbox{\displaymath#1$}}
\def\mathsize#1{\hbox to\wd\mathsizebox{\displaymath#1$\hss}}
\newbox\sqrtstrutbox
\setbox\sqrtstrutbox=\hbox{\vrule height10.5pt width\z@}
\def\strutsqrt#1{\copy\sqrtstrutbox\sqrt{{}^{\mathstrut}#1}}
\newbox\Sqbox % for sum of squares
\setbox\Sqbox=\vbox{\tenrm\hrule height.6pt\kern-.6pt
\hbox to1.5ex{\vrule height1.5ex width.6pt\hss\vrule width.6pt}\kern-.6pt
\hrule height.3pt depth.3pt}
\def\Sq{\mskip1.5mu\copy\Sqbox\mskip1.5mu}
% primitive index macros
% "stuff for index" will go into a file for sorting and into normal text
% "!stuff for index" will go into the file only
\expandafter\def\expandafter\dospecials\expandafter{\dospecials\do\"}
\def\hexcode{"} \catcode`\"=\active
\newif\ifinxmode
\newwrite\inx \newwrite\bnx
\newbox\inxbox
\newif\ifsilent
\def\beginxref{\futurelet\next\beginxrefswitch}
\def\beginxrefswitch{\ifx\next!\let\next=\silentxref
\else\silentfalse\let\next=\xref\fi \next}
\def\silentxref!{\silenttrue\xref}
\let"=\beginxref
\def\xref#1"{\ifinxmode\edef\text{#1}\makexref\fi
\ifsilent\ignorespaces\else#1\fi}
\def\makexref{\global\setbox\inxbox=%
\vbox{\unvbox\inxbox\allowbreak\hbox{\inxstyle\text}}%
\xdef\writeit{\write\inx{\text\space!\space
\noexpand\number\pageno.}}\writeit}
% Final considerations
\catcode`\@=\active \def@{\mskip1mu\relax}
\expandafter\def\expandafter\dospecials\expandafter{\dospecials\do\@}
\hyphenation{logical Mac-Mahon hyper-geo-metric hyper-geo-met-rics Ber-noulli}
\preprintfalse % WE ARE MAKING THE REAL BOOK!
\inxmodetrue % WE ARE PREPARING A ROUGH INDEX
\showmissestrue % THE REFERENCES SHOULD ALL BE READY NOW
\ifinxmode\immediate\openout\inx=\jobname.inx \fi % file for index reminders
\ifinxmode\immediate\openout\bnx=\jobname.bnx \fi % file for bib reminders
% To make the book:
% First TeX BIB, to get BIB.REF correct. (Must have \cite entries.)
% Then TeX CHAP1..CHAP9, PREF, ANS, CRED, FRONT, CONT.
% Then make BNX file from individual *.BNX files including BIB.BNX.
% Then reTeX BIB.
% *.INX files are raw data only. Index and Contents are prepared by hand.
% To produce only a subset of pages, put the page numbers on separate
% lines in a file called pages.tex, ended by 999
% WARNING: This will screw up the .grf file! Save it, then restore it.
% WARNING: This may screw up the .ref file (if there are \tabrefs). Ditto.
\let\Shipout=\shipout
\newread\pages \newcount\nxtpg \openin\pages=pages
\def\getnxtpg{\ifeof\pages\else
{\endlinechar=-1\read\pages to\next
\ifx\next\empty % in this case we should have eof now
\else\global\nxtpg=\next\fi}\fi}
\ifeof\pages\else\message{OK, I'll ship only the requested pages!}
\getnxtpg\fi
\def\shipout{\ifeof\pages\let\next=\Shipout
\else\ifnum\pageno=\nxtpg\getnxtpg\let\next=\Shipout
\else\let\next=\Tosspage\fi\fi \next}
\newbox\garbage \def\Tosspage{\deadcycles=0\setbox\garbage=}
|
