source: doc/theses/andrew_beach_MMath/thesis.tex @ 33f3cfb

arm-ehjacob/cs343-translationnew-ast-unique-expr
Last change on this file since 33f3cfb was 33f3cfb, checked in by Andrew Beach <ajbeach@…>, 15 months ago

Moved glossaries out of Andrew Beach thesis. Even if I use them I would like them to be out of the way.

  • Property mode set to 100644
File size: 11.2 KB
Line 
1% Main tex file for thesis document.
2\documentclass[digital]{uw-ethesis}
3
4% Commands used in documenting how to use the template. To remove.
5\newcommand{\package}[1]{\textbf{#1}}
6\newcommand{\cmmd}[1]{\textbackslash\texttt{#1}}
7\newcommand{\href}[1]{#1}
8
9% For a nomenclature (optional; available from ctan.org)
10%\usepackage{nomencl}
11% Lots of math symbols and environments
12\usepackage{amsmath,amssymb,amstext}
13% For including graphics, sets the pdftex graphics driver.
14\usepackage[pdftex]{graphicx}
15
16\usepackage{cfalab}
17
18\usehyperrefpackage[pdftex,pagebackref=false]{
19    pdftitle={Exception Handling in CFA},
20    pdfauthor={Andrew James Beach},
21    pdfsubject={Programming Languages},
22    pdfkeywords={exceptions,implementation},
23}
24
25% The \phantomsection is used to help the hyperref package create links.
26
27% Post hyperref setup from cfalab.
28\lstset{style=cfalab}
29\settextunderscore{new}
30
31% Maybe only package that should be loaded after the hyperref package.
32% From http://ctan.org/pkg/glossaries-extra, extends glossaries which replaces
33% glossary and builds off of the makeindex system.
34\usepackage[toc,abbreviations]{glossaries-extra}
35
36% Define all the glossaries.
37\input{glossaries}
38
39% Generate the glossaries defined above.
40\makeglossaries
41
42\begin{document}
43
44%----------------------------------------------------------------------
45% FRONT MATERIAL
46%----------------------------------------------------------------------
47\input{thesis-frontpgs} 
48
49%----------------------------------------------------------------------
50% MAIN BODY
51%----------------------------------------------------------------------
52\input{unwinding}
53
54%======================================================================
55\chapter{Introduction}
56%======================================================================
57In the beginning, there was $\pi$:
58
59\begin{equation}
60   e^{\pi i} + 1 = 0  \label{eqn_pi}
61\end{equation}
62A \gls{computer} could compute $\pi$ all day long. In fact, subsets of digits
63of $\pi$'s decimal approximation would make a good source for psuedo-random
64vectors, \gls{rvec} .
65
66%----------------------------------------------------------------------
67\section{State of the Art}
68%----------------------------------------------------------------------
69
70See equation \ref{eqn_pi} on page \pageref{eqn_pi}.\footnote{A famous equation.}
71
72\section{Some Meaningless Stuff}
73
74The credo of the \gls{aaaaz} was, for several years, several paragraphs of gibberish, until the \gls{dingledorf} responsible for the \gls{aaaaz} Web site realized his mistake:
75
76"Velit dolor illum facilisis zzril ipsum, augue odio, accumsan ea augue molestie lobortis zzril laoreet ex ad, adipiscing nulla. Veniam dolore, vel te in dolor te, feugait dolore ex vel erat duis nostrud diam commodo ad eu in consequat esse in ut wisi. Consectetuer dolore feugiat wisi eum dignissim tincidunt vel, nostrud, at vulputate eum euismod, diam minim eros consequat lorem aliquam et ad. Feugait illum sit suscipit ut, tation in dolore euismod et iusto nulla amet wisi odio quis nisl feugiat adipiscing luptatum minim nisl, quis, erat, dolore. Elit quis sit dolor veniam blandit ullamcorper ex, vero nonummy, duis exerci delenit ullamcorper at feugiat ullamcorper, ullamcorper elit vulputate iusto esse luptatum duis autem. Nulla nulla qui, te praesent et at nisl ut in consequat blandit vel augue ut.
77
78Illum suscipit delenit commodo augue exerci magna veniam hendrerit dignissim duis ut feugait amet dolor dolor suscipit iriure veniam. Vel quis enim vulputate nulla facilisis volutpat vel in, suscipit facilisis dolore ut veniam, duis facilisi wisi nulla aliquip vero praesent nibh molestie consectetuer nulla. Wisi nibh exerci hendrerit consequat, nostrud lobortis ut praesent dignissim tincidunt enim eum accumsan. Lorem, nonummy duis iriure autem feugait praesent, duis, accumsan tation enim facilisi qui te dolore magna velit, iusto esse eu, zzril. Feugiat enim zzril, te vel illum, lobortis ut tation, elit luptatum ipsum, aliquam dolor sed. Ex consectetuer aliquip in, tation delenit dignissim accumsan consequat, vero, et ad eu velit ut duis ea ea odio.
79
80Vero qui, te praesent et at nisl ut in consequat blandit vel augue ut dolor illum facilisis zzril ipsum. Exerci odio, accumsan ea augue molestie lobortis zzril laoreet ex ad, adipiscing nulla, et dolore, vel te in dolor te, feugait dolore ex vel erat duis. Ut diam commodo ad eu in consequat esse in ut wisi aliquip dolore feugiat wisi eum dignissim tincidunt vel, nostrud. Ut vulputate eum euismod, diam minim eros consequat lorem aliquam et ad luptatum illum sit suscipit ut, tation in dolore euismod et iusto nulla. Iusto wisi odio quis nisl feugiat adipiscing luptatum minim. Illum, quis, erat, dolore qui quis sit dolor veniam blandit ullamcorper ex, vero nonummy, duis exerci delenit ullamcorper at feugiat. Et, ullamcorper elit vulputate iusto esse luptatum duis autem esse nulla qui.
81
82Praesent dolore et, delenit, laoreet dolore sed eros hendrerit consequat lobortis. Dolor nulla suscipit delenit commodo augue exerci magna veniam hendrerit dignissim duis ut feugait amet. Ad dolor suscipit iriure veniam blandit quis enim vulputate nulla facilisis volutpat vel in. Erat facilisis dolore ut veniam, duis facilisi wisi nulla aliquip vero praesent nibh molestie consectetuer nulla, iriure nibh exerci hendrerit. Vel, nostrud lobortis ut praesent dignissim tincidunt enim eum accumsan ea, nonummy duis. Ad autem feugait praesent, duis, accumsan tation enim facilisi qui te dolore magna velit, iusto esse eu, zzril vel enim zzril, te. Nisl illum, lobortis ut tation, elit luptatum ipsum, aliquam dolor sed minim consectetuer aliquip.
83
84Tation exerci delenit ullamcorper at feugiat ullamcorper, ullamcorper elit vulputate iusto esse luptatum duis autem esse nulla qui. Volutpat praesent et at nisl ut in consequat blandit vel augue ut dolor illum facilisis zzril ipsum, augue odio, accumsan ea augue molestie lobortis zzril laoreet. Ex duis, te velit illum odio, nisl qui consequat aliquip qui blandit hendrerit. Ea dolor nonummy ullamcorper nulla lorem tation laoreet in ea, ullamcorper vel consequat zzril delenit quis dignissim, vulputate tincidunt ut."
85
86%======================================================================
87\chapter{Observations}
88%======================================================================
89
90This would be a good place for some figures and tables.
91
92Some notes on figures and photographs\ldots
93
94\begin{itemize}
95\item A well-prepared PDF should be
96  \begin{enumerate}
97    \item Of reasonable size, {\it i.e.} photos cropped and compressed.
98    \item Scalable, to allow enlargment of text and drawings.
99  \end{enumerate} 
100\item Photos must be bit maps, and so are not scaleable by definition. TIFF and
101BMP are uncompressed formats, while JPEG is compressed. Most photos can be
102compressed without losing their illustrative value.
103\item Drawings that you make should be scalable vector graphics, \emph{not} 
104bit maps. Some scalable vector file formats are: EPS, SVG, PNG, WMF. These can
105all be converted into PNG or PDF, that pdflatex recognizes. Your drawing
106package probably can export to one of these formats directly. Otherwise, a
107common procedure is to print-to-file through a Postscript printer driver to
108create a PS file, then convert that to EPS (encapsulated PS, which has a
109bounding box to describe its exact size rather than a whole page).
110Programs such as GSView (a Ghostscript GUI) can create both EPS and PDF from
111PS files. Appendix~\ref{AppendixA} shows how to generate properly sized Matlab
112plots and save them as PDF.
113\item It's important to crop your photos and draw your figures to the size that
114you want to appear in your thesis. Scaling photos with the
115includegraphics command will cause loss of resolution. And scaling down
116drawings may cause any text annotations to become too small.
117\end{itemize}
118 
119For more information on \LaTeX\, see the uWaterloo Skills for the
120Academic Workplace \href{https://uwaterloo.ca/information-systems-technology/services/electronic-thesis-preparation-and-submission-support/ethesis-guide/creating-pdf-version-your-thesis/creating-pdf-files-using-latex/latex-ethesis-and-large-documents}{course notes}.
121\footnote{
122Note that while it is possible to include hyperlinks to external documents,
123it is not wise to do so, since anything you can't control may change over time.
124It \emph{would} be appropriate and necessary to provide external links to
125additional resources for a multimedia ``enhanced'' thesis.
126But also note that if the \package{hyperref} package is not included,
127as for the print-optimized option in this thesis template, any \cmmd{href} 
128commands in your logical document are no longer defined.
129A work-around employed by this thesis template is to define a dummy
130\cmmd{href} command (which does nothing) in the preamble of the document,
131before the \package{hyperref} package is included.
132The dummy definition is then redifined by the
133\package{hyperref} package when it is included.
134}
135
136The classic book by Leslie Lamport \cite{lamport.book}, author of \LaTeX , is
137worth a look too, and the many available add-on packages are described by
138Goossens \textit{et al} \cite{goossens.book}.
139
140%----------------------------------------------------------------------
141% END MATERIAL
142%----------------------------------------------------------------------
143
144%----------------------------------------------------------------------
145% BIBLIOGRAPHY
146%----------------------------------------------------------------------
147
148% Use \clearpage instead if the document class uses the "oneside" argument.
149\cleardoublepage
150\phantomsection
151
152% Bibliography setup and creation, renamed to References.
153\addcontentsline{toc}{chapter}{\textbf{\bibname}}
154\bibliographystyle{plain}
155\bibliography{thesis}
156
157% Include all uncited entries in the bibliography.
158\nocite{*}
159
160% Begin the appendix, add a title and table of contents entry.
161\appendix
162\chapter*{APPENDICES}
163\addcontentsline{toc}{chapter}{APPENDICES}
164%======================================================================
165\chapter[PDF Plots From Matlab]{Matlab Code for Making a PDF Plot}
166\label{AppendixA}
167% Tip 4: Example of how to get a short chapter title for the Table of Contents
168%======================================================================
169\section{Using the GUI}
170Properties of Matab plots can be adjusted from the plot window via a graphical
171interface. Under the Desktop menu in the Figure window, select the Property
172Editor. You may also want to check the Plot Browser and Figure Palette for
173more tools. To adjust properties of the axes, look under the Edit menu and
174select Axes Properties.
175
176To set the figure size and to save as PDF or other file formats, click the
177Export Setup button in the figure Property Editor.
178
179\section{From the Command Line} 
180All figure properties can also be manipulated from the command line. Here's an
181example:
182\begin{verbatim}
183x=[0:0.1:pi];
184hold on % Plot multiple traces on one figure
185plot(x,sin(x))
186plot(x,cos(x),'--r')
187plot(x,tan(x),'.-g')
188title('Some Trig Functions Over 0 to \pi') % Note LaTeX markup!
189legend('{\it sin}(x)','{\it cos}(x)','{\it tan}(x)')
190hold off
191set(gca,'Ylim',[-3 3]) % Adjust Y limits of "current axes"
192set(gcf,'Units','inches') % Set figure size units of "current figure"
193set(gcf,'Position',[0,0,6,4]) % Set figure width (6 in.) and height (4 in.)
194cd n:\thesis\plots % Select where to save
195print -dpdf plot.pdf % Save as PDF
196\end{verbatim}
197
198\end{document}
Note: See TracBrowser for help on using the repository browser.