Finish Kruskal.

[saga.git] / macros.tex

diff --git a/macros.tex b/macros.tex
index b244eb1a610ae2c17554e7b471752bab3ad1be30..64de0b2578555e4c618f9e4240fa84952402f74b 100644 (file)
--- a/macros.tex
+++ b/macros.tex
@@ -27,15 +27,20 @@
 %%% Miscellanea %%%
 
 \def\em#1{{\it #1\/}}
+\def\df#1{{\it #1\/}}  % when we define something
 \def\O{{\cal O}}
 \def\<#1>{\leavevmode\hbox{\it #1\/}}
 \let\>=\noindent
 \def\qed{{\parfillskip=0pt\allowbreak\hfill\nobreak $\spadesuit$\par}}
+\def\FIXME#1{\>{\bo TODO:} #1}
+\def\symdiff{\mathbin{\Delta}}
+\def\hphantas#1#2{\setbox0=\hbox{#2}\hbox to \wd0{#1\hss}}
+\def\o#1{\accent23 #1}
 
 % Footnotes
 \newcount\footcnt
 \footcnt=0
-\def\foot#1{\global\advance\footcnt by 1{\parindent=0.25in\parskip=0pt\footnote{$^{\left<\the\footcnt\right>}$}{#1}}}
+\def\foot#1{\global\advance\footcnt by 1{\parindent=0.25in\parskip=0pt\footnote{$^{\the\footcnt}$}{#1}}}
 
 %%% Fonts %%%
 
@@ -229,14 +234,14 @@
 %      \algout popis vystupu
 %      \endalgo
 
-\def\algo#1{
+\def\algo{
 \interlistskip
 \begingroup
 \let\:=\algoitem
 \parskip=1pt plus 1pt minus 0.3pt
 \rightskip=2em
 \itemcount=0
-{\bo Algoritmus\/} {\sc #1}
+\smallskip
 }
 \def\endalgo{\interlistskip\endgroup}
 \def\algopar{\par
@@ -246,14 +251,13 @@
 \leavevmode
 }
 \def\algoitem{
-\ifnum\itemcount=0\smallskip\fi
 \algopar\advance\itemcount by 1
 \hbox to 2em{\hss \the\itemcount. }%
 \futurelet\next\algoitemh}
 \def\algoitemh{\ifx\next:\let\next=\algohang\else\let\next=\relax\fi\next}
 \def\algohang:{\advance\hangindent by 2em \hskip 2em\futurelet\next\algoitemh}
-\def\algin{\par{\it Vstup:\/} }
-\def\algout{\par{\it Výstup:\/} }
+\def\algin{\par{\sl Input:\/} }
+\def\algout{\par{\sl Output:\/} }
 
 %%% Constructs used in algorithms %%%
 
@@ -269,7 +273,7 @@
 \seccount=0
 \thmcount=0
 
-\def\chapter#1{\vfill\eject
+\def\chapter#1{\vfill\supereject
 \advance\chapcount by 1
 \seccount=0
 \thmcount=0
@@ -285,27 +289,39 @@
 }
 
 \def\proclaim#1{\advance\thmcount by 1
-\noindent {\bf #1 \the\chapcount.\the\seccount.\the\thmcount. }
-}
+\noindent {\bo \the\chapcount.\the\seccount.\the\thmcount.\enspace #1.\enspace}}
 
-\def\theorem{\proclaim{Theorem}}
+\def\thm{\proclaim{Theorem}}
 \def\lemma{\proclaim{Lemma}}
 \def\defn{\proclaim{Definition}}
+\def\problem{\proclaim{Problem}}
+\def\obs{\proclaim{Observation}}
+\def\rem{\proclaim{Remark}}
+\def\alg{\proclaim{Algorithm}}
+\def\impl{\proclaim{Implementation}}
+\def\cor{\proclaim{Corollary}}
+
+\def\label#1{{\sl (#1)\/}\enspace}
 
-\def\proof{\noindent {\sl Proof.} }
+\def\thmn{\thm\label}
+\def\lemman{\lemma\label}
+\def\defnn{\defn\label}
+\def\algn{\alg\label}
+
+\def\proof{\noindent {\sl Proof.}\enspace}
 
 %%% References %%%
 
 \newwrite\ids
 \def\writeid#1#2{\immediate\write\ids{\string\def\expandafter\string\csname id#1\endcsname{#2}}}
 
-\immediate\openin\ids=\jobname.aux
+\immediate\openin\ids=\jobname.ids
 \ifeof\ids
 \else
-\input \jobname.aux
+\input \jobname.ids
 \fi
 \immediate\closein\ids
-\immediate\openout\ids=\jobname.aux
+\immediate\openout\ids=\jobname.ids
 
 \def\ref#1{\expandafter\ifx\csname id#1\endcsname\relax
 {\bo ??}%
@@ -332,6 +348,16 @@
   \bibliography{biblio}
 }
 
+%%% Figures %%%
+
+\def\figure#1#2#3{\midinsert
+\medskip
+\centerline{\epsfxsize=#2\epsfbox{pic/#1}}
+\medskip
+\smallskip
+\centerline{#3}
+\endinsert}
+
 %%% Stand-alone chapters %%%
 
 \def\endpart{