Home My Page Projects Code Snippets Project Openings diderot
Summary Activity Tracker Tasks SCM

SCM Repository

[diderot] Annotation of /trunk/doc/report/defs.tex
ViewVC logotype

Annotation of /trunk/doc/report/defs.tex

Parent Directory Parent Directory | Revision Log Revision Log


Revision 2636 - (view) (download) (as text)

1 : jhr 97 %!TEX root = report.tex
2 :     %
3 : jhr 335
4 :     %BEGIN LATEX
5 :     \setlength{\textwidth}{6in}
6 :     \oddsidemargin 0.25in
7 :     \evensidemargin 0.25in
8 :     \addtolength{\textheight}{1.0in}
9 :     \addtolength{\topmargin}{-0.5in}
10 :     \parskip 5pt
11 :     %END LATEX
12 :    
13 :     \usepackage{times}
14 :     %BEGIN LATEX
15 :     %-------------------------
16 :     % the following magic makes the tt font in math mode be the same as the
17 :     % normal tt font (i.e., Courier)
18 :     %
19 : jhr 380 \SetMathAlphabet{\mathtt}{normal}{OT1}{pcr}{m}{n}
20 : jhr 335 \SetMathAlphabet{\mathtt}{bold}{OT1}{pcr}{bx}{n}
21 :     %-------------------------
22 :     %END LATEX
23 :    
24 :     %BEGIN LATEX
25 :     \usepackage{hevea}
26 :     \usepackage{grammar}
27 :     \renewcommand{\term}[1]{\textsc{#1}}
28 :     %END LATEX
29 :    
30 : jhr 1684 \usepackage[newpage,toc]{manpage}
31 : jhr 335 \usepackage{graphicx}
32 : jhr 377 \usepackage{amssymb}
33 : jhr 335 \usepackage{amsmath}
34 :     \usepackage{stmaryrd}
35 :    
36 : jhr 2636 \usepackage{color}
37 :     \definecolor{Red}{rgb}{0.9,0.0,0.0} % fixme
38 : jhr 335 \definecolor{Green}{rgb}{0.0,0.4,0.0}
39 :     \definecolor{Blue}{rgb}{0.0,0.0,0.9}
40 : jhr 2636 \definecolor{DarkBlue}{rgb}{0.0,0.0,0.75}
41 :     \definecolor{Midnight}{rgb}{0.0,0.0,0.5}
42 : jhr 335 \definecolor{Purple}{rgb}{0.5,0.0,0.4}
43 :     \definecolor{Black}{rgb}{0.0,0.0,0.0}
44 :     \definecolor{Yellow}{rgb}{1.0,1.0, 0.25}
45 :     \definecolor{Cyan}{rgb}{0.25,1.0, 1.0}
46 :    
47 : jhr 2636 \newcommand{\cdColor}{Black}
48 :     \newcommand{\kwColor}{DarkBlue}
49 :     \newcommand{\comColor}{Red}
50 :    
51 :     % code listings
52 : jhr 335 %
53 :     \usepackage{listings}
54 :     \lstset{
55 : jhr 2636 basicstyle=\ttfamily\scriptsize\color{\cdColor},
56 :     keywordstyle=\color{\kwColor}\bfseries,
57 :     commentstyle=\color{\comColor}\itshape}
58 : jhr 335 \lstdefinelanguage{Diderot}{%
59 : jhr 2636 otherkeywords={|,\#},
60 :     morekeywords={%
61 :     bool,%
62 :     die,%
63 :     else,%
64 :     false,field,function,%
65 :     identity,if,image,in,inf,initially,input,int,%
66 :     kernel,%
67 :     nan,new,%
68 :     output,%
69 :     real,%
70 :     stabilize,strand,string,%
71 :     tensor,true,%
72 :     update,%
73 :     vec2,vec3,vec4,%
74 :     zeros},
75 :     morekeywords=[2]{D},
76 : jhr 371 sensitive,%
77 :     morecomment=[s]{/*}{*/},%
78 : jhr 2636 morecomment=[l]//,
79 :     morestring=[b]"}%
80 : jhr 335
81 :     \lstset{
82 :     language=Diderot
83 :     }
84 :    
85 : jhr 2636 \newcommand{\CD}[1]{\textcolor{\cdColor}{\texttt{#1}}}
86 :     \newcommand{\KW}[1]{\textcolor{\kwColor}{\kw{#1}}}
87 :     \newcommand{\MKW}[1]{\textcolor{\kwColor}{\mkw{#1}}}
88 :    
89 : jhr 97 \newcommand{\appref}[1]{Appendix~\ref{#1}}
90 :     \newcommand{\chapref}[1]{Chapter~\ref{#1}}
91 :     \newcommand{\secref}[1]{Section~\ref{#1}}
92 :     \newcommand{\tblref}[1]{Table~\ref{#1}}
93 :     \newcommand{\figref}[1]{Figure~\ref{#1}}
94 :     \newcommand{\pref}[1]{{page~\pageref{#1}}}
95 :     \newcommand{\defref}[1]{Definition~\ref{#1}}
96 :     \newcommand{\lemmaref}[1]{Lemma~\ref{#1}}
97 :     \newcommand{\thmref}[1]{Theorem~\ref{#1}}
98 :    
99 :     \newcommand{\eg}{{\em e.g.}}
100 :     \newcommand{\cf}{{\em cf.}}
101 :     \newcommand{\ie}{{\em i.e.}}
102 :     \newcommand{\etc}{{\em etc.\/}}
103 :     \newcommand{\naive}{na\"{\i}ve}
104 :     \newcommand{\ala}{{\em \`{a} la\/}}
105 :     \newcommand{\role}{r\^{o}le}
106 :    
107 :     %
108 :     % font commands
109 :     \providecommand{\bftt}[1]{{\ttfamily\bfseries{}#1}}
110 :     \providecommand{\ittt}[1]{{\ttfamily\itshape{}#1}}
111 : jhr 335 \providecommand{\kw}[1]{\bftt{\color{Purple}#1}}
112 : jhr 97 \providecommand{\nt}[1]{{\rmfamily\itshape{#1}}}
113 :     \providecommand{\term}[1]{{\sffamily{#1}}}
114 :     \providecommand{\tyvar}[1]{#1}
115 :     \providecommand{\comment}[1]{#1}
116 :     \providecommand{\literal}[1]{#1}
117 :     %
118 :     % math-mode versions
119 :     \providecommand{\mkw}[1]{\ensuremath{\text{\kw{#1}}}}
120 :     \providecommand{\mnt}[1]{\ensuremath{\text{\nt{#1}}}}
121 :     \providecommand{\mterm}[1]{\ensuremath{\text{\term{#1}}}}
122 :    
123 :     % braces
124 :     \newcommand{\LCB}{\sym{\char`\{}}
125 :     \newcommand{\RCB}{\sym{\char`\}}}
126 :    
127 :     % special symbols
128 :     \newcommand{\DS}{\sym{\$}}
129 :     \newcommand{\PCT}{\sym{\%}}
130 :     \newcommand{\HASH}{\sym{\#}}
131 :     \newcommand{\BS}{\sym{\char`\\}}
132 :     \newcommand{\US}{\sym{\char`\_}}
133 :    
134 :     % example code
135 :     %BEGIN LATEX
136 : jhr 335 \newenvironment{EXAMPLE}{\begin{quote}\begin{lstlisting}}{\end{lstlisting}\end{quote}}
137 : jhr 97 %END LATEX
138 :     %HEVEA \newenvironment{EXAMPLE}{\begin{alltt}}{\end{alltt}}
139 :     %HEVEA \usepackage{alltt}
140 :    
141 : jhr 473 %%%%%
142 :     % Some common math notation
143 :     %
144 :    
145 :     % double brackets
146 :     \newcommand{\LDB}{\ensuremath{[\mskip -3mu [}}
147 :     \newcommand{\RDB}{\ensuremath{]\mskip -3mu ]}}
148 :    
149 :     \newcommand{\dom}{\ensuremath{\mathrm{dom}}}
150 :     \newcommand{\rng}{\ensuremath{\mathrm{rng}}}
151 :    
152 :     % sets
153 :     \newcommand{\SET}[1]{\ensuremath{\{#1\}}}
154 :     \newcommand{\Fin}{\textrm{Fin}} % finite power set
155 :     \newcommand{\DISJOINT}[2]{\ensuremath{#1 \pitchfork #2}}
156 :     \newcommand{\finsubset}{\mathrel{\stackrel{\textrm{fin}}{\subset}}}
157 :    
158 :     % finite maps
159 :     \newcommand{\finmap}{\mathrel{\stackrel{\textrm{fin}}{\rightarrow}}}
160 :     \newcommand{\MAP}[2]{\SET{#1 \mapsto #2}}
161 :     \newcommand{\EXTEND}[2]{\ensuremath{#1{\pm}#2}}
162 :     \newcommand{\EXTENDone}[3]{\EXTEND{#1}{\MAP{#2}{#3}}}
163 :     \newcommand{\SUBST}[3]{\ensuremath{#1[#2\mapsto{}#3]}}
164 :     \newcommand{\SUBSTTWO}[5]{\ensuremath{#1[#2\mapsto{}#3,#4\mapsto{}#5]}}
165 :    
166 :     % typing judgments
167 :     %
168 :     \newcommand{\HasTy}[3]{#1 \vdash #2 : #3}
169 :     \newcommand{\UnopTy}[4]{\HasTy{#1}{#2}{#3 \rightarrow #4}}
170 :     \newcommand{\BinopTy}[5]{\HasTy{#1}{#2}{#3 \times #4 \rightarrow #5}}
171 :    
172 :     % inference rules
173 :     \newcommand{\infer}[2]{\frac{\;{#2}\;}{\;{#1}\;}}
174 :     %
175 :     % labeled inference rule:
176 :     % \INFER{name}{label}{conclusion}{assumption}
177 :     %
178 :     \newcommand{\INFER}[2]{%
179 :     \begin{equation*}
180 :     \infer{#1}{#2}
181 :     \end{equation*}}
182 :    
183 :     % natural numbers
184 :     %
185 :     \newcommand{\Nat}{\mathcal{N}}
186 :    
187 :     % environments for type checking
188 :     %
189 :     \newcommand{\ENV}{\Gamma}
190 :    
191 :     % Diderot types
192 :     %
193 :     \newcommand{\TYconst}{\iota}
194 :     \newcommand{\TYbool}{\mathbf{bool}}
195 :     \newcommand{\TYint}{\mathbf{int}}
196 :     \newcommand{\TYreal}{\mathbf{real}}
197 :     \newcommand{\TYrawten}[2]{\mathbf{rawten}\langle{}#1,#2\rangle{}}
198 :     \newcommand{\TYtensor}[1]{\mathbf{tensor}\langle{}#1\rangle{}}
199 :     \newcommand{\TYmatrix}[2]{\mathbf{matrix}\langle{}#1,#2\rangle{}}
200 :     \newcommand{\TYimage}[2]{\mathbf{image}_{#1}\langle{}#2\rangle{}}
201 :     \newcommand{\TYkern}[1]{\mathbf{kern}^{#1}}
202 :     \newcommand{\TYfield}[3]{\mathbf{field}^{#1}_{#2}\langle{}#3\rangle{}}
203 :     \newcommand{\TYvec}[1]{\mathbf{vec}_{#1}}
204 :    
205 :     \newcommand{\Seq}[1]{\vec{#1}}
206 :    
207 : jhr 97 % notes
208 :     %BEGIN LATEX
209 :     \newcommand{\NOTE}[1]{%
210 :     \par\leavevmode\noindent\textbf{[[ #1 ]]}\par\leavevmode\noindent}
211 :     %END LATEX
212 :     \newcommand{\CUT}[1]{}
213 :    
214 :     %BEGIN LATEX
215 :     % timestamp
216 :     \newcount\timeHH
217 :     \newcount\timeMM
218 :     \timeHH=\time
219 :     \divide\timeHH by 60
220 :     \timeMM=\time
221 :     \count255=\timeHH
222 :     \multiply\count255 by -60 \advance\timeMM by \count255
223 :     \newcommand{\timestamp}{%
224 :     \today{} ---
225 :     \ifnum\timeHH<10 0\fi\number\timeHH\,:\,\ifnum\timeMM<10 0\fi\number\timeMM}
226 :     %END LATEX
227 :     %HAVEA \newcommand{\timestamp}{\today}
228 :    
229 :     %
230 :     % A command to input code produced by extract-code.
231 :    
232 :     \usepackage{ifthen}
233 :     \newcommand{\inputCode}[1]{%
234 :     \ifthenelse{\boolean{hevea}}{\input{#1.hva}}{\input{#1.tex}}}

root@smlnj-gforge.cs.uchicago.edu
ViewVC Help
Powered by ViewVC 1.0.0