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

SCM Repository

[diderot] Annotation of /branches/pure-cfg/doc/report/defs.tex
ViewVC logotype

Annotation of /branches/pure-cfg/doc/report/defs.tex

Parent Directory Parent Directory | Revision Log Revision Log


Revision 473 - (view) (download) (as text)
Original Path: trunk/doc/report/defs.tex

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

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