From 608cf2e6a2ccc967e82b2b7a9693fd0bafb778fb Mon Sep 17 00:00:00 2001 From: Carlo Zancanaro Date: Wed, 5 Sep 2012 10:25:19 +1000 Subject: Delete a lot of tex stuff, better debug info Some other stuff, too, I think. Oh well. No biggie! --- tex/lit-review/Makefile | 8 - tex/lit-review/main.tex | 159 - tex/lit-review/references.bib | 117 - tex/outline/Makefile | 8 - tex/outline/main.tex | 68 - tex/outline/references.bib | 86 - tex/presentation/main.aux | 79 - tex/presentation/main.log | 1349 - tex/presentation/main.nav | 57 - tex/presentation/main.out | 5 - tex/presentation/main.snm | 0 tex/presentation/main.tex | 290 - tex/presentation/main.toc | 6 - tex/presentation/missfont.log | 213 - tex/presentation/slides.aux | 104 - tex/presentation/slides.log | 81732 ---------------- tex/presentation/slides.nav | 32 - tex/presentation/slides.out | 0 tex/presentation/slides.pdf | Bin 240142 -> 0 bytes tex/presentation/slides.snm | 0 tex/presentation/slides.tex | 655 - tex/presentation/slides.toc | 1 - tex/presentation/thomas/ASOPT.pdf | Bin 7529 -> 0 bytes tex/presentation/thomas/CNRS.pdf | Bin 3086 -> 0 bytes tex/presentation/thomas/Makefile | 7 - .../thomas/SAPLING november 2011/.DS_Store | Bin 6148 -> 0 bytes tex/presentation/thomas/TUM.pdf | 63 - tex/presentation/thomas/TUM2.pdf | Bin 4514 -> 0 bytes tex/presentation/thomas/VERIMAG.pdf | Bin 4461 -> 0 bytes tex/presentation/thomas/WWU.pdf | Bin 5178 -> 0 bytes tex/presentation/thomas/bib.bib | 3631 - tex/presentation/thomas/defs.tex | 250 - tex/presentation/thomas/defs.texshop | 1 - tex/presentation/thomas/figs/.svn/all-wcprops | 29 - tex/presentation/thomas/figs/.svn/entries | 164 - .../thomas/figs/.svn/prop-base/heater.pdf.svn-base | 5 - .../figs/.svn/prop-base/region_convex.pdf.svn-base | 5 - .../.svn/prop-base/region_convex_poly.pdf.svn-base | 5 - .../.svn/prop-base/region_general.pdf.svn-base | 5 - .../thomas/figs/.svn/text-base/heater.pdf.svn-base | Bin 53919 -> 0 bytes .../figs/.svn/text-base/region_convex.pdf.svn-base | Bin 167570 -> 0 bytes .../.svn/text-base/region_convex_poly.pdf.svn-base | Bin 218863 -> 0 bytes .../.svn/text-base/region_general.pdf.svn-base | Bin 218815 -> 0 bytes tex/presentation/thomas/figs/heater.pdf | Bin 53919 -> 0 bytes tex/presentation/thomas/figs/region_convex.pdf | Bin 167570 -> 0 bytes .../thomas/figs/region_convex_poly.pdf | Bin 218863 -> 0 bytes tex/presentation/thomas/figs/region_general.pdf | Bin 218815 -> 0 bytes tex/presentation/thomas/hand_rechts.pdf | Bin 76470 -> 0 bytes tex/presentation/thomas/logos/.DS_Store | Bin 6148 -> 0 bytes tex/presentation/thomas/main.aux | 145 - tex/presentation/thomas/main.idx | 0 tex/presentation/thomas/main.log | 92036 ------------------- tex/presentation/thomas/main.nav | 54 - tex/presentation/thomas/main.out | 4 - tex/presentation/thomas/main.pdf | Bin 851913 -> 0 bytes tex/presentation/thomas/main.snm | 0 tex/presentation/thomas/main.tex | 57 - tex/presentation/thomas/main.toc | 5 - tex/presentation/thomas/missfont.log | 46 - tex/presentation/thomas/pgfplots.sty | 50 - tex/presentation/thomas/proof.sty | 377 - tex/presentation/thomas/slides.log | 28 - tex/presentation/thomas/slides.tex | 780 - tex/presentation/thomas/slides.texshop | 1 - tex/presentation/thomas/strike.pdf | Bin 17647 -> 0 bytes tex/presentation/thomas/strike2.pdf | Bin 6690 -> 0 bytes tex/presentation/thomas/textpos.sty | 367 - tex/presentation/thomas/usyd.pdf | Bin 26072 -> 0 bytes 68 files changed, 183084 deletions(-) delete mode 100644 tex/lit-review/Makefile delete mode 100644 tex/lit-review/main.tex delete mode 100644 tex/lit-review/references.bib delete mode 100644 tex/outline/Makefile delete mode 100644 tex/outline/main.tex delete mode 100644 tex/outline/references.bib delete mode 100644 tex/presentation/main.aux delete mode 100644 tex/presentation/main.log delete mode 100644 tex/presentation/main.nav delete mode 100644 tex/presentation/main.out delete mode 100644 tex/presentation/main.snm delete mode 100644 tex/presentation/main.tex delete mode 100644 tex/presentation/main.toc delete mode 100644 tex/presentation/missfont.log delete mode 100644 tex/presentation/slides.aux delete mode 100644 tex/presentation/slides.log delete mode 100644 tex/presentation/slides.nav delete mode 100644 tex/presentation/slides.out delete mode 100644 tex/presentation/slides.pdf delete mode 100644 tex/presentation/slides.snm delete mode 100644 tex/presentation/slides.tex delete mode 100644 tex/presentation/slides.toc delete mode 100644 tex/presentation/thomas/ASOPT.pdf delete mode 100644 tex/presentation/thomas/CNRS.pdf delete mode 100644 tex/presentation/thomas/Makefile delete mode 100644 tex/presentation/thomas/SAPLING november 2011/.DS_Store delete mode 100644 tex/presentation/thomas/TUM.pdf delete mode 100644 tex/presentation/thomas/TUM2.pdf delete mode 100644 tex/presentation/thomas/VERIMAG.pdf delete mode 100644 tex/presentation/thomas/WWU.pdf delete mode 100644 tex/presentation/thomas/bib.bib delete mode 100644 tex/presentation/thomas/defs.tex delete mode 100644 tex/presentation/thomas/defs.texshop delete mode 100644 tex/presentation/thomas/figs/.svn/all-wcprops delete mode 100644 tex/presentation/thomas/figs/.svn/entries delete mode 100644 tex/presentation/thomas/figs/.svn/prop-base/heater.pdf.svn-base delete mode 100644 tex/presentation/thomas/figs/.svn/prop-base/region_convex.pdf.svn-base delete mode 100644 tex/presentation/thomas/figs/.svn/prop-base/region_convex_poly.pdf.svn-base delete mode 100644 tex/presentation/thomas/figs/.svn/prop-base/region_general.pdf.svn-base delete mode 100644 tex/presentation/thomas/figs/.svn/text-base/heater.pdf.svn-base delete mode 100644 tex/presentation/thomas/figs/.svn/text-base/region_convex.pdf.svn-base delete mode 100644 tex/presentation/thomas/figs/.svn/text-base/region_convex_poly.pdf.svn-base delete mode 100644 tex/presentation/thomas/figs/.svn/text-base/region_general.pdf.svn-base delete mode 100644 tex/presentation/thomas/figs/heater.pdf delete mode 100644 tex/presentation/thomas/figs/region_convex.pdf delete mode 100644 tex/presentation/thomas/figs/region_convex_poly.pdf delete mode 100644 tex/presentation/thomas/figs/region_general.pdf delete mode 100644 tex/presentation/thomas/hand_rechts.pdf delete mode 100644 tex/presentation/thomas/logos/.DS_Store delete mode 100644 tex/presentation/thomas/main.aux delete mode 100644 tex/presentation/thomas/main.idx delete mode 100644 tex/presentation/thomas/main.log delete mode 100644 tex/presentation/thomas/main.nav delete mode 100644 tex/presentation/thomas/main.out delete mode 100644 tex/presentation/thomas/main.pdf delete mode 100644 tex/presentation/thomas/main.snm delete mode 100644 tex/presentation/thomas/main.tex delete mode 100644 tex/presentation/thomas/main.toc delete mode 100644 tex/presentation/thomas/missfont.log delete mode 100644 tex/presentation/thomas/pgfplots.sty delete mode 100644 tex/presentation/thomas/proof.sty delete mode 100644 tex/presentation/thomas/slides.log delete mode 100644 tex/presentation/thomas/slides.tex delete mode 100644 tex/presentation/thomas/slides.texshop delete mode 100644 tex/presentation/thomas/strike.pdf delete mode 100644 tex/presentation/thomas/strike2.pdf delete mode 100644 tex/presentation/thomas/textpos.sty delete mode 100644 tex/presentation/thomas/usyd.pdf (limited to 'tex') diff --git a/tex/lit-review/Makefile b/tex/lit-review/Makefile deleted file mode 100644 index 66eb399..0000000 --- a/tex/lit-review/Makefile +++ /dev/null @@ -1,8 +0,0 @@ -all: - pdflatex main.tex - bibtex main - pdflatex main.tex - pdflatex main.tex - -clean: - rm -f *.bbl *.aux *.blg *.log *.pdf *.out diff --git a/tex/lit-review/main.tex b/tex/lit-review/main.tex deleted file mode 100644 index 28a9495..0000000 --- a/tex/lit-review/main.tex +++ /dev/null @@ -1,159 +0,0 @@ -\documentclass{article} - -\usepackage[a4paper]{geometry} -\usepackage{hyperref} -\usepackage{amsmath} - -\title{INFO5993 \\ Literature Review} -\author{Carlo Zancanaro} - -\begin{document} -\maketitle - -\section{Introduction} - -Static analysis is concerned with determining as much as possible about a -program from it without actually running the program. Being able to analyse the -program statically can provide a wealth of information about the program's -characteristics without executing it at all. - -The uses for static analysis vary significantly, from program optimisation -(eg. constant propagation) to verification of program semantics and bug-finding. -In critical applications (for example: medial equipment and flight computers) -static analysis techniques are used to ensure that programs are free from errors -which would cause catastrophic failure. - -Of particular use in static analysis is the determination of integral values -within a program. By determining which possible values any integer variables in -the program can take at each code point it is possible to detect a significant -number of errors relating to improper integral values (divide-by-zero, -array-out-of-bounds, etc.). Such errors are among the most common in real-world -software development, so their detection is of much use to software developers. - -\section{Abstract Interpretation} - -\subsection{General Framework} - -Abstract interpretation is a technique introduced in \cite{CousotCousot77-1} in -which a program's semantics are examined within an abstract domain. This -abstract domain is a simplification of the concrete domain in which the program -actually executes, but is constructed in such a way as to retain some properties -of the original program for analysis. We perform our analysis by "executing" our -program within this abstract domain which we have constructed. - -An example of an abstract domain is considering numbers as either positive -$(+)$, negative $(-)$, zero $(0)$, unknown $(\pm)$ or undefined $(?)$. Using this -abstraction we can still define some semantics which reflect the program itself -(as an example: $(+) \times (-) = (-)$, or the product of a positive number with -a negative number is a negative number). Each abstract domain must also contain -a "top" $(\top)$ and a "bottom" $(\bot)$ element. The existence of these two -elements turn our abstract domain into a complete lattice, which ensures some -helpful properties of our abstract domain, including the existence of solutions -to fixpoint-equations (\cite{tarski}). - -By constructing appropriate abstract domains we can infer properties of the -program's concrete semantics which are relevant to our application. The above -abstract domain, for example, can be used to detect divide-by-zero errors -(although it is clear from the above that not all divide-by-zero errors will be -detected) or negative array-indexing (one form of an out of bounds error). - -A number of abstract domains have been conceived and formalised in literature. -These are considered in the following subsection. An important factor to -consider in the following is that as abstract domains get more "detailed" they -become more computationally expensive to analyse. - -\subsection{Abstract Domains} - -Cousot and Cousot, in \cite{CousotCousot77-1} introduce an abstract domain -providing an upper and lower bound to each integral value. This domain allows -them to reason about numbers with greater precision than simply considering -positive/negative/zero. - -The abstract domain of "zones", are handled in \cite{mine:padoII}. These zones -provide a way to perform analysis on the bounds of variable differences (ie. to -place bounds as $a - b \leq c$) and are also referred to as Difference Bound -Matrices (which are used in other model-checking applications, such as -\cite{Yovine98modelchecking}). - -The domain of zones is then extended by the same author into the "Octagon -Abstract Domain" in \cite{mine:hosc06} which additionally allows bounds on the -sum of variables ($\pm a \pm b \leq c$). - -All of these above domains are actually shown to be instances of the polyhedra -abstract domain in \cite{DBLP:conf/vmcai/SankaranarayananSM05}. The polyhedra -domain expresses bounds on $a_1 x_1 + a_2 x_2 ... + a_n x_n + c \ge 0$, where -$a_i$ are fixed in advance (a predefined polyhedral shape). This allows for -ranges to be expressed as $1 \times x_1 + c \ge 0$ provides a single bound for a -single variable (two such bounds is, of course, a range). Similarly for zones -one can define a polyhedra $1 \times x_1 + (-1) \times x_2 + c \ge 0$ which is -equivalent. The octagon domain is $(\pm 1) \times x_1 + (\pm 1) \times x_2 + c -\ge 0$. - -Non-integral abstract domains have also been investigated in papers such as -\cite{springerlink}, which considers the abstract domain -of strings with abstract values being regular expressions, but it seems the -majority of the literature is concerned with providing bounds for integral, or -at the very least numerical, expressions. The reasons for this are fairly -obvious when one considers the ubiquity of integers and the relative simplicity -of the numerical domain compared to many others. - -\section{Fixpoints} - -When performing static analysis there is a great need to perform some sort of -fixpoint solving to determine the possible resultant values for some operations. -When looping, for instance, it is necessary to "iterate" (in some sense) to find -what values each variable may take during a loop iteration. - -The most basic method for doing so is simply to perform a complete iteration in -the abstract domain, but doing so within the integers has no guarantee of -termination (due to the integers being an unbounded set) and would not be -expected to be performant. In \cite{CousotCousot77-1} an approach of "widening" -and "narrowing" is introduced. - -This widening/narrowing method performs some fixed number of iteration steps. -If, after this fixed number, the iteration has not stabilised then it assumes -that it will not stabilise and will instead continue infinitely, so any affected -variables are "widened" to infinity. A "narrowing" step is then carried out -wherein variables are brought back into the finite domain by some terminating -condition on the loop. - -This approach is quite general, and so is applicable to many instances of real -programs, but is a crude approximation of the reality of the program (albeit, -with surprisingly good results). In specific instances it is possible to perform -a better approximation. In particular the case of addition, multiplication (by -positive constants), minimum and maximum is considered in -\cite{Gawlitza:2007:PFC:1762174.1762203}. With this approach code points are -converted into fixpoint equations with $minimum$ and $maximum$ expressions. -These fixpoint equations can then be solved in order to give information about -the program's abstract semantics. These equations are solved using a form of -policy iteration (referred to as strategy iteration) over the $maximum$ -expressions present in each term. A second step consisting of ordinary -fixpoint-iteration over the resulting $minimum$-expressions is then performed. - -When fixpoint-iteration is known to terminate then it is possible to get -significant speed gains by processing each expression according to their -dependencies. The approach presented in \cite{DBLP:tr/trier/MI96-11}, in -particular, improves the real-world performance of their fixpoint-equation -solver. It should be noted, however, that such evaluation strategies can do -nothing to affect the worst-case complexity as it is always possible to -construct a system in which evaluation of each variable is necessary at every -stage until the system stabilises. - -\section{Conclusion} - -Static analysis is of great practical importance to real world developers. It -gives us the ability to create tools which automatically identify common errors -in programs due to developer errors and so allows us to provide greater -guarantees about the behaviour of our software. - -Unfortunately complete static analysis of a program is an undecidable problem, -and so we must perform abstract interpretation of a program's semantics in order -to provide useful results of analysis. Many different abstract domains exist in -which to consider programs, with varying precision and computational complexity. -In particular the abstract domain of polyhedra (and the related domains of -zones and ranges) are of great use when performing analysis of a program's -integral semantics. - -\bibliographystyle{abbrv} -\bibliography{references.bib} -\end{document} diff --git a/tex/lit-review/references.bib b/tex/lit-review/references.bib deleted file mode 100644 index d746821..0000000 --- a/tex/lit-review/references.bib +++ /dev/null @@ -1,117 +0,0 @@ -@article{DBLP:tr/trier/MI96-11, - author = {Christian Fecht and - Helmut Seidl}, - title = {An Even Faster Solver for General Systems of Equations}, - journal = {Universit{\"a}t Trier, Mathematik/Informatik, Forschungsbericht}, - volume = {96-11}, - year = {1996}, - bibsource = {DBLP, http://dblp.uni-trier.de} -} -@inproceedings{CousotCousot77-1, - author = {Cousot, P{.} and Cousot, R{.}}, - title = {Abstract interpretation: a unified lattice model for static - analysis of programs by construction or approximation of - fixpoints}, - pages = {238--252}, - booktitle = {Conference Record of the Fourth Annual ACM SIGPLAN-SIGACT - Symposium on Principles of Programming Languages}, - address = {Los Angeles, California}, - publisher = {ACM Press, New York, NY}, - year = 1977, -} -@article{mine:hosc06, - author = {Min\'e, A{.}}, - title = {The Octagon Abstract Domain}, - journal = {Higher-Order and Symbolic Computation}, - editor = {O. Danvy}, - publisher = {Springer}, - year = {2006}, - volume = {19}, - number = {1}, - pages = {31--100}, - note = {\url{http://www.di.ens.fr/~mine/publi/article-mine-HOSC06.pdf}} -} -@inproceedings{mine:padoII, - author = {Min\'e, A{.}}, - title = {A New Numerical Abstract Domain Based on Difference-Bound Matrices}, - booktitle = {Proc. of the 2d Symp. on Programs as Data Objects (PADO II)}, - series = {Lecture Notes in Computer Science}, - year = {2001}, - month = {May}, - pages = {155--172}, - volume = {2053}, - publisher = {Springer}, - location = {Aarhus, Danemark}, - note = {\url{http://www.di.ens.fr/~mine/publi/article-mine-padoII.pdf}} -} -@inproceedings{DBLP:conf/vmcai/SankaranarayananSM05, - author = {Sriram Sankaranarayanan and - Henny B. Sipma and - Zohar Manna}, - title = {Scalable Analysis of Linear Systems Using Mathematical Programming}, - booktitle = {VMCAI}, - year = {2005}, - pages = {25-41}, - ee = {http://dx.doi.org/10.1007/978-3-540-30579-8_2}, - bibsource = {DBLP, http://dblp.uni-trier.de} -} -@inproceedings{Dor:2001:CCS:647170.718291, - author = {Dor, Nurit and Rodeh, Michael and Sagiv, Shmuel}, - title = {Cleanness Checking of String Manipulations in C Programs via - Integer Analysis}, - booktitle = {Proceedings of the 8th International Symposium on Static - Analysis}, - series = {SAS '01}, - year = {2001}, - isbn = {3-540-42314-1}, - pages = {194--212}, - numpages = {19}, - url = {http://dl.acm.org/citation.cfm?id=647170.718291}, - acmid = {718291}, - publisher = {Springer-Verlag}, - address = {London, UK, UK}, -} -@INPROCEEDINGS{Yovine98modelchecking, - author = {Sergio Yovine}, - title = {Model checking timed automata}, - booktitle = {In European Educational Forum: School on Embedded - Systems}, - year = {1998}, - pages = {114--152}, - publisher = {Springer-Verlag} -} -@inproceedings{Gawlitza:2007:PFC:1762174.1762203, - author = {Gawlitza, Thomas and Seidl, Helmut}, - title = {Precise fixpoint computation through strategy iteration}, - booktitle = {Proceedings of the 16th European conference on Programming}, - series = {ESOP'07}, - year = {2007}, - isbn = {978-3-540-71314-2}, - location = {Braga, Portugal}, - pages = {300--315}, - numpages = {16}, - url = {http://dl.acm.org/citation.cfm?id=1762174.1762203}, - acmid = {1762203}, - publisher = {Springer-Verlag}, - address = {Berlin, Heidelberg}, -} -@article{tarski, - author = {Tarski, Alfred}, - title = {A lattice-theoretical fixpoint theorem and its - applications.}, - year = {1955} -} -@incollection {springerlink, - author = {Christensen, Aske and Mø, Anders and Schwartzbach, Michael}, - affiliation = {BRICS Denmark}, - title = {Precise Analysis of String Expressions}, - booktitle = {Static Analysis}, - series = {Lecture Notes in Computer Science}, - editor = {Cousot, Radhia}, - publisher = {Springer Berlin / Heidelberg}, - isbn = {978-3-540-40325-8}, - keyword = {Computer Science}, - pages = {1076-1076}, - volume = {2694}, - year = {2003} -} diff --git a/tex/outline/Makefile b/tex/outline/Makefile deleted file mode 100644 index 66eb399..0000000 --- a/tex/outline/Makefile +++ /dev/null @@ -1,8 +0,0 @@ -all: - pdflatex main.tex - bibtex main - pdflatex main.tex - pdflatex main.tex - -clean: - rm -f *.bbl *.aux *.blg *.log *.pdf *.out diff --git a/tex/outline/main.tex b/tex/outline/main.tex deleted file mode 100644 index 8c5cf98..0000000 --- a/tex/outline/main.tex +++ /dev/null @@ -1,68 +0,0 @@ -\documentclass{article} - -\usepackage[a4paper]{geometry} -\usepackage{hyperref} -\usepackage{amsmath} - -\title{INFO5993 \\ Research outline} -\author{Carlo Zancanaro} - -\begin{document} -\maketitle - -\section{Introduction} - -As my research contribution I intend to implement an algorithm presented in -\cite{gawlitza} for solving systems of fixpoint-equations for their least -solutions. I will then utilise this algorithm for the implementation of a static -analysis pass, interpreting program semantics over zones, within the LLVM -compiler framework. Finally I will be evaluating this new technique to determine -whether it is of practical use in real-world static analysis. - -\section{Technologies} - -My implementation will be provided in the {\tt C++} programming language, as it -is the language in which LLVM has been written. It will primarily be designed to -analyse programs written in the {\tt C} language. - -At the conclusion of my thesis I will have an implementation of the above -algorithm implemented as an LLVM optimisation/analysis pass. This will plug in -to the LLVM/Clang static-analysis framework in order to leverage the significant -work that has been done on the LLVM project. This will also mean that I do not -have to write a complete parser for the {\tt C} programming language (which -would no doubt be a long and error-prone operation). - -\section{Evaluation} - -To evaluate the algorithm I will be investigating two factors: execution time -and analysis range. - -\subsection{Execution time} - -Given the increased precision of results provided by the above algorithm I will -be interested in determining the runtime performance of the algorithm. Static -analysis is traditionally a slow process and so any speed-gains which can be -made will be especially beneficial to real world applications. This will also -mean that my optimisations must be especially aggressive to ensure that there is -no missed opportunity for speed gains to be made. - -\subsection{Analysis range} - -In the above algorithm there is a trade-off made wherein we sacrifice the -generality of the algorithm to provide more precise results. An important factor -in the utility of this algorithm will be whether it is applicable to the -majority of real-world code. The restrictions in the paper seem to be general -enough to encompass a large amount of existing code, but it remains to be shown -empirically whether this is the case. - -\section{Conclusion} - -My thesis will consist of implementing and evaluating a new approach to -fixpoint-iteration in order to perform abstract interpretation over zones for -the verification of program invariants. This implementation will be done within -the LLVM-compiler framework. The evaluation will particularly consider factors -of execution time and analysis range of the algorithm. - -\bibliographystyle{abbrv} -\bibliography{references.bib} -\end{document} diff --git a/tex/outline/references.bib b/tex/outline/references.bib deleted file mode 100644 index 9735e26..0000000 --- a/tex/outline/references.bib +++ /dev/null @@ -1,86 +0,0 @@ -@article{DBLP:tr/trier/MI96-11, - author = {Christian Fecht and - Helmut Seidl}, - title = {An Even Faster Solver for General Systems of Equations}, - journal = {Universit{\"a}t Trier, Mathematik/Informatik, Forschungsbericht}, - volume = {96-11}, - year = {1996}, - bibsource = {DBLP, http://dblp.uni-trier.de} -} -@inproceedings{CousotCousot77-1, - author = {Cousot, P{.} and Cousot, R{.}}, - title = {Abstract interpretation: a unified lattice model for static - analysis of programs by construction or approximation of - fixpoints}, - pages = {238--252}, - booktitle = {Conference Record of the Fourth Annual ACM SIGPLAN-SIGACT - Symposium on Principles of Programming Languages}, - address = {Los Angeles, California}, - publisher = {ACM Press, New York, NY}, - year = 1977, -} -@article{mine:hosc06, - author = {Min\'e, A{.}}, - title = {The Octagon Abstract Domain}, - journal = {Higher-Order and Symbolic Computation}, - editor = {O. Danvy}, - publisher = {Springer}, - year = {2006}, - volume = {19}, - number = {1}, - pages = {31--100}, - note = {\url{http://www.di.ens.fr/~mine/publi/article-mine-HOSC06.pdf}} -} -@inproceedings{mine:padoII, - author = {Min\'e, A{.}}, - title = {A New Numerical Abstract Domain Based on Difference-Bound Matrices}, - booktitle = {Proc. of the 2d Symp. on Programs as Data Objects (PADO II)}, - series = {Lecture Notes in Computer Science}, - year = {2001}, - month = {May}, - pages = {155--172}, - volume = {2053}, - publisher = {Springer}, - location = {Aarhus, Danemark}, - note = {\url{http://www.di.ens.fr/~mine/publi/article-mine-padoII.pdf}} -} -@inproceedings{DBLP:conf/vmcai/SankaranarayananSM05, - author = {Sriram Sankaranarayanan and - Henny B. Sipma and - Zohar Manna}, - title = {Scalable Analysis of Linear Systems Using Mathematical Programming}, - booktitle = {VMCAI}, - year = {2005}, - pages = {25-41}, - ee = {http://dx.doi.org/10.1007/978-3-540-30579-8_2}, - bibsource = {DBLP, http://dblp.uni-trier.de} -} -@inproceedings{Dor:2001:CCS:647170.718291, - author = {Dor, Nurit and Rodeh, Michael and Sagiv, Shmuel}, - title = {Cleanness Checking of String Manipulations in C Programs via - Integer Analysis}, - booktitle = {Proceedings of the 8th International Symposium on Static - Analysis}, - series = {SAS '01}, - year = {2001}, - isbn = {3-540-42314-1}, - pages = {194--212}, - numpages = {19}, - url = {http://dl.acm.org/citation.cfm?id=647170.718291}, - acmid = {718291}, - publisher = {Springer-Verlag}, - address = {London, UK, UK}, -} -@INPROCEEDINGS{Yovine98modelchecking, - author = {Sergio Yovine}, - title = {Model checking timed automata}, - booktitle = {In European Educational Forum: School on Embedded - Systems}, - year = {1998}, - pages = {114--152}, - publisher = {Springer-Verlag} -} -@article{gawlitza, - author = {Thomas Martin Gawlitza and Hemut Seidl}, - title = {Abstract Interpretation over Zones without Widening} -} diff --git a/tex/presentation/main.aux b/tex/presentation/main.aux deleted file mode 100644 index 7467836..0000000 --- a/tex/presentation/main.aux +++ /dev/null @@ -1,79 +0,0 @@ -\relax -\providecommand\HyperFirstAtBeginDocument{\AtBeginDocument} -\HyperFirstAtBeginDocument{\ifx\hyper@anchor\@undefined -\global\let\oldcontentsline\contentsline -\gdef\contentsline#1#2#3#4{\oldcontentsline{#1}{#2}{#3}} -\global\let\oldnewlabel\newlabel -\gdef\newlabel#1#2{\newlabelxx{#1}#2} -\gdef\newlabelxx#1#2#3#4#5#6{\oldnewlabel{#1}{{#2}{#3}}} -\AtEndDocument{\ifx\hyper@anchor\@undefined -\let\contentsline\oldcontentsline -\let\newlabel\oldnewlabel -\fi} -\fi} -\global\let\hyper@last\relax -\gdef\HyperFirstAtBeginDocument#1{#1} -\providecommand\HyField@AuxAddToFields[1]{} -\@writefile{toc}{\beamer@endinputifotherversion {3.10pt}} -\@writefile{nav}{\beamer@endinputifotherversion {3.10pt}} -\@writefile{nav}{\headcommand {\slideentry {0}{0}{1}{1/1}{}{0}}} -\@writefile{nav}{\headcommand {\beamer@framepages {1}{1}}} -\@writefile{nav}{\headcommand {\slideentry {0}{0}{2}{2/2}{}{0}}} -\@writefile{nav}{\headcommand {\beamer@framepages {2}{2}}} -\@writefile{toc}{\beamer@sectionintoc {1}{Example}{3}{0}{1}} -\@writefile{nav}{\headcommand {\sectionentry {1}{Example}{3}{Example}{0}}} -\@writefile{nav}{\headcommand {\beamer@sectionpages {1}{2}}} -\@writefile{nav}{\headcommand {\beamer@subsectionpages {1}{2}}} -\@writefile{nav}{\headcommand {\slideentry {1}{0}{3}{3/3}{}{0}}} -\@writefile{nav}{\headcommand {\beamer@framepages {3}{3}}} -\@writefile{toc}{\beamer@sectionintoc {2}{Definitions}{4}{0}{2}} -\@writefile{nav}{\headcommand {\sectionentry {2}{Definitions}{4}{Definitions}{0}}} -\@writefile{nav}{\headcommand {\beamer@sectionpages {3}{3}}} -\@writefile{nav}{\headcommand {\beamer@subsectionpages {3}{3}}} -\@writefile{nav}{\headcommand {\slideentry {2}{0}{4}{4/6}{}{0}}} -\@writefile{nav}{\headcommand {\beamer@framepages {4}{6}}} -\@writefile{nav}{\headcommand {\slideentry {2}{0}{5}{7/9}{}{0}}} -\@writefile{nav}{\headcommand {\beamer@framepages {7}{9}}} -\@writefile{nav}{\headcommand {\slideentry {2}{0}{6}{10/10}{}{0}}} -\@writefile{nav}{\headcommand {\beamer@framepages {10}{10}}} -\@writefile{nav}{\headcommand {\slideentry {2}{0}{7}{11/11}{}{0}}} -\@writefile{nav}{\headcommand {\beamer@framepages {11}{11}}} -\@writefile{toc}{\beamer@sectionintoc {3}{Max-strategies}{12}{0}{3}} -\@writefile{nav}{\headcommand {\sectionentry {3}{Max-strategies}{12}{Max-strategies}{0}}} -\@writefile{nav}{\headcommand {\beamer@sectionpages {4}{11}}} -\@writefile{nav}{\headcommand {\beamer@subsectionpages {4}{11}}} -\@writefile{nav}{\headcommand {\slideentry {3}{0}{8}{12/12}{}{0}}} -\@writefile{nav}{\headcommand {\beamer@framepages {12}{12}}} -\@writefile{nav}{\headcommand {\slideentry {3}{0}{9}{13/15}{}{0}}} -\@writefile{nav}{\headcommand {\beamer@framepages {13}{15}}} -\@writefile{toc}{\beamer@sectionintoc {4}{Bellman-Ford}{16}{0}{4}} -\@writefile{nav}{\headcommand {\sectionentry {4}{Bellman-Ford}{16}{Bellman-Ford}{0}}} -\@writefile{nav}{\headcommand {\beamer@sectionpages {12}{15}}} -\@writefile{nav}{\headcommand {\beamer@subsectionpages {12}{15}}} -\@writefile{nav}{\headcommand {\slideentry {4}{0}{10}{16/16}{}{0}}} -\@writefile{nav}{\headcommand {\beamer@framepages {16}{16}}} -\@writefile{nav}{\headcommand {\slideentry {4}{0}{11}{17/17}{}{0}}} -\@writefile{nav}{\headcommand {\beamer@framepages {17}{17}}} -\@writefile{nav}{\headcommand {\slideentry {4}{0}{12}{18/18}{}{0}}} -\@writefile{nav}{\headcommand {\beamer@framepages {18}{18}}} -\@writefile{nav}{\headcommand {\slideentry {4}{0}{13}{19/19}{}{0}}} -\@writefile{nav}{\headcommand {\beamer@framepages {19}{19}}} -\@writefile{toc}{\beamer@sectionintoc {5}{Max-strategy improvement}{20}{0}{5}} -\@writefile{nav}{\headcommand {\sectionentry {5}{Max-strategy improvement}{20}{Max-strategy improvement}{0}}} -\@writefile{nav}{\headcommand {\beamer@sectionpages {16}{19}}} -\@writefile{nav}{\headcommand {\beamer@subsectionpages {16}{19}}} -\@writefile{nav}{\headcommand {\slideentry {5}{0}{14}{20/20}{}{0}}} -\@writefile{nav}{\headcommand {\beamer@framepages {20}{20}}} -\@writefile{nav}{\headcommand {\slideentry {5}{0}{15}{21/21}{}{0}}} -\@writefile{nav}{\headcommand {\beamer@framepages {21}{21}}} -\@writefile{nav}{\headcommand {\slideentry {5}{0}{16}{22/22}{}{0}}} -\@writefile{nav}{\headcommand {\beamer@framepages {22}{22}}} -\@writefile{nav}{\headcommand {\slideentry {5}{0}{17}{23/23}{}{0}}} -\@writefile{nav}{\headcommand {\beamer@framepages {23}{23}}} -\@writefile{nav}{\headcommand {\slideentry {5}{0}{18}{24/24}{}{0}}} -\@writefile{nav}{\headcommand {\beamer@framepages {24}{24}}} -\@writefile{nav}{\headcommand {\beamer@partpages {1}{24}}} -\@writefile{nav}{\headcommand {\beamer@subsectionpages {25}{24}}} -\@writefile{nav}{\headcommand {\beamer@sectionpages {25}{24}}} -\@writefile{nav}{\headcommand {\beamer@documentpages {24}}} -\@writefile{nav}{\headcommand {\def \inserttotalframenumber {18}}} diff --git a/tex/presentation/main.log b/tex/presentation/main.log deleted file mode 100644 index 1d50724..0000000 --- a/tex/presentation/main.log +++ /dev/null @@ -1,1349 +0,0 @@ -This is pdfTeX, Version 3.1415926-2.3-1.40.12 (TeX Live 2012/dev/Debian) (format=pdflatex 2012.4.10) 13 APR 2012 12:48 -entering extended mode - restricted \write18 enabled. - %&-line parsing enabled. -**main.tex -(./main.tex -LaTeX2e <2011/06/27> -Babel and hyphenation patterns for english, dumylang, nohyphenation, lo -aded. -(/usr/share/texmf/tex/latex/beamer/base/beamer.cls -(/usr/share/texmf/tex/latex/beamer/base/beamerbasercs.sty -Package: beamerbasercs 2010/06/12 (rcs-revision c3821710bb40) -) -Document Class: beamer 2010/06/21 development version 3.10 A class for typesett -ing presentations (rcs-revision a6b1a8434d30) -(/usr/share/texmf/tex/latex/beamer/base/beamerbasemodes.sty -Package: beamerbasemodes 2010/05/01 (rcs-revision efa082c6111d) -\beamer@tempbox=\box26 -\beamer@tempcount=\count79 -\c@beamerpauses=\count80 - -(/usr/share/texmf/tex/latex/beamer/base/beamerbasedecode.sty -Package: beamerbasedecode 2010/05/01 (rcs-revision efa082c6111d) -\beamer@slideinframe=\count81 -\beamer@minimum=\count82 -) -\beamer@commentbox=\box27 -\beamer@modecount=\count83 -) -\headheight=\dimen102 -\headdp=\dimen103 -\footheight=\dimen104 -\sidebarheight=\dimen105 -\beamer@tempdim=\dimen106 -\beamer@finalheight=\dimen107 -\beamer@animht=\dimen108 -\beamer@animdp=\dimen109 -\beamer@animwd=\dimen110 -\beamer@leftmargin=\dimen111 -\beamer@rightmargin=\dimen112 -\beamer@leftsidebar=\dimen113 -\beamer@rightsidebar=\dimen114 -\beamer@boxsize=\dimen115 -\beamer@vboxoffset=\dimen116 -\beamer@descdefault=\dimen117 -\beamer@descriptionwidth=\dimen118 -\beamer@lastskip=\skip41 -\beamer@areabox=\box28 -\beamer@animcurrent=\box29 -\beamer@animshowbox=\box30 -\beamer@sectionbox=\box31 -\beamer@logobox=\box32 -\beamer@linebox=\box33 -\beamer@sectioncount=\count84 -\beamer@subsubsectionmax=\count85 -\beamer@subsectionmax=\count86 -\beamer@sectionmax=\count87 -\beamer@totalheads=\count88 -\beamer@headcounter=\count89 -\beamer@partstartpage=\count90 -\beamer@sectionstartpage=\count91 -\beamer@subsectionstartpage=\count92 -\beamer@animationtempa=\count93 -\beamer@animationtempb=\count94 -\beamer@xpos=\count95 -\beamer@ypos=\count96 -\beamer@showpartnumber=\count97 -\beamer@currentsubsection=\count98 -\beamer@coveringdepth=\count99 -\beamer@sectionadjust=\count100 -\beamer@tocsectionnumber=\count101 - -(/usr/share/texmf/tex/latex/beamer/base/beamerbaseoptions.sty -Package: beamerbaseoptions 2010/04/27 (rcs-revision 982469101dd6) - -(/usr/share/texlive/texmf-dist/tex/latex/graphics/keyval.sty -Package: keyval 1999/03/16 v1.13 key=value parser (DPC) -\KV@toks@=\toks14 -)) -\beamer@paperwidth=\skip42 -\beamer@paperheight=\skip43 - -(/usr/share/texlive/texmf-dist/tex/latex/geometry/geometry.sty -Package: geometry 2010/09/12 v5.6 Page Geometry - -(/usr/share/texlive/texmf-dist/tex/generic/oberdiek/ifpdf.sty -Package: ifpdf 2011/01/30 v2.3 Provides the ifpdf switch (HO) -Package ifpdf Info: pdfTeX in PDF mode is detected. -) -(/usr/share/texlive/texmf-dist/tex/generic/oberdiek/ifvtex.sty -Package: ifvtex 2010/03/01 v1.5 Switches for detecting VTeX and its modes (HO) -Package ifvtex Info: VTeX not detected. -) -(/usr/share/texlive/texmf-dist/tex/generic/ifxetex/ifxetex.sty -Package: ifxetex 2010/09/12 v0.6 Provides ifxetex conditional -) -\Gm@cnth=\count102 -\Gm@cntv=\count103 -\c@Gm@tempcnt=\count104 -\Gm@bindingoffset=\dimen119 -\Gm@wd@mp=\dimen120 -\Gm@odd@mp=\dimen121 -\Gm@even@mp=\dimen122 -\Gm@layoutwidth=\dimen123 -\Gm@layoutheight=\dimen124 -\Gm@layouthoffset=\dimen125 -\Gm@layoutvoffset=\dimen126 -\Gm@dimlist=\toks15 -) -(/usr/share/texlive/texmf-dist/tex/latex/base/size11.clo -File: size11.clo 2007/10/19 v1.4h Standard LaTeX file (size option) -) -(/usr/share/texmf/tex/latex/pgf/basiclayer/pgfcore.sty -(/usr/share/texlive/texmf-dist/tex/latex/graphics/graphicx.sty -Package: graphicx 1999/02/16 v1.0f Enhanced LaTeX Graphics (DPC,SPQR) - -(/usr/share/texlive/texmf-dist/tex/latex/graphics/graphics.sty -Package: graphics 2009/02/05 v1.0o Standard LaTeX Graphics (DPC,SPQR) - -(/usr/share/texlive/texmf-dist/tex/latex/graphics/trig.sty -Package: trig 1999/03/16 v1.09 sin cos tan (DPC) -) -(/usr/share/texlive/texmf-dist/tex/latex/latexconfig/graphics.cfg -File: graphics.cfg 2010/04/23 v1.9 graphics configuration of TeX Live -) -Package graphics Info: Driver file: pdftex.def on input line 91. - -(/usr/share/texlive/texmf-dist/tex/latex/pdftex-def/pdftex.def -File: pdftex.def 2011/05/27 v0.06d Graphics/color for pdfTeX - -(/usr/share/texlive/texmf-dist/tex/generic/oberdiek/infwarerr.sty -Package: infwarerr 2010/04/08 v1.3 Providing info/warning/message (HO) -) -(/usr/share/texlive/texmf-dist/tex/generic/oberdiek/ltxcmds.sty -Package: ltxcmds 2011/04/18 v1.20 LaTeX kernel commands for general use (HO) -) -\Gread@gobject=\count105 -)) -\Gin@req@height=\dimen127 -\Gin@req@width=\dimen128 -) -(/usr/share/texmf/tex/latex/pgf/systemlayer/pgfsys.sty -(/usr/share/texmf/tex/latex/pgf/utilities/pgfrcs.sty -(/usr/share/texmf/tex/generic/pgf/utilities/pgfutil-common.tex -\pgfutil@everybye=\toks16 -) -(/usr/share/texmf/tex/generic/pgf/utilities/pgfutil-latex.def -\pgfutil@abb=\box34 - -(/usr/share/texlive/texmf-dist/tex/latex/ms/everyshi.sty -Package: everyshi 2001/05/15 v3.00 EveryShipout Package (MS) -)) -(/usr/share/texmf/tex/generic/pgf/utilities/pgfrcs.code.tex -Package: pgfrcs 2010/10/25 v2.10 (rcs-revision 1.24) -)) -(/usr/share/texmf/tex/generic/pgf/systemlayer/pgfsys.code.tex -Package: pgfsys 2010/06/30 v2.10 (rcs-revision 1.37) - -(/usr/share/texmf/tex/generic/pgf/utilities/pgfkeys.code.tex -\pgfkeys@pathtoks=\toks17 -\pgfkeys@temptoks=\toks18 - -(/usr/share/texmf/tex/generic/pgf/utilities/pgfkeysfiltered.code.tex -\pgfkeys@tmptoks=\toks19 -)) -\pgf@x=\dimen129 -\pgf@y=\dimen130 -\pgf@xa=\dimen131 -\pgf@ya=\dimen132 -\pgf@xb=\dimen133 -\pgf@yb=\dimen134 -\pgf@xc=\dimen135 -\pgf@yc=\dimen136 -\w@pgf@writea=\write3 -\r@pgf@reada=\read1 -\c@pgf@counta=\count106 -\c@pgf@countb=\count107 -\c@pgf@countc=\count108 -\c@pgf@countd=\count109 - -(/usr/share/texmf/tex/generic/pgf/systemlayer/pgf.cfg -File: pgf.cfg 2008/05/14 (rcs-revision 1.7) -) -Package pgfsys Info: Driver file for pgf: pgfsys-pdftex.def on input line 900. - -(/usr/share/texmf/tex/generic/pgf/systemlayer/pgfsys-pdftex.def -File: pgfsys-pdftex.def 2009/05/22 (rcs-revision 1.26) - -(/usr/share/texmf/tex/generic/pgf/systemlayer/pgfsys-common-pdf.def -File: pgfsys-common-pdf.def 2008/05/19 (rcs-revision 1.10) -))) -(/usr/share/texmf/tex/generic/pgf/systemlayer/pgfsyssoftpath.code.tex -File: pgfsyssoftpath.code.tex 2008/07/18 (rcs-revision 1.7) -\pgfsyssoftpath@smallbuffer@items=\count110 -\pgfsyssoftpath@bigbuffer@items=\count111 -) -(/usr/share/texmf/tex/generic/pgf/systemlayer/pgfsysprotocol.code.tex -File: pgfsysprotocol.code.tex 2006/10/16 (rcs-revision 1.4) -)) -(/usr/share/texmf/tex/latex/xcolor/xcolor.sty -Package: xcolor 2007/01/21 v2.11 LaTeX color extensions (UK) - -(/usr/share/texlive/texmf-dist/tex/latex/latexconfig/color.cfg -File: color.cfg 2007/01/18 v1.5 color configuration of teTeX/TeXLive -) -Package xcolor Info: Driver file: pdftex.def on input line 225. -Package xcolor Info: Model `cmy' substituted by `cmy0' on input line 1337. -Package xcolor Info: Model `hsb' substituted by `rgb' on input line 1341. -Package xcolor Info: Model `RGB' extended on input line 1353. -Package xcolor Info: Model `HTML' substituted by `rgb' on input line 1355. -Package xcolor Info: Model `Hsb' substituted by `hsb' on input line 1356. -Package xcolor Info: Model `tHsb' substituted by `hsb' on input line 1357. -Package xcolor Info: Model `HSB' substituted by `hsb' on input line 1358. -Package xcolor Info: Model `Gray' substituted by `gray' on input line 1359. -Package xcolor Info: Model `wave' substituted by `hsb' on input line 1360. -) -(/usr/share/texmf/tex/generic/pgf/basiclayer/pgfcore.code.tex -Package: pgfcore 2010/04/11 v2.10 (rcs-revision 1.7) - -(/usr/share/texmf/tex/generic/pgf/math/pgfmath.code.tex -(/usr/share/texmf/tex/generic/pgf/math/pgfmathcalc.code.tex -(/usr/share/texmf/tex/generic/pgf/math/pgfmathutil.code.tex) -(/usr/share/texmf/tex/generic/pgf/math/pgfmathparser.code.tex -\pgfmath@dimen=\dimen137 -\pgfmath@count=\count112 -\pgfmath@box=\box35 -\pgfmath@toks=\toks20 -\pgfmath@stack@operand=\toks21 -\pgfmath@stack@operation=\toks22 -) -(/usr/share/texmf/tex/generic/pgf/math/pgfmathfunctions.code.tex -(/usr/share/texmf/tex/generic/pgf/math/pgfmathfunctions.basic.code.tex) -(/usr/share/texmf/tex/generic/pgf/math/pgfmathfunctions.trigonometric.code.tex) -(/usr/share/texmf/tex/generic/pgf/math/pgfmathfunctions.random.code.tex) -(/usr/share/texmf/tex/generic/pgf/math/pgfmathfunctions.comparison.code.tex) -(/usr/share/texmf/tex/generic/pgf/math/pgfmathfunctions.base.code.tex) -(/usr/share/texmf/tex/generic/pgf/math/pgfmathfunctions.round.code.tex) -(/usr/share/texmf/tex/generic/pgf/math/pgfmathfunctions.misc.code.tex))) -(/usr/share/texmf/tex/generic/pgf/math/pgfmathfloat.code.tex -\c@pgfmathroundto@lastzeros=\count113 -)) -(/usr/share/texmf/tex/generic/pgf/basiclayer/pgfcorepoints.code.tex -File: pgfcorepoints.code.tex 2010/04/09 (rcs-revision 1.20) -\pgf@picminx=\dimen138 -\pgf@picmaxx=\dimen139 -\pgf@picminy=\dimen140 -\pgf@picmaxy=\dimen141 -\pgf@pathminx=\dimen142 -\pgf@pathmaxx=\dimen143 -\pgf@pathminy=\dimen144 -\pgf@pathmaxy=\dimen145 -\pgf@xx=\dimen146 -\pgf@xy=\dimen147 -\pgf@yx=\dimen148 -\pgf@yy=\dimen149 -\pgf@zx=\dimen150 -\pgf@zy=\dimen151 -) -(/usr/share/texmf/tex/generic/pgf/basiclayer/pgfcorepathconstruct.code.tex -File: pgfcorepathconstruct.code.tex 2010/08/03 (rcs-revision 1.24) -\pgf@path@lastx=\dimen152 -\pgf@path@lasty=\dimen153 -) -(/usr/share/texmf/tex/generic/pgf/basiclayer/pgfcorepathusage.code.tex -File: pgfcorepathusage.code.tex 2008/04/22 (rcs-revision 1.12) -\pgf@shorten@end@additional=\dimen154 -\pgf@shorten@start@additional=\dimen155 -) -(/usr/share/texmf/tex/generic/pgf/basiclayer/pgfcorescopes.code.tex -File: pgfcorescopes.code.tex 2010/09/08 (rcs-revision 1.34) -\pgfpic=\box36 -\pgf@hbox=\box37 -\pgf@layerbox@main=\box38 -\pgf@picture@serial@count=\count114 -) -(/usr/share/texmf/tex/generic/pgf/basiclayer/pgfcoregraphicstate.code.tex -File: pgfcoregraphicstate.code.tex 2008/04/22 (rcs-revision 1.9) -\pgflinewidth=\dimen156 -) -(/usr/share/texmf/tex/generic/pgf/basiclayer/pgfcoretransformations.code.tex -File: pgfcoretransformations.code.tex 2009/06/10 (rcs-revision 1.11) -\pgf@pt@x=\dimen157 -\pgf@pt@y=\dimen158 -\pgf@pt@temp=\dimen159 -) -(/usr/share/texmf/tex/generic/pgf/basiclayer/pgfcorequick.code.tex -File: pgfcorequick.code.tex 2008/10/09 (rcs-revision 1.3) -) -(/usr/share/texmf/tex/generic/pgf/basiclayer/pgfcoreobjects.code.tex -File: pgfcoreobjects.code.tex 2006/10/11 (rcs-revision 1.2) -) -(/usr/share/texmf/tex/generic/pgf/basiclayer/pgfcorepathprocessing.code.tex -File: pgfcorepathprocessing.code.tex 2008/10/09 (rcs-revision 1.8) -) -(/usr/share/texmf/tex/generic/pgf/basiclayer/pgfcorearrows.code.tex -File: pgfcorearrows.code.tex 2008/04/23 (rcs-revision 1.11) -) -(/usr/share/texmf/tex/generic/pgf/basiclayer/pgfcoreshade.code.tex -File: pgfcoreshade.code.tex 2008/11/23 (rcs-revision 1.13) -\pgf@max=\dimen160 -\pgf@sys@shading@range@num=\count115 -) -(/usr/share/texmf/tex/generic/pgf/basiclayer/pgfcoreimage.code.tex -File: pgfcoreimage.code.tex 2010/03/25 (rcs-revision 1.16) - -(/usr/share/texmf/tex/generic/pgf/basiclayer/pgfcoreexternal.code.tex -File: pgfcoreexternal.code.tex 2010/09/01 (rcs-revision 1.17) -\pgfexternal@startupbox=\box39 -)) -(/usr/share/texmf/tex/generic/pgf/basiclayer/pgfcorelayers.code.tex -File: pgfcorelayers.code.tex 2010/08/27 (rcs-revision 1.2) -) -(/usr/share/texmf/tex/generic/pgf/basiclayer/pgfcoretransparency.code.tex -File: pgfcoretransparency.code.tex 2008/01/17 (rcs-revision 1.2) -) -(/usr/share/texmf/tex/generic/pgf/basiclayer/pgfcorepatterns.code.tex -File: pgfcorepatterns.code.tex 2009/07/02 (rcs-revision 1.3) -))) -(/usr/share/texmf/tex/latex/pgf/utilities/xxcolor.sty -Package: xxcolor 2003/10/24 ver 0.1 -\XC@nummixins=\count116 -\XC@countmixins=\count117 -) -(/usr/share/texlive/texmf-dist/tex/latex/hyperref/hyperref.sty -Package: hyperref 2012/02/06 v6.82o Hypertext links for LaTeX - -(/usr/share/texlive/texmf-dist/tex/generic/oberdiek/hobsub-hyperref.sty -Package: hobsub-hyperref 2011/04/23 v1.4 Bundle oberdiek, subset hyperref (HO) - -(/usr/share/texlive/texmf-dist/tex/generic/oberdiek/hobsub-generic.sty -Package: hobsub-generic 2011/04/23 v1.4 Bundle oberdiek, subset generic (HO) -Package: hobsub 2011/04/23 v1.4 Subsetting bundle oberdiek (HO) -Package hobsub Info: Skipping package `infwarerr' (already loaded). -Package hobsub Info: Skipping package `ltxcmds' (already loaded). -Package: ifluatex 2010/03/01 v1.3 Provides the ifluatex switch (HO) -Package ifluatex Info: LuaTeX not detected. -Package hobsub Info: Skipping package `ifvtex' (already loaded). -Package: intcalc 2007/09/27 v1.1 Expandable integer calculations (HO) -Package hobsub Info: Skipping package `ifpdf' (already loaded). -Package: etexcmds 2011/02/16 v1.5 Prefix for e-TeX command names (HO) -Package etexcmds Info: Could not find \expanded. -(etexcmds) That can mean that you are not using pdfTeX 1.50 or -(etexcmds) that some package has redefined \expanded. -(etexcmds) In the latter case, load this package earlier. -Package: kvsetkeys 2011/04/07 v1.13 Key value parser (HO) -Package: kvdefinekeys 2011/04/07 v1.3 Defining keys (HO) -Package: pdftexcmds 2011/04/22 v0.16 Utilities of pdfTeX for LuaTeX (HO) -Package pdftexcmds Info: LuaTeX not detected. -Package pdftexcmds Info: \pdf@primitive is available. -Package pdftexcmds Info: \pdf@ifprimitive is available. -Package pdftexcmds Info: \pdfdraftmode found. -Package: pdfescape 2011/04/04 v1.12 Provides string conversions (HO) -Package: bigintcalc 2011/01/30 v1.2 Expandable big integer calculations (HO) -Package: bitset 2011/01/30 v1.1 Data type bit set (HO) -Package: uniquecounter 2011/01/30 v1.2 Provides unlimited unique counter (HO) -) -Package hobsub Info: Skipping package `hobsub' (already loaded). -Package: letltxmacro 2010/09/02 v1.4 Let assignment for LaTeX macros (HO) -Package: hopatch 2011/01/30 v1.0 Wrapper for package hooks (HO) -Package: xcolor-patch 2011/01/30 xcolor patch -Package: atveryend 2011/04/23 v1.7 Hooks at very end of document (HO) -Package: atbegshi 2011/01/30 v1.15 At begin shipout hook (HO) -Package: refcount 2010/12/01 v3.2 Data extraction from references (HO) -Package: hycolor 2011/01/30 v1.7 Color options of hyperref/bookmark (HO) -) -(/usr/share/texlive/texmf-dist/tex/latex/oberdiek/kvoptions.sty -Package: kvoptions 2010/12/23 v3.10 Keyval support for LaTeX options (HO) -) -\@linkdim=\dimen161 -\Hy@linkcounter=\count118 -\Hy@pagecounter=\count119 - -(/usr/share/texlive/texmf-dist/tex/latex/hyperref/pd1enc.def -File: pd1enc.def 2012/02/06 v6.82o Hyperref: PDFDocEncoding definition (HO) -) -\Hy@SavedSpaceFactor=\count120 - -(/usr/share/texlive/texmf-dist/tex/latex/latexconfig/hyperref.cfg -File: hyperref.cfg 2002/06/06 v1.2 hyperref configuration of TeXLive -) -Package hyperref Info: Option `bookmarks' set `true' on input line 3925. -Package hyperref Info: Option `bookmarksopen' set `true' on input line 3925. -Package hyperref Info: Option `implicit' set `false' on input line 3925. -Package hyperref Info: Hyper figures OFF on input line 4046. -Package hyperref Info: Link nesting OFF on input line 4051. -Package hyperref Info: Hyper index ON on input line 4054. -Package hyperref Info: Plain pages OFF on input line 4061. -Package hyperref Info: Backreferencing OFF on input line 4066. -Package hyperref Info: Implicit mode OFF; no redefinition of LaTeX internals. -Package hyperref Info: Bookmarks ON on input line 4284. -\c@Hy@tempcnt=\count121 - -(/usr/share/texlive/texmf-dist/tex/latex/url/url.sty -\Urlmuskip=\muskip10 -Package: url 2006/04/12 ver 3.3 Verb mode for urls, etc. -) -LaTeX Info: Redefining \url on input line 4637. -\Fld@menulength=\count122 -\Field@Width=\dimen162 -\Fld@charsize=\dimen163 -Package hyperref Info: Hyper figures OFF on input line 5757. -Package hyperref Info: Link nesting OFF on input line 5762. -Package hyperref Info: Hyper index ON on input line 5765. -Package hyperref Info: backreferencing OFF on input line 5772. -Package hyperref Info: Link coloring OFF on input line 5777. -Package hyperref Info: Link coloring with OCG OFF on input line 5782. -Package hyperref Info: PDF/A mode OFF on input line 5787. -LaTeX Info: Redefining \ref on input line 5827. -LaTeX Info: Redefining \pageref on input line 5831. -\Hy@abspage=\count123 - - -Package hyperref Message: Stopped early. - -) - -Package hyperref Message: Driver (autodetected): hpdftex. - -(/usr/share/texlive/texmf-dist/tex/latex/hyperref/hpdftex.def -File: hpdftex.def 2012/02/06 v6.82o Hyperref driver for pdfTeX -\Fld@listcount=\count124 -\c@bookmark@seq@number=\count125 - -(/usr/share/texlive/texmf-dist/tex/latex/oberdiek/rerunfilecheck.sty -Package: rerunfilecheck 2011/04/15 v1.7 Rerun checks for auxiliary files (HO) -Package uniquecounter Info: New unique counter `rerunfilecheck' on input line 2 -82. -)) -(/usr/share/texmf/tex/latex/beamer/base/beamerbaserequires.sty -Package: beamerbaserequires 2010/05/01 (rcs-revision efa082c6111d) - -(/usr/share/texmf/tex/latex/beamer/base/beamerbasecompatibility.sty -Package: beamerbasecompatibility 2010/07/12 (rcs-revision 6648c3177e4e) -) -(/usr/share/texmf/tex/latex/beamer/base/beamerbasefont.sty -Package: beamerbasefont 2010/05/10 (rcs-revision cd36e8a33c6b) - -(/usr/share/texlive/texmf-dist/tex/latex/amsfonts/amssymb.sty -Package: amssymb 2009/06/22 v3.00 - -(/usr/share/texlive/texmf-dist/tex/latex/amsfonts/amsfonts.sty -Package: amsfonts 2009/06/22 v3.00 Basic AMSFonts support -\@emptytoks=\toks23 -\symAMSa=\mathgroup4 -\symAMSb=\mathgroup5 -LaTeX Font Info: Overwriting math alphabet `\mathfrak' in version `bold' -(Font) U/euf/m/n --> U/euf/b/n on input line 96. -))) -(/usr/share/texmf/tex/latex/beamer/base/beamerbasetranslator.sty -Package: beamerbasetranslator 2010/06/11 (rcs-revision 85fd1cc7fc42) - -(/usr/share/texmf/tex/latex/beamer/base/translator/translator.sty -Package: translator 2010/06/12 ver 1.10 - -(/usr/share/texmf/tex/latex/beamer/base/translator/translator-language-mappings -.tex))) (/usr/share/texmf/tex/latex/beamer/base/beamerbasemisc.sty -Package: beamerbasemisc 2010/06/06 (rcs-revision bff0a9294b45) -) -(/usr/share/texmf/tex/latex/beamer/base/beamerbasetwoscreens.sty -Package: beamerbasetwoscreens 2010/05/01 (rcs-revision efa082c6111d) -) -(/usr/share/texmf/tex/latex/beamer/base/beamerbaseoverlay.sty -Package: beamerbaseoverlay 2010/05/07 (rcs-revision 5584dad462a9) -\beamer@argscount=\count126 -\beamer@lastskipcover=\skip44 -\beamer@trivlistdepth=\count127 -) -(/usr/share/texmf/tex/latex/beamer/base/beamerbasetitle.sty -Package: beamerbasetitle 2010/06/12 (rcs-revision 717e481ca47a) -) -(/usr/share/texmf/tex/latex/beamer/base/beamerbasesection.sty -Package: beamerbasesection 2010/06/17 (rcs-revision e0d9401bb743) -\c@lecture=\count128 -\c@part=\count129 -\c@section=\count130 -\c@subsection=\count131 -\c@subsubsection=\count132 -) -(/usr/share/texmf/tex/latex/beamer/base/beamerbaseframe.sty -Package: beamerbaseframe 2010/06/06 (rcs-revision bff0a9294b45) -\beamer@framebox=\box40 -\beamer@frametitlebox=\box41 -\beamer@zoombox=\box42 -\beamer@zoomcount=\count133 -\beamer@zoomframecount=\count134 -\beamer@frametextheight=\dimen164 -\c@subsectionslide=\count135 -\beamer@frametopskip=\skip45 -\beamer@framebottomskip=\skip46 -\beamer@frametopskipautobreak=\skip47 -\beamer@framebottomskipautobreak=\skip48 -\beamer@envbody=\toks24 -\c@framenumber=\count136 -) -(/usr/share/texmf/tex/latex/beamer/base/beamerbaseverbatim.sty -Package: beamerbaseverbatim 2010/05/01 (rcs-revision efa082c6111d) -\beamer@verbatimfileout=\write4 -) -(/usr/share/texmf/tex/latex/beamer/base/beamerbaseframesize.sty -Package: beamerbaseframesize 2010/06/27 (rcs-revision 6baa2d92e6f1) -\beamer@splitbox=\box43 -\beamer@autobreakcount=\count137 -\beamer@autobreaklastheight=\dimen165 -\beamer@frametitletoks=\toks25 -\beamer@framesubtitletoks=\toks26 -) -(/usr/share/texmf/tex/latex/beamer/base/beamerbaseframecomponents.sty -Package: beamerbaseframecomponents 2010/07/12 (rcs-revision 09e82992d9b1) -\beamer@footins=\box44 -) -(/usr/share/texmf/tex/latex/beamer/base/beamerbasecolor.sty -Package: beamerbasecolor 2010/06/06 (rcs-revision d1a9b48be06d) -) -(/usr/share/texmf/tex/latex/beamer/base/beamerbasenotes.sty -Package: beamerbasenotes 2010/05/01 (rcs-revision efa082c6111d) -\beamer@frameboxcopy=\box45 -) -(/usr/share/texmf/tex/latex/beamer/base/beamerbasetoc.sty -Package: beamerbasetoc 2010/06/11 (rcs-revision 242ecaa6783b) -) -(/usr/share/texmf/tex/latex/beamer/base/beamerbasetemplates.sty -Package: beamerbasetemplates 2010/05/01 (rcs-revision efa082c6111d) -\beamer@sbttoks=\toks27 - -(/usr/share/texmf/tex/latex/beamer/base/beamerbaseauxtemplates.sty -Package: beamerbaseauxtemplates 2010/05/01 (rcs-revision efa082c6111d) - -(/usr/share/texmf/tex/latex/beamer/base/beamerbaseboxes.sty -Package: beamerbaseboxes 2010/05/01 (rcs-revision efa082c6111d) -\bmb@box=\box46 -\bmb@colorbox=\box47 -\bmb@boxshadow=\box48 -\bmb@boxshadowball=\box49 -\bmb@boxshadowballlarge=\box50 -\bmb@temp=\dimen166 -\bmb@dima=\dimen167 -\bmb@dimb=\dimen168 -\bmb@prevheight=\dimen169 -) -\beamer@blockheadheight=\dimen170 -)) -(/usr/share/texmf/tex/latex/beamer/base/beamerbaselocalstructure.sty -Package: beamerbaselocalstructure 2010/06/01 (rcs-revision 81f9e33f7cc2) - -(/usr/share/texlive/texmf-dist/tex/latex/tools/enumerate.sty -Package: enumerate 1999/03/05 v3.00 enumerate extensions (DPC) -\@enLab=\toks28 -) -\c@figure=\count138 -\c@table=\count139 -\abovecaptionskip=\skip49 -\belowcaptionskip=\skip50 -) -(/usr/share/texmf/tex/latex/beamer/base/beamerbasenavigation.sty -Package: beamerbasenavigation 2010/05/01 (rcs-revision efa082c6111d) -) -(/usr/share/texmf/tex/latex/beamer/base/beamerbasetheorems.sty -Package: beamerbasetheorems 2010/06/06 (rcs-revision 7e7cc5e53e9d) - -(/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsmath.sty -Package: amsmath 2000/07/18 v2.13 AMS math features -\@mathmargin=\skip51 - -For additional information on amsmath, use the `?' option. -(/usr/share/texlive/texmf-dist/tex/latex/amsmath/amstext.sty -Package: amstext 2000/06/29 v2.01 - -(/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsgen.sty -File: amsgen.sty 1999/11/30 v2.0 -\@emptytoks=\toks29 -\ex@=\dimen171 -)) -(/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsbsy.sty -Package: amsbsy 1999/11/29 v1.2d -\pmbraise@=\dimen172 -) -(/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsopn.sty -Package: amsopn 1999/12/14 v2.01 operator names -) -\inf@bad=\count140 -LaTeX Info: Redefining \frac on input line 211. -\uproot@=\count141 -\leftroot@=\count142 -LaTeX Info: Redefining \overline on input line 307. -\classnum@=\count143 -\DOTSCASE@=\count144 -LaTeX Info: Redefining \ldots on input line 379. -LaTeX Info: Redefining \dots on input line 382. -LaTeX Info: Redefining \cdots on input line 467. -\Mathstrutbox@=\box51 -\strutbox@=\box52 -\big@size=\dimen173 -LaTeX Font Info: Redeclaring font encoding OML on input line 567. -LaTeX Font Info: Redeclaring font encoding OMS on input line 568. -\macc@depth=\count145 -\c@MaxMatrixCols=\count146 -\dotsspace@=\muskip11 -\c@parentequation=\count147 -\dspbrk@lvl=\count148 -\tag@help=\toks30 -\row@=\count149 -\column@=\count150 -\maxfields@=\count151 -\andhelp@=\toks31 -\eqnshift@=\dimen174 -\alignsep@=\dimen175 -\tagshift@=\dimen176 -\tagwidth@=\dimen177 -\totwidth@=\dimen178 -\lineht@=\dimen179 -\@envbody=\toks32 -\multlinegap=\skip52 -\multlinetaggap=\skip53 -\mathdisplay@stack=\toks33 -LaTeX Info: Redefining \[ on input line 2666. -LaTeX Info: Redefining \] on input line 2667. -) -(/usr/share/texlive/texmf-dist/tex/latex/amscls/amsthm.sty -Package: amsthm 2009/07/02 v2.20.1 -\thm@style=\toks34 -\thm@bodyfont=\toks35 -\thm@headfont=\toks36 -\thm@notefont=\toks37 -\thm@headpunct=\toks38 -\thm@preskip=\skip54 -\thm@postskip=\skip55 -\thm@headsep=\skip56 -\dth@everypar=\toks39 -) -\c@theorem=\count152 -) -(/usr/share/texmf/tex/latex/beamer/base/beamerbasethemes.sty -Package: beamerbasethemes 2010/05/01 (rcs-revision efa082c6111d) -)) -(/usr/share/texmf/tex/latex/beamer/base/themes/theme/beamerthemedefault.sty -Package: beamerthemedefault 2010/06/17 (rcs-revision d02a7cf4d8ae) - -(/usr/share/texmf/tex/latex/beamer/base/themes/font/beamerfontthemedefault.sty -Package: beamerfontthemedefault 2010/06/17 (rcs-revision d02a7cf4d8ae) -) -(/usr/share/texmf/tex/latex/beamer/base/themes/color/beamercolorthemedefault.st -y -Package: beamercolorthemedefault 2010/06/17 (rcs-revision d02a7cf4d8ae) -) -(/usr/share/texmf/tex/latex/beamer/base/themes/inner/beamerinnerthemedefault.st -y -Package: beamerinnerthemedefault 2010/06/17 (rcs-revision d02a7cf4d8ae) -\beamer@dima=\dimen180 -\beamer@dimb=\dimen181 -) -(/usr/share/texmf/tex/latex/beamer/base/themes/outer/beamerouterthemedefault.st -y -Package: beamerouterthemedefault 2010/06/17 (rcs-revision d02a7cf4d8ae) -))) -(/usr/share/texmf/tex/latex/beamer/base/themes/theme/beamerthemeHannover.sty -Package: beamerthemeHannover 2010/06/17 (rcs-revision d02a7cf4d8ae) - -(/usr/share/texmf/tex/latex/beamer/base/themes/outer/beamerouterthemesidebar.st -y -Package: beamerouterthemesidebar 2010/06/17 (rcs-revision d02a7cf4d8ae) -\beamer@sidebarwidth=\dimen182 -\beamer@headheight=\dimen183 -) -(/usr/share/texmf/tex/latex/beamer/base/themes/color/beamercolorthemeseahorse.s -ty -Package: beamercolorthemeseahorse 2010/06/17 (rcs-revision d02a7cf4d8ae) -) -(/usr/share/texmf/tex/latex/beamer/base/themes/inner/beamerinnerthemecircles.st -y -Package: beamerinnerthemecircles 2010/06/17 (rcs-revision d02a7cf4d8ae) -)) (/usr/share/texlive/texmf-dist/tex/latex/stmaryrd/stmaryrd.sty -Package: stmaryrd 1994/03/03 St Mary's Road symbol package -\symstmry=\mathgroup6 -LaTeX Font Info: Overwriting symbol font `stmry' in version `bold' -(Font) U/stmry/m/n --> U/stmry/b/n on input line 89. -) -(/usr/share/texlive/texmf-dist/tex/latex/listings/listings.sty -\lst@mode=\count153 -\lst@gtempboxa=\box53 -\lst@token=\toks40 -\lst@length=\count154 -\lst@currlwidth=\dimen184 -\lst@column=\count155 -\lst@pos=\count156 -\lst@lostspace=\dimen185 -\lst@width=\dimen186 -\lst@newlines=\count157 -\lst@lineno=\count158 -\lst@maxwidth=\dimen187 - -(/usr/share/texlive/texmf-dist/tex/latex/listings/lstmisc.sty -File: lstmisc.sty 2007/02/22 1.4 (Carsten Heinz) -\c@lstnumber=\count159 -\lst@skipnumbers=\count160 -\lst@framebox=\box54 -) -(/usr/share/texlive/texmf-dist/tex/latex/listings/listings.cfg -File: listings.cfg 2007/02/22 1.4 listings configuration -)) -Package: listings 2007/02/22 1.4 (Carsten Heinz) - - -Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding): -(hyperref) removing `\\' on input line 14. - - -Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding): -(hyperref) removing `\\' on input line 14. - -(./main.aux) -\openout1 = `main.aux'. - -LaTeX Font Info: Checking defaults for OML/cmm/m/it on input line 25. -LaTeX Font Info: ... okay on input line 25. -LaTeX Font Info: Checking defaults for T1/cmr/m/n on input line 25. -LaTeX Font Info: ... okay on input line 25. -LaTeX Font Info: Checking defaults for OT1/cmr/m/n on input line 25. -LaTeX Font Info: ... okay on input line 25. -LaTeX Font Info: Checking defaults for OMS/cmsy/m/n on input line 25. -LaTeX Font Info: ... okay on input line 25. -LaTeX Font Info: Checking defaults for OMX/cmex/m/n on input line 25. -LaTeX Font Info: ... okay on input line 25. -LaTeX Font Info: Checking defaults for U/cmr/m/n on input line 25. -LaTeX Font Info: ... okay on input line 25. -LaTeX Font Info: Checking defaults for PD1/pdf/m/n on input line 25. -LaTeX Font Info: ... okay on input line 25. - -*geometry* driver: auto-detecting -*geometry* detected driver: pdftex -*geometry* verbose mode - [ preamble ] result: -* driver: pdftex -* paper: custom -* layout: -* layoutoffset:(h,v)=(0.0pt,0.0pt) -* modes: includehead includefoot -* h-part:(L,W,R)=(59.22636pt, 290.74263pt, 14.22636pt) -* v-part:(T,H,B)=(0.0pt, 273.14662pt, 0.0pt) -* \paperwidth=364.19536pt -* \paperheight=273.14662pt -* \textwidth=290.74263pt -* \textheight=244.6939pt -* \oddsidemargin=-13.04362pt -* \evensidemargin=-13.04362pt -* \topmargin=-72.26999pt -* \headheight=14.22636pt -* \headsep=0.0pt -* \topskip=11.0pt -* \footskip=14.22636pt -* \marginparwidth=4.0pt -* \marginparsep=10.0pt -* \columnsep=10.0pt -* \skip\footins=10.0pt plus 4.0pt minus 2.0pt -* \hoffset=0.0pt -* \voffset=0.0pt -* \mag=1000 -* \@twocolumnfalse -* \@twosidefalse -* \@mparswitchfalse -* \@reversemarginfalse -* (1in=72.27pt=25.4mm, 1cm=28.453pt) - -(/usr/share/texlive/texmf-dist/tex/context/base/supp-pdf.mkii -[Loading MPS to PDF converter (version 2006.09.02).] -\scratchcounter=\count161 -\scratchdimen=\dimen188 -\scratchbox=\box55 -\nofMPsegments=\count162 -\nofMParguments=\count163 -\everyMPshowfont=\toks41 -\MPscratchCnt=\count164 -\MPscratchDim=\dimen189 -\MPnumerator=\count165 -\makeMPintoPDFobject=\count166 -\everyMPtoPDFconversion=\toks42 -) (/usr/share/texlive/texmf-dist/tex/latex/oberdiek/epstopdf-base.sty -Package: epstopdf-base 2010/02/09 v2.5 Base part for package epstopdf - -(/usr/share/texlive/texmf-dist/tex/latex/oberdiek/grfext.sty -Package: grfext 2010/08/19 v1.1 Managing graphics extensions (HO) -) -Package grfext Info: Graphics extension search list: -(grfext) [.png,.pdf,.jpg,.mps,.jpeg,.jbig2,.jb2,.PNG,.PDF,.JPG,.JPE -G,.JBIG2,.JB2,.eps] -(grfext) \AppendGraphicsExtensions on input line 452. - -(/usr/share/texlive/texmf-dist/tex/latex/latexconfig/epstopdf-sys.cfg -File: epstopdf-sys.cfg 2010/07/13 v1.3 Configuration of (r)epstopdf for TeX Liv -e -)) -ABD: EveryShipout initializing macros -\AtBeginShipoutBox=\box56 -Package hyperref Info: Link coloring OFF on input line 25. - -(/usr/share/texlive/texmf-dist/tex/latex/hyperref/nameref.sty -Package: nameref 2010/04/30 v2.40 Cross-referencing by name of section - -(/usr/share/texlive/texmf-dist/tex/generic/oberdiek/gettitlestring.sty -Package: gettitlestring 2010/12/03 v1.4 Cleanup title references (HO) -) -\c@section@level=\count167 -) -LaTeX Info: Redefining \ref on input line 25. -LaTeX Info: Redefining \pageref on input line 25. -LaTeX Info: Redefining \nameref on input line 25. - -(./main.out) (./main.out) -\@outlinefile=\write5 -\openout5 = `main.out'. - -LaTeX Font Info: Overwriting symbol font `operators' in version `normal' -(Font) OT1/cmr/m/n --> OT1/cmss/m/n on input line 25. -LaTeX Font Info: Overwriting symbol font `operators' in version `bold' -(Font) OT1/cmr/bx/n --> OT1/cmss/bx/n on input line 25. -\symnumbers=\mathgroup7 -\sympureletters=\mathgroup8 -LaTeX Font Info: Overwriting math alphabet `\mathrm' in version `normal' -(Font) OT1/cmss/m/n --> OT1/cmr/m/n on input line 25. -LaTeX Font Info: Redeclaring math alphabet \mathbf on input line 25. -LaTeX Font Info: Overwriting math alphabet `\mathbf' in version `normal' -(Font) OT1/cmr/bx/n --> OT1/cmss/bx/n on input line 25. -LaTeX Font Info: Overwriting math alphabet `\mathbf' in version `bold' -(Font) OT1/cmr/bx/n --> OT1/cmss/bx/n on input line 25. -LaTeX Font Info: Redeclaring math alphabet \mathsf on input line 25. -LaTeX Font Info: Overwriting math alphabet `\mathsf' in version `normal' -(Font) OT1/cmss/m/n --> OT1/cmss/m/n on input line 25. -LaTeX Font Info: Overwriting math alphabet `\mathsf' in version `bold' -(Font) OT1/cmss/bx/n --> OT1/cmss/m/n on input line 25. -LaTeX Font Info: Redeclaring math alphabet \mathit on input line 25. -LaTeX Font Info: Overwriting math alphabet `\mathit' in version `normal' -(Font) OT1/cmr/m/it --> OT1/cmss/m/it on input line 25. -LaTeX Font Info: Overwriting math alphabet `\mathit' in version `bold' -(Font) OT1/cmr/bx/it --> OT1/cmss/m/it on input line 25. -LaTeX Font Info: Redeclaring math alphabet \mathtt on input line 25. -LaTeX Font Info: Overwriting math alphabet `\mathtt' in version `normal' -(Font) OT1/cmtt/m/n --> OT1/cmtt/m/n on input line 25. -LaTeX Font Info: Overwriting math alphabet `\mathtt' in version `bold' -(Font) OT1/cmtt/m/n --> OT1/cmtt/m/n on input line 25. -LaTeX Font Info: Overwriting symbol font `numbers' in version `bold' -(Font) OT1/cmss/m/n --> OT1/cmss/bx/n on input line 25. -LaTeX Font Info: Overwriting symbol font `pureletters' in version `bold' -(Font) OT1/cmss/m/it --> OT1/cmss/bx/it on input line 25. -LaTeX Font Info: Overwriting math alphabet `\mathrm' in version `bold' -(Font) OT1/cmss/bx/n --> OT1/cmr/bx/n on input line 25. -LaTeX Font Info: Overwriting math alphabet `\mathbf' in version `bold' -(Font) OT1/cmss/bx/n --> OT1/cmss/bx/n on input line 25. -LaTeX Font Info: Overwriting math alphabet `\mathsf' in version `bold' -(Font) OT1/cmss/m/n --> OT1/cmss/bx/n on input line 25. -LaTeX Font Info: Overwriting math alphabet `\mathit' in version `bold' -(Font) OT1/cmss/m/it --> OT1/cmss/bx/it on input line 25. -LaTeX Font Info: Overwriting math alphabet `\mathtt' in version `bold' -(Font) OT1/cmtt/m/n --> OT1/cmtt/bx/n on input line 25. - -(/usr/share/texmf/tex/latex/beamer/base/translator/dicts/translator-basic-dicti -onary/translator-basic-dictionary-English.dict -Dictionary: translator-basic-dictionary, Language: English -) -(/usr/share/texmf/tex/latex/beamer/base/translator/dicts/translator-bibliograph -y-dictionary/translator-bibliography-dictionary-English.dict -Dictionary: translator-bibliography-dictionary, Language: English -) -(/usr/share/texmf/tex/latex/beamer/base/translator/dicts/translator-environment --dictionary/translator-environment-dictionary-English.dict -Dictionary: translator-environment-dictionary, Language: English -) -(/usr/share/texmf/tex/latex/beamer/base/translator/dicts/translator-months-dict -ionary/translator-months-dictionary-English.dict -Dictionary: translator-months-dictionary, Language: English -) -(/usr/share/texmf/tex/latex/beamer/base/translator/dicts/translator-numbers-dic -tionary/translator-numbers-dictionary-English.dict -Dictionary: translator-numbers-dictionary, Language: English -) -(/usr/share/texmf/tex/latex/beamer/base/translator/dicts/translator-theorem-dic -tionary/translator-theorem-dictionary-English.dict -Dictionary: translator-theorem-dictionary, Language: English -) -\c@lstlisting=\count168 - (./main.nav) - -LaTeX Font Warning: Font shape `OT1/cmss/m/n' in size <4> not available -(Font) size <5> substituted on input line 29. - -[1{/var/lib/texmf/fonts/map/pdftex/updmap/pdftex.map} - -] (./main.toc) [2 - -] -LaTeX Font Info: Try loading font information for U+msa on input line 43. - -(/usr/share/texlive/texmf-dist/tex/latex/amsfonts/umsa.fd -File: umsa.fd 2009/06/22 v3.00 AMS symbols A -) -LaTeX Font Info: Try loading font information for U+msb on input line 43. - -(/usr/share/texlive/texmf-dist/tex/latex/amsfonts/umsb.fd -File: umsb.fd 2009/06/22 v3.00 AMS symbols B -) -LaTeX Font Info: Try loading font information for U+stmry on input line 43. - -(/usr/share/texlive/texmf-dist/tex/latex/stmaryrd/Ustmry.fd) [3 - -] [4 - -] [5 - -] -[6 - -] -Overfull \vbox (3.29889pt too high) detected at line 85 - [] - -[7 - -] -Overfull \vbox (3.29889pt too high) detected at line 85 - [] - -[8 - -] -Overfull \vbox (3.29889pt too high) detected at line 85 - [] - -[9 - -] [10 - -] [11 - -] [12 - -] [13 - -] [14 - -] [15 - -] [16 - -] [17 - -] -! Missing $ inserted. - - $ -l.209 \end{frame} - -? - -! LaTeX Error: There's no line here to end. - -See the LaTeX manual or LaTeX Companion for explanation. -Type H for immediate help. - ... - -l.209 \end{frame} - -? -! Missing $ inserted. - - $ -l.209 \end{frame} - -? - -! LaTeX Error: There's no line here to end. - -See the LaTeX manual or LaTeX Companion for explanation. -Type H for immediate help. - ... - -l.209 \end{frame} - -? -! Missing $ inserted. - - $ -l.209 \end{frame} - -? -! Display math should end with $$. - - \par -l.209 \end{frame} - -? -! Missing $ inserted. - - $ -l.209 \end{frame} - -? - -! LaTeX Error: There's no line here to end. - -See the LaTeX manual or LaTeX Companion for explanation. -Type H for immediate help. - ... - -l.209 \end{frame} - -? -! Missing $ inserted. - - $ -l.209 \end{frame} - -? -! Missing $ inserted. - - $ -l.209 \end{frame} - -? - -! LaTeX Error: There's no line here to end. - -See the LaTeX manual or LaTeX Companion for explanation. -Type H for immediate help. - ... - -l.209 \end{frame} - -? -! Missing $ inserted. - - $ -l.209 \end{frame} - -? -! Missing $ inserted. - - $ -l.209 \end{frame} - -? - -! LaTeX Error: There's no line here to end. - -See the LaTeX manual or LaTeX Companion for explanation. -Type H for immediate help. - ... - -l.209 \end{frame} - -? -! Missing $ inserted. - - $ -l.209 \end{frame} - -? -! Missing $ inserted. - - $ -l.209 \end{frame} - -? - -! LaTeX Error: There's no line here to end. - -See the LaTeX manual or LaTeX Companion for explanation. -Type H for immediate help. - ... - -l.209 \end{frame} - -? -! Missing $ inserted. - - $ -l.209 \end{frame} - -? -! Missing $ inserted. - - $ -l.209 \end{frame} - -? - -! LaTeX Error: There's no line here to end. - -See the LaTeX manual or LaTeX Companion for explanation. -Type H for immediate help. - ... - -l.209 \end{frame} - -? -! Missing $ inserted. - - $ -l.209 \end{frame} - -? - -! LaTeX Error: Bad math environment delimiter. - -See the LaTeX manual or LaTeX Companion for explanation. -Type H for immediate help. - ... - -l.209 \end{frame} - -? -! Missing $ inserted. - - $ -l.209 \end{frame} - -? -! Display math should end with $$. - - \endgroup -l.209 \end{frame} - -? -[18 - -] -! Missing \right. inserted. - - \right . -l.224 \end{frame} - -? -[19 - -] -LaTeX Font Info: Try loading font information for OMS+cmss on input line 235 -. -LaTeX Font Info: No file OMScmss.fd. on input line 235. - - -LaTeX Font Warning: Font shape `OMS/cmss/m/n' undefined -(Font) using `OMS/cmsy/m/n' instead -(Font) for symbol `textbullet' on input line 235. - -[20 - -] [21 - -] - -! LaTeX Error: There's no line here to end. - -See the LaTeX manual or LaTeX Companion for explanation. -Type H for immediate help. - ... - -l.269 \end{frame} - -? -! Missing $ inserted. - - $ -l.269 \end{frame} - -? -! Display math should end with $$. - - \par -l.269 \end{frame} - -? -! Missing $ inserted. - - $ -l.269 \end{frame} - -? - -! LaTeX Error: There's no line here to end. - -See the LaTeX manual or LaTeX Companion for explanation. -Type H for immediate help. - ... - -l.269 \end{frame} - -? -! Missing $ inserted. - - $ -l.269 \end{frame} - -? -! Missing $ inserted. - - $ -l.269 \end{frame} - -? - -! LaTeX Error: There's no line here to end. - -See the LaTeX manual or LaTeX Companion for explanation. -Type H for immediate help. - ... - -l.269 \end{frame} - -? -! Missing $ inserted. - - $ -l.269 \end{frame} - -? -! Missing $ inserted. - - $ -l.269 \end{frame} - -? - -! LaTeX Error: There's no line here to end. - -See the LaTeX manual or LaTeX Companion for explanation. -Type H for immediate help. - ... - -l.269 \end{frame} - -? -! Missing $ inserted. - - $ -l.269 \end{frame} - -? -! Missing $ inserted. - - $ -l.269 \end{frame} - -? - -! LaTeX Error: There's no line here to end. - -See the LaTeX manual or LaTeX Companion for explanation. -Type H for immediate help. - ... - -l.269 \end{frame} - -? -! Missing $ inserted. - - $ -l.269 \end{frame} - -? -! Missing $ inserted. - - $ -l.269 \end{frame} - -? - -! LaTeX Error: There's no line here to end. - -See the LaTeX manual or LaTeX Companion for explanation. -Type H for immediate help. - ... - -l.269 \end{frame} - -? -! Missing $ inserted. - - $ -l.269 \end{frame} - -? -! Missing $ inserted. - - $ -l.269 \end{frame} - -? -! Missing $ inserted. - - $ -l.269 \end{frame} - -? -[22 - -] [23 - -] [24 - -] -\tf@nav=\write6 -\openout6 = `main.nav'. - -\tf@toc=\write7 -\openout7 = `main.toc'. - -\tf@snm=\write8 -\openout8 = `main.snm'. - -Package atveryend Info: Empty hook `BeforeClearDocument' on input line 290. -Package atveryend Info: Empty hook `AfterLastShipout' on input line 290. - (./main.aux) -Package atveryend Info: Executing hook `AtVeryEndDocument' on input line 290. -Package atveryend Info: Executing hook `AtEndAfterFileList' on input line 290. -Package rerunfilecheck Info: File `main.out' has not changed. -(rerunfilecheck) Checksum: E94E3D6C6BF25762D8770CEFEEDA9ABD;243. - - -LaTeX Font Warning: Size substitutions with differences -(Font) up to 1.0pt have occurred. - - -LaTeX Font Warning: Some font shapes were not available, defaults substituted. - - ) -Here is how much of TeX's memory you used: - 16886 strings out of 495065 - 308284 string characters out of 3182278 - 388893 words of memory out of 3000000 - 19614 multiletter control sequences out of 15000+200000 - 17230 words of font info for 65 fonts, out of 3000000 for 9000 - 14 hyphenation exceptions out of 8191 - 49i,15n,61p,393b,557s stack positions out of 5000i,500n,10000p,200000b,50000s - -Output written on main.pdf (24 pages, 172431 bytes). -PDF statistics: - 861 PDF objects out of 1000 (max. 8388607) - 809 compressed objects within 9 object streams - 54 named destinations out of 1000 (max. 500000) - 73 words of extra memory for PDF output out of 10000 (max. 10000000) - diff --git a/tex/presentation/main.nav b/tex/presentation/main.nav deleted file mode 100644 index da56414..0000000 --- a/tex/presentation/main.nav +++ /dev/null @@ -1,57 +0,0 @@ -\beamer@endinputifotherversion {3.10pt} -\headcommand {\slideentry {0}{0}{1}{1/1}{}{0}} -\headcommand {\beamer@framepages {1}{1}} -\headcommand {\slideentry {0}{0}{2}{2/2}{}{0}} -\headcommand {\beamer@framepages {2}{2}} -\headcommand {\sectionentry {1}{Example}{3}{Example}{0}} -\headcommand {\beamer@sectionpages {1}{2}} -\headcommand {\beamer@subsectionpages {1}{2}} -\headcommand {\slideentry {1}{0}{3}{3/3}{}{0}} -\headcommand {\beamer@framepages {3}{3}} -\headcommand {\sectionentry {2}{Definitions}{4}{Definitions}{0}} -\headcommand {\beamer@sectionpages {3}{3}} -\headcommand {\beamer@subsectionpages {3}{3}} -\headcommand {\slideentry {2}{0}{4}{4/6}{}{0}} -\headcommand {\beamer@framepages {4}{6}} -\headcommand {\slideentry {2}{0}{5}{7/9}{}{0}} -\headcommand {\beamer@framepages {7}{9}} -\headcommand {\slideentry {2}{0}{6}{10/10}{}{0}} -\headcommand {\beamer@framepages {10}{10}} -\headcommand {\slideentry {2}{0}{7}{11/11}{}{0}} -\headcommand {\beamer@framepages {11}{11}} -\headcommand {\sectionentry {3}{Max-strategies}{12}{Max-strategies}{0}} -\headcommand {\beamer@sectionpages {4}{11}} -\headcommand {\beamer@subsectionpages {4}{11}} -\headcommand {\slideentry {3}{0}{8}{12/12}{}{0}} -\headcommand {\beamer@framepages {12}{12}} -\headcommand {\slideentry {3}{0}{9}{13/15}{}{0}} -\headcommand {\beamer@framepages {13}{15}} -\headcommand {\sectionentry {4}{Bellman-Ford}{16}{Bellman-Ford}{0}} -\headcommand {\beamer@sectionpages {12}{15}} -\headcommand {\beamer@subsectionpages {12}{15}} -\headcommand {\slideentry {4}{0}{10}{16/16}{}{0}} -\headcommand {\beamer@framepages {16}{16}} -\headcommand {\slideentry {4}{0}{11}{17/17}{}{0}} -\headcommand {\beamer@framepages {17}{17}} -\headcommand {\slideentry {4}{0}{12}{18/18}{}{0}} -\headcommand {\beamer@framepages {18}{18}} -\headcommand {\slideentry {4}{0}{13}{19/19}{}{0}} -\headcommand {\beamer@framepages {19}{19}} -\headcommand {\sectionentry {5}{Max-strategy improvement}{20}{Max-strategy improvement}{0}} -\headcommand {\beamer@sectionpages {16}{19}} -\headcommand {\beamer@subsectionpages {16}{19}} -\headcommand {\slideentry {5}{0}{14}{20/20}{}{0}} -\headcommand {\beamer@framepages {20}{20}} -\headcommand {\slideentry {5}{0}{15}{21/21}{}{0}} -\headcommand {\beamer@framepages {21}{21}} -\headcommand {\slideentry {5}{0}{16}{22/22}{}{0}} -\headcommand {\beamer@framepages {22}{22}} -\headcommand {\slideentry {5}{0}{17}{23/23}{}{0}} -\headcommand {\beamer@framepages {23}{23}} -\headcommand {\slideentry {5}{0}{18}{24/24}{}{0}} -\headcommand {\beamer@framepages {24}{24}} -\headcommand {\beamer@partpages {1}{24}} -\headcommand {\beamer@subsectionpages {25}{24}} -\headcommand {\beamer@sectionpages {25}{24}} -\headcommand {\beamer@documentpages {24}} -\headcommand {\def \inserttotalframenumber {18}} diff --git a/tex/presentation/main.out b/tex/presentation/main.out deleted file mode 100644 index a8d896b..0000000 --- a/tex/presentation/main.out +++ /dev/null @@ -1,5 +0,0 @@ -\BOOKMARK [2][]{Outline0.1}{Example}{}% 1 -\BOOKMARK [2][]{Outline0.2}{Definitions}{}% 2 -\BOOKMARK [2][]{Outline0.3}{Max-strategies}{}% 3 -\BOOKMARK [2][]{Outline0.4}{Bellman-Ford}{}% 4 -\BOOKMARK [2][]{Outline0.5}{Max-strategy improvement}{}% 5 diff --git a/tex/presentation/main.snm b/tex/presentation/main.snm deleted file mode 100644 index e69de29..0000000 diff --git a/tex/presentation/main.tex b/tex/presentation/main.tex deleted file mode 100644 index 286e4a7..0000000 --- a/tex/presentation/main.tex +++ /dev/null @@ -1,290 +0,0 @@ -\documentclass{beamer} - -\usetheme{Hannover} -\usepackage{amsmath,stmaryrd,listings} - -\title{{\bf Static Analysis \\ through \\Abstract Interpretation, \\Convex Optimization, and\\ Strategy Iteration}} - -\author{ - {\bf Thomas Martin Gawlitza} - \\[3pt] - joint work with - \\[3pt] - {\bf Helmut Seidl} -} - -\newcommand\N{\mathbb{N}} -\newcommand\Z{\mathbb{Z}} -\newcommand\CZ{\overline{\Z}} - -\let\max\undefined -\newcommand\max{\lor} -\let\min\undefined -\newcommand\min{\land} - -\begin{document} - -\begin{frame} - \maketitle -\end{frame} - -\begin{frame} - \tableofcontents -\end{frame} - -\section{Example} -\begin{frame}{Example} - \begin{eqnarray*} - x_1 &=& 0 \max (-1 + x_1 \min x_2) \\ - x_2 &=& 0 \max 5 + x_1 \max x_1 \\ - x_3 &=& 0 \max 1 + x_3 \max 0 + x_1 - \end{eqnarray*} - -\end{frame} - -\section{Definitions} -\begin{frame}{Preliminary Definitions} - \begin{center} - Strange notation: \\ - $x \max y = \text{max}(x, y)$ \\ - $x \min y = \text{min}(x, y)$ \\ - \uncover<2->{ - \bigskip - {\bf Monotone:} $x \leq y \implies f(x) \leq f(y) ~~ \forall x,y$ - } - - \uncover<3->{ - \bigskip - {\bf Assignment:} $\rho$ is always a variable assignment (from $X \rightarrow \CZ$) - } - \end{center} -\end{frame} - -\begin{frame}{Systems of Equations} - \begin{align*} - \varepsilon = \{ x_1 = e_1, x_2 = e_2, ... x_n = e_n \} - \end{align*} - \uncover<2->{ - \begin{align*} - \text{\bf Solutions: } & \rho = \llbracket \varepsilon \rrbracket \rho \\ - \text{\bf Presolutions: } & \rho \leq \llbracket \varepsilon \rrbracket \rho \\ - \text{\bf Fixpoint: } & f(x) = x \\ - \text{\bf Least fixpoint: } & \mu f \\ - \end{align*} - } - \uncover<3->{ - {\bf Evaluation:} - $\text{with } \rho ~ \epsilon ~ Vars(\varepsilon) \rightarrow \CZ$ \\ - \begin{align*} - (\llbracket \varepsilon \rrbracket \rho)(x) & := \llbracket e \rrbracket \rho \\ - \llbracket x \rrbracket \rho & := \rho (x) \\ - \llbracket f(e_1, ... e_k) \rrbracket & := f(\llbracket e_1 \rrbracket \rho, - ... \llbracket e_k \rrbracket \rho) - \end{align*} - } -\end{frame} - -\begin{frame}{Operators on $\CZ$} - Working in $\CZ = \Z \cup \{\infty, -\infty\}$ - - \bigskip - \begin{displaymath} - x +^{-\infty} y = \left\{ \begin{array}{ll} - -\infty & \text{if } -\infty \in \{x,y\} \\ - \infty & \text{if } -\infty \not\in \{x,y\} \text{ and } \infty \in \{x,y\} \\ - x + y & \text{if } x,y \in \Z \\ - \end{array} \right. - \end{displaymath} - \begin{displaymath} - x +^{\infty} y = \left\{ \begin{array}{ll} - \infty & \text{if } \infty \in \{x,y\} \\ - -\infty & \text{if } \infty \not\in \{x,y\} \text{ and } -\infty \in \{x,y\} \\ - x + y & \text{if } x,y \in \Z \\ - \end{array} \right. - \end{displaymath} - \begin{displaymath} - \begin{array}{lr} - x \cdot \infty = \infty \cdot x = \infty, - x \cdot -\infty = -\infty \cdot x = -\infty - & \forall x > 0 \\ - x \cdot \infty = \infty \cdot x = -\infty, - x \cdot -\infty = -\infty \cdot x = \infty - & \forall x < 0 \\ - 0 \cdot \infty = \infty \cdot 0 = - 0 \cdot -\infty = -\infty \cdot 0 = 0 & - \end{array} - \end{displaymath} -\end{frame} - -\begin{frame}{Expansivity} - $f$ is upward-expansive in $X'$ iff - - \bigskip - \begin{center} - $f(\rho \oplus \{x \mapsto \rho(x) + \delta\}) \geq f(\rho) + \delta)$ - ~~ $\forall x \in X', \rho \in X \rightarrow \CZ, \delta \in \N$ - \end{center} -\end{frame} - -\section{Max-strategies} -\begin{frame}{Max-strategies} - Assume for every $x = e \in \varepsilon$, $e$ is of the - form $e_1 \max e_2 \max ... \max e_k$. - - Then a $\max$-$strategy$ $\sigma$ maps each $e$ to one of its $e_k$. - - \bigskip - For all $\max$ strategies $\sigma$ the expression $e\sigma$ is defined as: - \begin{align*} - (e_1 \max ... \max e_k)\sigma & = (\sigma(e_1 \max ... \max e_k))\sigma \\ - (f(e_1,...e_k))\sigma & = f(e_1\sigma, ..., e_k\sigma) - \end{align*} - where $f \not = \max$ -\end{frame} - -\begin{frame}{Max-strategies} - We may need to change strategy throughout our evaluation. - - Consider the system: $\varepsilon = \{x_1 = x_1 + 1 \max 0\}$. - - Let: - \begin{align*} - \sigma_1 & = \{x_1 + 1 \max 0 \mapsto x_1 + 1\} \\ - \sigma_2 & = \{x_1 + 1 \max 0 \mapsto 0\} - \end{align*} - - \uncover<2->{ - This gives us: - } - \begin{align*} - \uncover<2->{ - \mu \llbracket \varepsilon (\sigma_1) \rrbracket & = \{x_1 \mapsto -\infty\} \\ - \mu \llbracket \varepsilon (\sigma_2) \rrbracket & = \{x_1 \mapsto 0\} \\ - } - \uncover<3->{ - \mu \llbracket \varepsilon \rrbracket & = \{x_1 \mapsto \infty\} - } - \end{align*} -\end{frame} - -\section{Bellman-Ford} -\begin{frame}{BF-functions} - $X$ a set. A monotone $f: (X \rightarrow \CZ) \rightarrow CZ$ is called - a \emph{Bellman-Ford function} iff, $\forall \rho, \rho': X \rightarrow \CZ$ - with $\rho' \geq \rho$ the following holds: - - \bigskip - If $f(\rho') > f(\rho)$ then $\exists x \in X$ and some $\delta \in \CZ\setminus\{-\infty\}$ such that: - \begin{align*} - \rho'(x) & > \rho(x) \\ - f(\rho') & = \rho'(x) + \delta \\ - f(\rho'') & \geq \rho''(x) + \delta ~~ \forall \rho'' \geq \rho' - \end{align*} -\end{frame} - -\begin{frame}{A quick lemma} - Let $\varepsilon$ be a system of \emph{BF-equations} with $n$ variables. \\ - Let $\rho^{(i)} = \llbracket\varepsilon\rrbracket^i(\_ \mapsto -\infty) ~~ \forall i \in \N$. \\ - The following holds for every $x \in Vars(\varepsilon)$: \\ - If there exists some $k > n$ with $\rho^{(k)}(x) > \rho^{(n)}(x)$, then - $\mu\llbracket\varepsilon\rrbracket(x) = \infty$. -\end{frame} - -\begin{frame}{The algorithm} - ~ \\ - {\bf Input:} A system of BF-equations with $n$ variables \\ - {\bf Output:} The least solution $\mu\llbracket\varepsilon\rrbracket$ of \varepsilon \\ - \begin{displaymath} - ~ \\ - \rho \leftarrow (\_ \mapsto -\infty) \\ - {\bf for} i = 1 {\bf to} n {\bf do} \rho \leftarrow \llbracket\varepsilon\rrbracket\rho \\ - \rho \leftarrow \rho' \text{ where } \rho'(x) = \left\{ \begin{array}{ll} - \rho(x) & \text{if } (\llbracket\varepsilon\rrbracket\rho)(x) \leq \rho(x) \\ - \infty & \text{if } (\llbracket\varepsilon\rrbracket\rho)(x) > \rho(x) - \end{array} \right. \forall x \in X \\ - {\bf for} i = 1 {\bf to} n-1 {\bf do} \rho \leftarrow \rho \max \llbracket\varepsilon\rrbracket\rho \\ - {\bf return} \rho \\ - ~ - \end{displaymath} -\end{frame} - -\begin{frame}{Example} - \begin{align*} - x & = 1 \\ - y & = y + x \max -10 \\ - z & = x \cdot^+ y - \end{align*} - Where $\cdot^+$ is defined by: - \begin{displaymath} - x \cdot^+ y = \left\{ \begin{array}{l l} - x \cdot y & \text{if } x, y > 0 \\ - -\infty & \text{if } x \le 0 \text{ or } y \le 0 - \end{array} \forall x,y \in \CZ - \end{displaymath} -\end{frame} - -\section{Max-strategy improvement} -\begin{frame}{Max-strategy improvement} - {\bf General idea:} - \begin{itemize} - \item Pick a max-strategy - \item Perform fixpoint iteration - \item Improve strategy - \item Repeat until we have a solution - \end{itemize} -\end{frame} - -\begin{frame}{What is an improvement?} - If we have $\varepsilon$ a system of equations, $\sigma$ a $\max$-strategy - for $\varepsilon$ and $\rho$ a presolution of $\varepsilon(\sigma)$, then we - call a $\max$-strategy $\sigma'$ is called an improvement of $\sigma$ with - respect to $\rho$ iff: - \begin{itemize} - \item if $\rho \not \in {\bf Sol}(\varepsilon)$, then $\llbracket\varepsilon(\sigma')\rrbracket\rho > \rho$ - \item for all $\max$-expression $e \in S_{\max}(\varepsilon)$ the following holds: \\ - If $\sigma'(e) \not = \sigma(e)$, then $\llbracket e\sigma'\rrbracket\rho > \llbracket e\sigma\rrbracket\rho$ - \end{itemize} -\end{frame} - -\begin{frame}{Algorithm} - ~ \\ - {\bf Input:} - \begin{itemize} - \item A system $\varepsilon$ of monotone equations over a complete linearly ordered set \\ - \item A $\max$-strategy $\sigma_{init}$ for $\varepsilon$ \\ - \item A pre-solution $\rho_{init}$ of $\varepsilon(\sigma_{init})$ with $\rho_{init} \le \mu\llbracket\varepsilon\rrbracket$ - \end{itemize} - {\bf Output:} The least solution $\mu\llbracket\varepsilon\rrbracket$ of $\varepsilon$ - \begin{displaymath} - ~ \\ - \sigma \leftarrow \sigma_{init} \\ - \rho \leftarrow \rho_{init} \\ - \text{while }(\rho \not \in {\bf Sol}(\varepsilon)) \{ \\ - ~~~~ \sigma \leftarrow P_{\max}(\sigma, \rho) \\ - ~~~~ \rho \leftarrow \mu_{\ge\rho} \llbracket\varepsilon(\sigma)\rrbracket \\ - \} \\ - {\bf return} \rho - ~ - \end{displaymath} -\end{frame} - -\begin{frame}{Another related lemma} - Whenever the $\max$-strategy improvement algorithm terminates, it - returns the least solution $\mu\llbracket\varepsilon\rrbracket$. -\end{frame} - -\begin{frame}{Example} - \begin{align*} - x_1 & = 0 \max x_1 + x_2 - 4 \\ - x_2 & = -1 \max ((x_1 + 1 \max 2 \cdot x_2) \min 5) - \end{align*} -\end{frame} - -\section{Feasibility} - -\section{Extended Integer Equations} - -\section{Abstract Interpretation over Zones} - - -\end{document} diff --git a/tex/presentation/main.toc b/tex/presentation/main.toc deleted file mode 100644 index 8e24cc6..0000000 --- a/tex/presentation/main.toc +++ /dev/null @@ -1,6 +0,0 @@ -\beamer@endinputifotherversion {3.10pt} -\beamer@sectionintoc {1}{Example}{3}{0}{1} -\beamer@sectionintoc {2}{Definitions}{4}{0}{2} -\beamer@sectionintoc {3}{Max-strategies}{12}{0}{3} -\beamer@sectionintoc {4}{Bellman-Ford}{16}{0}{4} -\beamer@sectionintoc {5}{Max-strategy improvement}{20}{0}{5} diff --git a/tex/presentation/missfont.log b/tex/presentation/missfont.log deleted file mode 100644 index 0a253cb..0000000 --- a/tex/presentation/missfont.log +++ /dev/null @@ -1,213 +0,0 @@ -mktextfm phvr7t -mktextfm phvr7t -mktextfm phvr7t -mktextfm phvr7t -mktextfm phvr7t -mktextfm phvr7t -mktextfm phvr7t -mktextfm phvb7t -mktextfm nullfont -mktextfm phvbo7t -mktextfm nullfont -mktextfm nullfont -mktextfm phvr7t -mktextfm phvro7t -mktextfm nullfont -mktextfm phvro7t -mktextfm nullfont -mktextfm phvro7t -mktextfm nullfont -mktextfm phvb7t -mktextfm nullfont -mktextfm phvb7t -mktextfm nullfont -mktextfm phvr7t -mktextfm phvb7t -mktextfm nullfont -mktextfm phvr7t -mktextfm phvr7t -mktextfm phvb7t -mktextfm nullfont -mktextfm phvr7t -mktextfm phvro7t -mktextfm nullfont -mktextfm phvro7t -mktextfm nullfont -mktextfm phvb7t -mktextfm nullfont -mktextfm phvb7t -mktextfm nullfont -mktextfm phvr7t -mktextfm phvro7t -mktextfm nullfont -mktextfm phvr7t -mktextfm phvb7t -mktextfm nullfont -mktextfm phvbo7t -mktextfm nullfont -mktextfm nullfont -mktextfm phvb7t -mktextfm nullfont -mktextfm phvr7t -mktextfm phvro7t -mktextfm nullfont -mktextfm phvro7t -mktextfm nullfont -mktextfm phvro7t -mktextfm nullfont -mktextfm phvr7t -mktextfm phvr7t -mktextfm phvb7t -mktextfm nullfont -mktextfm phvbo7t -mktextfm nullfont -mktextfm nullfont -mktextfm phvr7t -mktextfm phvro7t -mktextfm nullfont -mktextfm phvro7t -mktextfm nullfont -mktextfm phvro7t -mktextfm nullfont -mktextfm phvr7t -mktextfm phvb7t -mktextfm nullfont -mktextfm phvr7t -mktextfm phvb7t -mktextfm nullfont -mktextfm phvb7t -mktextfm nullfont -mktextfm phvr7t -mktextfm phvr7t -mktextfm phvro7t -mktextfm nullfont -mktextfm phvro7t -mktextfm nullfont -mktextfm phvr7t -mktextfm phvro7t -mktextfm nullfont -mktextfm phvb7t -mktextfm nullfont -mktextfm phvb7t -mktextfm nullfont -mktextfm phvb7t -mktextfm nullfont -mktextfm phvr7t -mktextfm phvb7t -mktextfm nullfont -mktextfm phvbo7t -mktextfm nullfont -mktextfm nullfont -mktextfm phvb7t -mktextfm nullfont -mktextfm phvr7t -mktextfm phvro7t -mktextfm nullfont -mktextfm phvro7t -mktextfm nullfont -mktextfm phvro7t -mktextfm nullfont -mktextfm phvr7t -mktextfm phvr7t -mktextfm phvb7t -mktextfm nullfont -mktextfm phvbo7t -mktextfm nullfont -mktextfm nullfont -mktextfm phvr7t -mktextfm phvro7t -mktextfm nullfont -mktextfm phvro7t -mktextfm nullfont -mktextfm phvro7t -mktextfm nullfont -mktextfm phvr7t -mktextfm phvb7t -mktextfm nullfont -mktextfm phvr7t -mktextfm phvb7t -mktextfm nullfont -mktextfm phvb7t -mktextfm nullfont -mktextfm phvr7t -mktextfm phvb7t -mktextfm nullfont -mktextfm phvr7t -mktextfm phvro7t -mktextfm nullfont -mktextfm phvro7t -mktextfm nullfont -mktextfm phvb7t -mktextfm nullfont -mktextfm phvb7t -mktextfm nullfont -mktextfm phvr7t -mktextfm phvro7t -mktextfm nullfont -mktextfm phvr7t -mktextfm phvb7t -mktextfm nullfont -mktextfm phvbo7t -mktextfm nullfont -mktextfm nullfont -mktextfm phvb7t -mktextfm nullfont -mktextfm phvr7t -mktextfm phvro7t -mktextfm nullfont -mktextfm phvro7t -mktextfm nullfont -mktextfm phvro7t -mktextfm nullfont -mktextfm phvr7t -mktextfm phvr7t -mktextfm phvb7t -mktextfm nullfont -mktextfm phvbo7t -mktextfm nullfont -mktextfm nullfont -mktextfm phvr7t -mktextfm phvro7t -mktextfm nullfont -mktextfm phvro7t -mktextfm nullfont -mktextfm phvro7t -mktextfm nullfont -mktextfm phvr7t -mktextfm phvb7t -mktextfm nullfont -mktextfm phvr7t -mktextfm phvb7t -mktextfm nullfont -mktextfm phvb7t -mktextfm nullfont -mktextfm phvr7t -mktextfm phvb7t -mktextfm nullfont -mktextfm phvr7t -mktextfm phvro7t -mktextfm nullfont -mktextfm phvro7t -mktextfm nullfont -mktextfm phvb7t -mktextfm nullfont -mktextfm phvb7t -mktextfm nullfont -mktextfm phvr7t -mktextfm phvro7t -mktextfm nullfont -mktextfm phvr7t -mktextfm phvb7t -mktextfm nullfont -mktextfm phvbo7t -mktextfm nullfont -mktextfm nullfont -mktextfm phvb7t -mktextfm nullfont -mktextfm phvr7t -mktextfm phvro7t -mktextfm nullfont -mktextfm phvro7t -mktextfm nullfont -mktextfm phvro7t -mktextfm nullfont diff --git a/tex/presentation/slides.aux b/tex/presentation/slides.aux deleted file mode 100644 index ea1b3ad..0000000 --- a/tex/presentation/slides.aux +++ /dev/null @@ -1,104 +0,0 @@ -\relax -\providecommand\HyperFirstAtBeginDocument{\AtBeginDocument} -\HyperFirstAtBeginDocument{\ifx\hyper@anchor\@undefined -\global\let\oldcontentsline\contentsline -\gdef\contentsline#1#2#3#4{\oldcontentsline{#1}{#2}{#3}} -\global\let\oldnewlabel\newlabel -\gdef\newlabel#1#2{\newlabelxx{#1}#2} -\gdef\newlabelxx#1#2#3#4#5#6{\oldnewlabel{#1}{{#2}{#3}}} -\AtEndDocument{\ifx\hyper@anchor\@undefined -\let\contentsline\oldcontentsline -\let\newlabel\oldnewlabel -\fi} -\fi} -\global\let\hyper@last\relax -\gdef\HyperFirstAtBeginDocument#1{#1} -\providecommand\HyField@AuxAddToFields[1]{} -\citation{DBLP:conf/eef/Yovine96} -\citation{DBLP:conf/rtss/LarsenLPY97} -\citation{Sagiv01} -\citation{DBLP:conf/pado/Mine01} -\@writefile{toc}{\beamer@endinputifotherversion {3.10pt}} -\@writefile{nav}{\beamer@endinputifotherversion {3.10pt}} -\@writefile{nav}{\headcommand {\slideentry {0}{0}{1}{1/1}{}{0}}} -\@writefile{nav}{\headcommand {\beamer@framepages {1}{1}}} -\citation{DBLP:conf/vmcai/SankaranarayananSM05} -\@writefile{nav}{\headcommand {\slideentry {0}{0}{2}{2/2}{}{0}}} -\@writefile{nav}{\headcommand {\beamer@framepages {2}{2}}} -\citation{Sagiv01} -\citation{DBLP:conf/pado/Mine01} -\citation{DBLP:conf/popl/CousotC77} -\citation{DBLP:conf/csl/GawlitzaS07} -\citation{Sagiv01} -\citation{DBLP:conf/pado/Mine01} -\citation{DBLP:conf/popl/CousotC77} -\citation{DBLP:conf/csl/GawlitzaS07} -\citation{Sagiv01} -\citation{DBLP:conf/pado/Mine01} -\citation{DBLP:conf/popl/CousotC77} -\citation{DBLP:conf/csl/GawlitzaS07} -\citation{Sagiv01} -\citation{DBLP:conf/pado/Mine01} -\citation{DBLP:conf/popl/CousotC77} -\citation{DBLP:conf/csl/GawlitzaS07} -\citation{Sagiv01} -\citation{DBLP:conf/pado/Mine01} -\citation{DBLP:conf/popl/CousotC77} -\citation{DBLP:conf/csl/GawlitzaS07} -\citation{Sagiv01} -\citation{DBLP:conf/pado/Mine01} -\citation{DBLP:conf/popl/CousotC77} -\citation{DBLP:conf/csl/GawlitzaS07} -\citation{Sagiv01} -\citation{DBLP:conf/pado/Mine01} -\citation{DBLP:conf/popl/CousotC77} -\citation{DBLP:conf/csl/GawlitzaS07} -\citation{Sagiv01} -\citation{DBLP:conf/pado/Mine01} -\citation{DBLP:conf/popl/CousotC77} -\citation{DBLP:conf/csl/GawlitzaS07} -\citation{Sagiv01} -\citation{DBLP:conf/pado/Mine01} -\citation{DBLP:conf/popl/CousotC77} -\citation{DBLP:conf/csl/GawlitzaS07} -\citation{Sagiv01} -\citation{DBLP:conf/pado/Mine01} -\citation{DBLP:conf/popl/CousotC77} -\citation{DBLP:conf/csl/GawlitzaS07} -\citation{Sagiv01} -\citation{DBLP:conf/pado/Mine01} -\citation{DBLP:conf/popl/CousotC77} -\citation{DBLP:conf/csl/GawlitzaS07} -\citation{Sagiv01} -\citation{DBLP:conf/pado/Mine01} -\citation{DBLP:conf/popl/CousotC77} -\citation{DBLP:conf/csl/GawlitzaS07} -\@writefile{nav}{\headcommand {\slideentry {0}{0}{3}{3/14}{}{0}}} -\@writefile{nav}{\headcommand {\beamer@framepages {3}{14}}} -\@writefile{nav}{\headcommand {\slideentry {0}{0}{4}{15/15}{}{0}}} -\@writefile{nav}{\headcommand {\beamer@framepages {15}{15}}} -\@writefile{nav}{\headcommand {\slideentry {0}{0}{5}{16/16}{}{0}}} -\@writefile{nav}{\headcommand {\beamer@framepages {16}{16}}} -\@writefile{nav}{\headcommand {\slideentry {0}{0}{6}{18/18}{}{0}}} -\@writefile{nav}{\headcommand {\beamer@framepages {18}{18}}} -\@writefile{nav}{\headcommand {\slideentry {0}{0}{7}{19/42}{}{0}}} -\@writefile{nav}{\headcommand {\beamer@framepages {19}{42}}} -\@writefile{nav}{\headcommand {\slideentry {0}{0}{8}{43/43}{}{0}}} -\@writefile{nav}{\headcommand {\beamer@framepages {43}{43}}} -\@writefile{nav}{\headcommand {\slideentry {0}{0}{9}{44/44}{}{0}}} -\@writefile{nav}{\headcommand {\beamer@framepages {44}{44}}} -\@writefile{nav}{\headcommand {\slideentry {0}{0}{10}{45/66}{}{0}}} -\@writefile{nav}{\headcommand {\beamer@framepages {45}{66}}} -\@writefile{nav}{\headcommand {\slideentry {0}{0}{11}{67/72}{}{0}}} -\@writefile{nav}{\headcommand {\beamer@framepages {67}{72}}} -\@writefile{nav}{\headcommand {\slideentry {0}{0}{12}{73/79}{}{0}}} -\@writefile{nav}{\headcommand {\beamer@framepages {73}{79}}} -\bibstyle{apalike2} -\bibdata{bib} -\@writefile{nav}{\headcommand {\slideentry {0}{0}{13}{80/80}{}{0}}} -\@writefile{nav}{\headcommand {\beamer@framepages {80}{80}}} -\@writefile{nav}{\headcommand {\beamer@partpages {1}{80}}} -\@writefile{nav}{\headcommand {\beamer@subsectionpages {1}{80}}} -\@writefile{nav}{\headcommand {\beamer@sectionpages {1}{80}}} -\@writefile{nav}{\headcommand {\beamer@documentpages {80}}} -\@writefile{nav}{\headcommand {\def \inserttotalframenumber {13}}} diff --git a/tex/presentation/slides.log b/tex/presentation/slides.log deleted file mode 100644 index 519ab3c..0000000 --- a/tex/presentation/slides.log +++ /dev/null @@ -1,81732 +0,0 @@ -This is pdfTeX, Version 3.1415926-2.3-1.40.12 (TeX Live 2012/dev/Debian) (format=pdflatex 2012.4.10) 11 APR 2012 15:41 -entering extended mode - restricted \write18 enabled. - %&-line parsing enabled. -**slides.tex -(./slides.tex -LaTeX2e <2011/06/27> -Babel and hyphenation patterns for english, dumylang, nohyphenation, lo -aded. -(/usr/share/texmf/tex/latex/beamer/base/beamer.cls -(/usr/share/texmf/tex/latex/beamer/base/beamerbasercs.sty -Package: beamerbasercs 2010/06/12 (rcs-revision c3821710bb40) -) -Document Class: beamer 2010/06/21 development version 3.10 A class for typesett -ing presentations (rcs-revision a6b1a8434d30) -(/usr/share/texmf/tex/latex/beamer/base/beamerbasemodes.sty -Package: beamerbasemodes 2010/05/01 (rcs-revision efa082c6111d) -\beamer@tempbox=\box26 -\beamer@tempcount=\count79 -\c@beamerpauses=\count80 - -(/usr/share/texmf/tex/latex/beamer/base/beamerbasedecode.sty -Package: beamerbasedecode 2010/05/01 (rcs-revision efa082c6111d) -\beamer@slideinframe=\count81 -\beamer@minimum=\count82 -) -\beamer@commentbox=\box27 -\beamer@modecount=\count83 -) -\headheight=\dimen102 -\headdp=\dimen103 -\footheight=\dimen104 -\sidebarheight=\dimen105 -\beamer@tempdim=\dimen106 -\beamer@finalheight=\dimen107 -\beamer@animht=\dimen108 -\beamer@animdp=\dimen109 -\beamer@animwd=\dimen110 -\beamer@leftmargin=\dimen111 -\beamer@rightmargin=\dimen112 -\beamer@leftsidebar=\dimen113 -\beamer@rightsidebar=\dimen114 -\beamer@boxsize=\dimen115 -\beamer@vboxoffset=\dimen116 -\beamer@descdefault=\dimen117 -\beamer@descriptionwidth=\dimen118 -\beamer@lastskip=\skip41 -\beamer@areabox=\box28 -\beamer@animcurrent=\box29 -\beamer@animshowbox=\box30 -\beamer@sectionbox=\box31 -\beamer@logobox=\box32 -\beamer@linebox=\box33 -\beamer@sectioncount=\count84 -\beamer@subsubsectionmax=\count85 -\beamer@subsectionmax=\count86 -\beamer@sectionmax=\count87 -\beamer@totalheads=\count88 -\beamer@headcounter=\count89 -\beamer@partstartpage=\count90 -\beamer@sectionstartpage=\count91 -\beamer@subsectionstartpage=\count92 -\beamer@animationtempa=\count93 -\beamer@animationtempb=\count94 -\beamer@xpos=\count95 -\beamer@ypos=\count96 -\beamer@showpartnumber=\count97 -\beamer@currentsubsection=\count98 -\beamer@coveringdepth=\count99 -\beamer@sectionadjust=\count100 -\beamer@tocsectionnumber=\count101 - -(/usr/share/texmf/tex/latex/beamer/base/beamerbaseoptions.sty -Package: beamerbaseoptions 2010/04/27 (rcs-revision 982469101dd6) - -(/usr/share/texlive/texmf-dist/tex/latex/graphics/keyval.sty -Package: keyval 1999/03/16 v1.13 key=value parser (DPC) -\KV@toks@=\toks14 -)) -\beamer@paperwidth=\skip42 -\beamer@paperheight=\skip43 - -(/usr/share/texlive/texmf-dist/tex/latex/geometry/geometry.sty -Package: geometry 2010/09/12 v5.6 Page Geometry - -(/usr/share/texlive/texmf-dist/tex/generic/oberdiek/ifpdf.sty -Package: ifpdf 2011/01/30 v2.3 Provides the ifpdf switch (HO) -Package ifpdf Info: pdfTeX in PDF mode is detected. -) -(/usr/share/texlive/texmf-dist/tex/generic/oberdiek/ifvtex.sty -Package: ifvtex 2010/03/01 v1.5 Switches for detecting VTeX and its modes (HO) -Package ifvtex Info: VTeX not detected. -) -(/usr/share/texlive/texmf-dist/tex/generic/ifxetex/ifxetex.sty -Package: ifxetex 2010/09/12 v0.6 Provides ifxetex conditional -) -\Gm@cnth=\count102 -\Gm@cntv=\count103 -\c@Gm@tempcnt=\count104 -\Gm@bindingoffset=\dimen119 -\Gm@wd@mp=\dimen120 -\Gm@odd@mp=\dimen121 -\Gm@even@mp=\dimen122 -\Gm@layoutwidth=\dimen123 -\Gm@layoutheight=\dimen124 -\Gm@layouthoffset=\dimen125 -\Gm@layoutvoffset=\dimen126 -\Gm@dimlist=\toks15 -) -(/usr/share/texlive/texmf-dist/tex/latex/base/size11.clo -File: size11.clo 2007/10/19 v1.4h Standard LaTeX file (size option) -) -(/usr/share/texmf/tex/latex/pgf/basiclayer/pgfcore.sty -(/usr/share/texlive/texmf-dist/tex/latex/graphics/graphicx.sty -Package: graphicx 1999/02/16 v1.0f Enhanced LaTeX Graphics (DPC,SPQR) - -(/usr/share/texlive/texmf-dist/tex/latex/graphics/graphics.sty -Package: graphics 2009/02/05 v1.0o Standard LaTeX Graphics (DPC,SPQR) - -(/usr/share/texlive/texmf-dist/tex/latex/graphics/trig.sty -Package: trig 1999/03/16 v1.09 sin cos tan (DPC) -) -(/usr/share/texlive/texmf-dist/tex/latex/latexconfig/graphics.cfg -File: graphics.cfg 2010/04/23 v1.9 graphics configuration of TeX Live -) -Package graphics Info: Driver file: pdftex.def on input line 91. - -(/usr/share/texlive/texmf-dist/tex/latex/pdftex-def/pdftex.def -File: pdftex.def 2011/05/27 v0.06d Graphics/color for pdfTeX - -(/usr/share/texlive/texmf-dist/tex/generic/oberdiek/infwarerr.sty -Package: infwarerr 2010/04/08 v1.3 Providing info/warning/message (HO) -) -(/usr/share/texlive/texmf-dist/tex/generic/oberdiek/ltxcmds.sty -Package: ltxcmds 2011/04/18 v1.20 LaTeX kernel commands for general use (HO) -) -\Gread@gobject=\count105 -)) -\Gin@req@height=\dimen127 -\Gin@req@width=\dimen128 -) -(/usr/share/texmf/tex/latex/pgf/systemlayer/pgfsys.sty -(/usr/share/texmf/tex/latex/pgf/utilities/pgfrcs.sty -(/usr/share/texmf/tex/generic/pgf/utilities/pgfutil-common.tex -\pgfutil@everybye=\toks16 -) -(/usr/share/texmf/tex/generic/pgf/utilities/pgfutil-latex.def -\pgfutil@abb=\box34 - -(/usr/share/texlive/texmf-dist/tex/latex/ms/everyshi.sty -Package: everyshi 2001/05/15 v3.00 EveryShipout Package (MS) -)) -(/usr/share/texmf/tex/generic/pgf/utilities/pgfrcs.code.tex -Package: pgfrcs 2010/10/25 v2.10 (rcs-revision 1.24) -)) -(/usr/share/texmf/tex/generic/pgf/systemlayer/pgfsys.code.tex -Package: pgfsys 2010/06/30 v2.10 (rcs-revision 1.37) - -(/usr/share/texmf/tex/generic/pgf/utilities/pgfkeys.code.tex -\pgfkeys@pathtoks=\toks17 -\pgfkeys@temptoks=\toks18 - -(/usr/share/texmf/tex/generic/pgf/utilities/pgfkeysfiltered.code.tex -\pgfkeys@tmptoks=\toks19 -)) -\pgf@x=\dimen129 -\pgf@y=\dimen130 -\pgf@xa=\dimen131 -\pgf@ya=\dimen132 -\pgf@xb=\dimen133 -\pgf@yb=\dimen134 -\pgf@xc=\dimen135 -\pgf@yc=\dimen136 -\w@pgf@writea=\write3 -\r@pgf@reada=\read1 -\c@pgf@counta=\count106 -\c@pgf@countb=\count107 -\c@pgf@countc=\count108 -\c@pgf@countd=\count109 - -(/usr/share/texmf/tex/generic/pgf/systemlayer/pgf.cfg -File: pgf.cfg 2008/05/14 (rcs-revision 1.7) -) -Package pgfsys Info: Driver file for pgf: pgfsys-pdftex.def on input line 900. - -(/usr/share/texmf/tex/generic/pgf/systemlayer/pgfsys-pdftex.def -File: pgfsys-pdftex.def 2009/05/22 (rcs-revision 1.26) - -(/usr/share/texmf/tex/generic/pgf/systemlayer/pgfsys-common-pdf.def -File: pgfsys-common-pdf.def 2008/05/19 (rcs-revision 1.10) -))) -(/usr/share/texmf/tex/generic/pgf/systemlayer/pgfsyssoftpath.code.tex -File: pgfsyssoftpath.code.tex 2008/07/18 (rcs-revision 1.7) -\pgfsyssoftpath@smallbuffer@items=\count110 -\pgfsyssoftpath@bigbuffer@items=\count111 -) -(/usr/share/texmf/tex/generic/pgf/systemlayer/pgfsysprotocol.code.tex -File: pgfsysprotocol.code.tex 2006/10/16 (rcs-revision 1.4) -)) -(/usr/share/texmf/tex/latex/xcolor/xcolor.sty -Package: xcolor 2007/01/21 v2.11 LaTeX color extensions (UK) - -(/usr/share/texlive/texmf-dist/tex/latex/latexconfig/color.cfg -File: color.cfg 2007/01/18 v1.5 color configuration of teTeX/TeXLive -) -Package xcolor Info: Driver file: pdftex.def on input line 225. -Package xcolor Info: Model `cmy' substituted by `cmy0' on input line 1337. -Package xcolor Info: Model `hsb' substituted by `rgb' on input line 1341. -Package xcolor Info: Model `RGB' extended on input line 1353. -Package xcolor Info: Model `HTML' substituted by `rgb' on input line 1355. -Package xcolor Info: Model `Hsb' substituted by `hsb' on input line 1356. -Package xcolor Info: Model `tHsb' substituted by `hsb' on input line 1357. -Package xcolor Info: Model `HSB' substituted by `hsb' on input line 1358. -Package xcolor Info: Model `Gray' substituted by `gray' on input line 1359. -Package xcolor Info: Model `wave' substituted by `hsb' on input line 1360. -) -(/usr/share/texmf/tex/generic/pgf/basiclayer/pgfcore.code.tex -Package: pgfcore 2010/04/11 v2.10 (rcs-revision 1.7) - -(/usr/share/texmf/tex/generic/pgf/math/pgfmath.code.tex -(/usr/share/texmf/tex/generic/pgf/math/pgfmathcalc.code.tex -(/usr/share/texmf/tex/generic/pgf/math/pgfmathutil.code.tex) -(/usr/share/texmf/tex/generic/pgf/math/pgfmathparser.code.tex -\pgfmath@dimen=\dimen137 -\pgfmath@count=\count112 -\pgfmath@box=\box35 -\pgfmath@toks=\toks20 -\pgfmath@stack@operand=\toks21 -\pgfmath@stack@operation=\toks22 -) -(/usr/share/texmf/tex/generic/pgf/math/pgfmathfunctions.code.tex -(/usr/share/texmf/tex/generic/pgf/math/pgfmathfunctions.basic.code.tex) -(/usr/share/texmf/tex/generic/pgf/math/pgfmathfunctions.trigonometric.code.tex) -(/usr/share/texmf/tex/generic/pgf/math/pgfmathfunctions.random.code.tex) -(/usr/share/texmf/tex/generic/pgf/math/pgfmathfunctions.comparison.code.tex) -(/usr/share/texmf/tex/generic/pgf/math/pgfmathfunctions.base.code.tex) -(/usr/share/texmf/tex/generic/pgf/math/pgfmathfunctions.round.code.tex) -(/usr/share/texmf/tex/generic/pgf/math/pgfmathfunctions.misc.code.tex))) -(/usr/share/texmf/tex/generic/pgf/math/pgfmathfloat.code.tex -\c@pgfmathroundto@lastzeros=\count113 -)) -(/usr/share/texmf/tex/generic/pgf/basiclayer/pgfcorepoints.code.tex -File: pgfcorepoints.code.tex 2010/04/09 (rcs-revision 1.20) -\pgf@picminx=\dimen138 -\pgf@picmaxx=\dimen139 -\pgf@picminy=\dimen140 -\pgf@picmaxy=\dimen141 -\pgf@pathminx=\dimen142 -\pgf@pathmaxx=\dimen143 -\pgf@pathminy=\dimen144 -\pgf@pathmaxy=\dimen145 -\pgf@xx=\dimen146 -\pgf@xy=\dimen147 -\pgf@yx=\dimen148 -\pgf@yy=\dimen149 -\pgf@zx=\dimen150 -\pgf@zy=\dimen151 -) -(/usr/share/texmf/tex/generic/pgf/basiclayer/pgfcorepathconstruct.code.tex -File: pgfcorepathconstruct.code.tex 2010/08/03 (rcs-revision 1.24) -\pgf@path@lastx=\dimen152 -\pgf@path@lasty=\dimen153 -) -(/usr/share/texmf/tex/generic/pgf/basiclayer/pgfcorepathusage.code.tex -File: pgfcorepathusage.code.tex 2008/04/22 (rcs-revision 1.12) -\pgf@shorten@end@additional=\dimen154 -\pgf@shorten@start@additional=\dimen155 -) -(/usr/share/texmf/tex/generic/pgf/basiclayer/pgfcorescopes.code.tex -File: pgfcorescopes.code.tex 2010/09/08 (rcs-revision 1.34) -\pgfpic=\box36 -\pgf@hbox=\box37 -\pgf@layerbox@main=\box38 -\pgf@picture@serial@count=\count114 -) -(/usr/share/texmf/tex/generic/pgf/basiclayer/pgfcoregraphicstate.code.tex -File: pgfcoregraphicstate.code.tex 2008/04/22 (rcs-revision 1.9) -\pgflinewidth=\dimen156 -) -(/usr/share/texmf/tex/generic/pgf/basiclayer/pgfcoretransformations.code.tex -File: pgfcoretransformations.code.tex 2009/06/10 (rcs-revision 1.11) -\pgf@pt@x=\dimen157 -\pgf@pt@y=\dimen158 -\pgf@pt@temp=\dimen159 -) -(/usr/share/texmf/tex/generic/pgf/basiclayer/pgfcorequick.code.tex -File: pgfcorequick.code.tex 2008/10/09 (rcs-revision 1.3) -) -(/usr/share/texmf/tex/generic/pgf/basiclayer/pgfcoreobjects.code.tex -File: pgfcoreobjects.code.tex 2006/10/11 (rcs-revision 1.2) -) -(/usr/share/texmf/tex/generic/pgf/basiclayer/pgfcorepathprocessing.code.tex -File: pgfcorepathprocessing.code.tex 2008/10/09 (rcs-revision 1.8) -) -(/usr/share/texmf/tex/generic/pgf/basiclayer/pgfcorearrows.code.tex -File: pgfcorearrows.code.tex 2008/04/23 (rcs-revision 1.11) -) -(/usr/share/texmf/tex/generic/pgf/basiclayer/pgfcoreshade.code.tex -File: pgfcoreshade.code.tex 2008/11/23 (rcs-revision 1.13) -\pgf@max=\dimen160 -\pgf@sys@shading@range@num=\count115 -) -(/usr/share/texmf/tex/generic/pgf/basiclayer/pgfcoreimage.code.tex -File: pgfcoreimage.code.tex 2010/03/25 (rcs-revision 1.16) - -(/usr/share/texmf/tex/generic/pgf/basiclayer/pgfcoreexternal.code.tex -File: pgfcoreexternal.code.tex 2010/09/01 (rcs-revision 1.17) -\pgfexternal@startupbox=\box39 -)) -(/usr/share/texmf/tex/generic/pgf/basiclayer/pgfcorelayers.code.tex -File: pgfcorelayers.code.tex 2010/08/27 (rcs-revision 1.2) -) -(/usr/share/texmf/tex/generic/pgf/basiclayer/pgfcoretransparency.code.tex -File: pgfcoretransparency.code.tex 2008/01/17 (rcs-revision 1.2) -) -(/usr/share/texmf/tex/generic/pgf/basiclayer/pgfcorepatterns.code.tex -File: pgfcorepatterns.code.tex 2009/07/02 (rcs-revision 1.3) -))) -(/usr/share/texmf/tex/latex/pgf/utilities/xxcolor.sty -Package: xxcolor 2003/10/24 ver 0.1 -\XC@nummixins=\count116 -\XC@countmixins=\count117 -) -(/usr/share/texlive/texmf-dist/tex/latex/hyperref/hyperref.sty -Package: hyperref 2012/02/06 v6.82o Hypertext links for LaTeX - -(/usr/share/texlive/texmf-dist/tex/generic/oberdiek/hobsub-hyperref.sty -Package: hobsub-hyperref 2011/04/23 v1.4 Bundle oberdiek, subset hyperref (HO) - -(/usr/share/texlive/texmf-dist/tex/generic/oberdiek/hobsub-generic.sty -Package: hobsub-generic 2011/04/23 v1.4 Bundle oberdiek, subset generic (HO) -Package: hobsub 2011/04/23 v1.4 Subsetting bundle oberdiek (HO) -Package hobsub Info: Skipping package `infwarerr' (already loaded). -Package hobsub Info: Skipping package `ltxcmds' (already loaded). -Package: ifluatex 2010/03/01 v1.3 Provides the ifluatex switch (HO) -Package ifluatex Info: LuaTeX not detected. -Package hobsub Info: Skipping package `ifvtex' (already loaded). -Package: intcalc 2007/09/27 v1.1 Expandable integer calculations (HO) -Package hobsub Info: Skipping package `ifpdf' (already loaded). -Package: etexcmds 2011/02/16 v1.5 Prefix for e-TeX command names (HO) -Package etexcmds Info: Could not find \expanded. -(etexcmds) That can mean that you are not using pdfTeX 1.50 or -(etexcmds) that some package has redefined \expanded. -(etexcmds) In the latter case, load this package earlier. -Package: kvsetkeys 2011/04/07 v1.13 Key value parser (HO) -Package: kvdefinekeys 2011/04/07 v1.3 Defining keys (HO) -Package: pdftexcmds 2011/04/22 v0.16 Utilities of pdfTeX for LuaTeX (HO) -Package pdftexcmds Info: LuaTeX not detected. -Package pdftexcmds Info: \pdf@primitive is available. -Package pdftexcmds Info: \pdf@ifprimitive is available. -Package pdftexcmds Info: \pdfdraftmode found. -Package: pdfescape 2011/04/04 v1.12 Provides string conversions (HO) -Package: bigintcalc 2011/01/30 v1.2 Expandable big integer calculations (HO) -Package: bitset 2011/01/30 v1.1 Data type bit set (HO) -Package: uniquecounter 2011/01/30 v1.2 Provides unlimited unique counter (HO) -) -Package hobsub Info: Skipping package `hobsub' (already loaded). -Package: letltxmacro 2010/09/02 v1.4 Let assignment for LaTeX macros (HO) -Package: hopatch 2011/01/30 v1.0 Wrapper for package hooks (HO) -Package: xcolor-patch 2011/01/30 xcolor patch -Package: atveryend 2011/04/23 v1.7 Hooks at very end of document (HO) -Package: atbegshi 2011/01/30 v1.15 At begin shipout hook (HO) -Package: refcount 2010/12/01 v3.2 Data extraction from references (HO) -Package: hycolor 2011/01/30 v1.7 Color options of hyperref/bookmark (HO) -) -(/usr/share/texlive/texmf-dist/tex/latex/oberdiek/kvoptions.sty -Package: kvoptions 2010/12/23 v3.10 Keyval support for LaTeX options (HO) -) -\@linkdim=\dimen161 -\Hy@linkcounter=\count118 -\Hy@pagecounter=\count119 - -(/usr/share/texlive/texmf-dist/tex/latex/hyperref/pd1enc.def -File: pd1enc.def 2012/02/06 v6.82o Hyperref: PDFDocEncoding definition (HO) -) -\Hy@SavedSpaceFactor=\count120 - -(/usr/share/texlive/texmf-dist/tex/latex/latexconfig/hyperref.cfg -File: hyperref.cfg 2002/06/06 v1.2 hyperref configuration of TeXLive -) -Package hyperref Info: Option `bookmarks' set `true' on input line 3925. -Package hyperref Info: Option `bookmarksopen' set `true' on input line 3925. -Package hyperref Info: Option `implicit' set `false' on input line 3925. -Package hyperref Info: Hyper figures OFF on input line 4046. -Package hyperref Info: Link nesting OFF on input line 4051. -Package hyperref Info: Hyper index ON on input line 4054. -Package hyperref Info: Plain pages OFF on input line 4061. -Package hyperref Info: Backreferencing OFF on input line 4066. -Package hyperref Info: Implicit mode OFF; no redefinition of LaTeX internals. -Package hyperref Info: Bookmarks ON on input line 4284. -\c@Hy@tempcnt=\count121 - -(/usr/share/texlive/texmf-dist/tex/latex/url/url.sty -\Urlmuskip=\muskip10 -Package: url 2006/04/12 ver 3.3 Verb mode for urls, etc. -) -LaTeX Info: Redefining \url on input line 4637. -\Fld@menulength=\count122 -\Field@Width=\dimen162 -\Fld@charsize=\dimen163 -Package hyperref Info: Hyper figures OFF on input line 5757. -Package hyperref Info: Link nesting OFF on input line 5762. -Package hyperref Info: Hyper index ON on input line 5765. -Package hyperref Info: backreferencing OFF on input line 5772. -Package hyperref Info: Link coloring OFF on input line 5777. -Package hyperref Info: Link coloring with OCG OFF on input line 5782. -Package hyperref Info: PDF/A mode OFF on input line 5787. -LaTeX Info: Redefining \ref on input line 5827. -LaTeX Info: Redefining \pageref on input line 5831. -\Hy@abspage=\count123 - - -Package hyperref Message: Stopped early. - -) - -Package hyperref Message: Driver (autodetected): hpdftex. - -(/usr/share/texlive/texmf-dist/tex/latex/hyperref/hpdftex.def -File: hpdftex.def 2012/02/06 v6.82o Hyperref driver for pdfTeX -\Fld@listcount=\count124 -\c@bookmark@seq@number=\count125 - -(/usr/share/texlive/texmf-dist/tex/latex/oberdiek/rerunfilecheck.sty -Package: rerunfilecheck 2011/04/15 v1.7 Rerun checks for auxiliary files (HO) -Package uniquecounter Info: New unique counter `rerunfilecheck' on input line 2 -82. -)) -(/usr/share/texmf/tex/latex/beamer/base/beamerbaserequires.sty -Package: beamerbaserequires 2010/05/01 (rcs-revision efa082c6111d) - -(/usr/share/texmf/tex/latex/beamer/base/beamerbasecompatibility.sty -Package: beamerbasecompatibility 2010/07/12 (rcs-revision 6648c3177e4e) -) -(/usr/share/texmf/tex/latex/beamer/base/beamerbasefont.sty -Package: beamerbasefont 2010/05/10 (rcs-revision cd36e8a33c6b) - -(/usr/share/texlive/texmf-dist/tex/latex/amsfonts/amssymb.sty -Package: amssymb 2009/06/22 v3.00 - -(/usr/share/texlive/texmf-dist/tex/latex/amsfonts/amsfonts.sty -Package: amsfonts 2009/06/22 v3.00 Basic AMSFonts support -\@emptytoks=\toks23 -\symAMSa=\mathgroup4 -\symAMSb=\mathgroup5 -LaTeX Font Info: Overwriting math alphabet `\mathfrak' in version `bold' -(Font) U/euf/m/n --> U/euf/b/n on input line 96. -))) -(/usr/share/texmf/tex/latex/beamer/base/beamerbasetranslator.sty -Package: beamerbasetranslator 2010/06/11 (rcs-revision 85fd1cc7fc42) - -(/usr/share/texmf/tex/latex/beamer/base/translator/translator.sty -Package: translator 2010/06/12 ver 1.10 - -(/usr/share/texmf/tex/latex/beamer/base/translator/translator-language-mappings -.tex))) (/usr/share/texmf/tex/latex/beamer/base/beamerbasemisc.sty -Package: beamerbasemisc 2010/06/06 (rcs-revision bff0a9294b45) -) -(/usr/share/texmf/tex/latex/beamer/base/beamerbasetwoscreens.sty -Package: beamerbasetwoscreens 2010/05/01 (rcs-revision efa082c6111d) -) -(/usr/share/texmf/tex/latex/beamer/base/beamerbaseoverlay.sty -Package: beamerbaseoverlay 2010/05/07 (rcs-revision 5584dad462a9) -\beamer@argscount=\count126 -\beamer@lastskipcover=\skip44 -\beamer@trivlistdepth=\count127 -) -(/usr/share/texmf/tex/latex/beamer/base/beamerbasetitle.sty -Package: beamerbasetitle 2010/06/12 (rcs-revision 717e481ca47a) -) -(/usr/share/texmf/tex/latex/beamer/base/beamerbasesection.sty -Package: beamerbasesection 2010/06/17 (rcs-revision e0d9401bb743) -\c@lecture=\count128 -\c@part=\count129 -\c@section=\count130 -\c@subsection=\count131 -\c@subsubsection=\count132 -) -(/usr/share/texmf/tex/latex/beamer/base/beamerbaseframe.sty -Package: beamerbaseframe 2010/06/06 (rcs-revision bff0a9294b45) -\beamer@framebox=\box40 -\beamer@frametitlebox=\box41 -\beamer@zoombox=\box42 -\beamer@zoomcount=\count133 -\beamer@zoomframecount=\count134 -\beamer@frametextheight=\dimen164 -\c@subsectionslide=\count135 -\beamer@frametopskip=\skip45 -\beamer@framebottomskip=\skip46 -\beamer@frametopskipautobreak=\skip47 -\beamer@framebottomskipautobreak=\skip48 -\beamer@envbody=\toks24 -\c@framenumber=\count136 -) -(/usr/share/texmf/tex/latex/beamer/base/beamerbaseverbatim.sty -Package: beamerbaseverbatim 2010/05/01 (rcs-revision efa082c6111d) -\beamer@verbatimfileout=\write4 -) -(/usr/share/texmf/tex/latex/beamer/base/beamerbaseframesize.sty -Package: beamerbaseframesize 2010/06/27 (rcs-revision 6baa2d92e6f1) -\beamer@splitbox=\box43 -\beamer@autobreakcount=\count137 -\beamer@autobreaklastheight=\dimen165 -\beamer@frametitletoks=\toks25 -\beamer@framesubtitletoks=\toks26 -) -(/usr/share/texmf/tex/latex/beamer/base/beamerbaseframecomponents.sty -Package: beamerbaseframecomponents 2010/07/12 (rcs-revision 09e82992d9b1) -\beamer@footins=\box44 -) -(/usr/share/texmf/tex/latex/beamer/base/beamerbasecolor.sty -Package: beamerbasecolor 2010/06/06 (rcs-revision d1a9b48be06d) -) -(/usr/share/texmf/tex/latex/beamer/base/beamerbasenotes.sty -Package: beamerbasenotes 2010/05/01 (rcs-revision efa082c6111d) -\beamer@frameboxcopy=\box45 -) -(/usr/share/texmf/tex/latex/beamer/base/beamerbasetoc.sty -Package: beamerbasetoc 2010/06/11 (rcs-revision 242ecaa6783b) -) -(/usr/share/texmf/tex/latex/beamer/base/beamerbasetemplates.sty -Package: beamerbasetemplates 2010/05/01 (rcs-revision efa082c6111d) -\beamer@sbttoks=\toks27 - -(/usr/share/texmf/tex/latex/beamer/base/beamerbaseauxtemplates.sty -Package: beamerbaseauxtemplates 2010/05/01 (rcs-revision efa082c6111d) - -(/usr/share/texmf/tex/latex/beamer/base/beamerbaseboxes.sty -Package: beamerbaseboxes 2010/05/01 (rcs-revision efa082c6111d) -\bmb@box=\box46 -\bmb@colorbox=\box47 -\bmb@boxshadow=\box48 -\bmb@boxshadowball=\box49 -\bmb@boxshadowballlarge=\box50 -\bmb@temp=\dimen166 -\bmb@dima=\dimen167 -\bmb@dimb=\dimen168 -\bmb@prevheight=\dimen169 -) -\beamer@blockheadheight=\dimen170 -)) -(/usr/share/texmf/tex/latex/beamer/base/beamerbaselocalstructure.sty -Package: beamerbaselocalstructure 2010/06/01 (rcs-revision 81f9e33f7cc2) - -(/usr/share/texlive/texmf-dist/tex/latex/tools/enumerate.sty -Package: enumerate 1999/03/05 v3.00 enumerate extensions (DPC) -\@enLab=\toks28 -) -\c@figure=\count138 -\c@table=\count139 -\abovecaptionskip=\skip49 -\belowcaptionskip=\skip50 -) -(/usr/share/texmf/tex/latex/beamer/base/beamerbasenavigation.sty -Package: beamerbasenavigation 2010/05/01 (rcs-revision efa082c6111d) -) -(/usr/share/texmf/tex/latex/beamer/base/beamerbasetheorems.sty -Package: beamerbasetheorems 2010/06/06 (rcs-revision 7e7cc5e53e9d) - -(/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsmath.sty -Package: amsmath 2000/07/18 v2.13 AMS math features -\@mathmargin=\skip51 - -For additional information on amsmath, use the `?' option. -(/usr/share/texlive/texmf-dist/tex/latex/amsmath/amstext.sty -Package: amstext 2000/06/29 v2.01 - -(/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsgen.sty -File: amsgen.sty 1999/11/30 v2.0 -\@emptytoks=\toks29 -\ex@=\dimen171 -)) -(/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsbsy.sty -Package: amsbsy 1999/11/29 v1.2d -\pmbraise@=\dimen172 -) -(/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsopn.sty -Package: amsopn 1999/12/14 v2.01 operator names -) -\inf@bad=\count140 -LaTeX Info: Redefining \frac on input line 211. -\uproot@=\count141 -\leftroot@=\count142 -LaTeX Info: Redefining \overline on input line 307. -\classnum@=\count143 -\DOTSCASE@=\count144 -LaTeX Info: Redefining \ldots on input line 379. -LaTeX Info: Redefining \dots on input line 382. -LaTeX Info: Redefining \cdots on input line 467. -\Mathstrutbox@=\box51 -\strutbox@=\box52 -\big@size=\dimen173 -LaTeX Font Info: Redeclaring font encoding OML on input line 567. -LaTeX Font Info: Redeclaring font encoding OMS on input line 568. -\macc@depth=\count145 -\c@MaxMatrixCols=\count146 -\dotsspace@=\muskip11 -\c@parentequation=\count147 -\dspbrk@lvl=\count148 -\tag@help=\toks30 -\row@=\count149 -\column@=\count150 -\maxfields@=\count151 -\andhelp@=\toks31 -\eqnshift@=\dimen174 -\alignsep@=\dimen175 -\tagshift@=\dimen176 -\tagwidth@=\dimen177 -\totwidth@=\dimen178 -\lineht@=\dimen179 -\@envbody=\toks32 -\multlinegap=\skip52 -\multlinetaggap=\skip53 -\mathdisplay@stack=\toks33 -LaTeX Info: Redefining \[ on input line 2666. -LaTeX Info: Redefining \] on input line 2667. -) -(/usr/share/texlive/texmf-dist/tex/latex/amscls/amsthm.sty -Package: amsthm 2009/07/02 v2.20.1 -\thm@style=\toks34 -\thm@bodyfont=\toks35 -\thm@headfont=\toks36 -\thm@notefont=\toks37 -\thm@headpunct=\toks38 -\thm@preskip=\skip54 -\thm@postskip=\skip55 -\thm@headsep=\skip56 -\dth@everypar=\toks39 -) -\c@theorem=\count152 -) -(/usr/share/texmf/tex/latex/beamer/base/beamerbasethemes.sty -Package: beamerbasethemes 2010/05/01 (rcs-revision efa082c6111d) -)) -(/usr/share/texmf/tex/latex/beamer/base/themes/theme/beamerthemedefault.sty -Package: beamerthemedefault 2010/06/17 (rcs-revision d02a7cf4d8ae) - -(/usr/share/texmf/tex/latex/beamer/base/themes/font/beamerfontthemedefault.sty -Package: beamerfontthemedefault 2010/06/17 (rcs-revision d02a7cf4d8ae) -) -(/usr/share/texmf/tex/latex/beamer/base/themes/color/beamercolorthemedefault.st -y -Package: beamercolorthemedefault 2010/06/17 (rcs-revision d02a7cf4d8ae) -) -(/usr/share/texmf/tex/latex/beamer/base/themes/inner/beamerinnerthemedefault.st -y -Package: beamerinnerthemedefault 2010/06/17 (rcs-revision d02a7cf4d8ae) -\beamer@dima=\dimen180 -\beamer@dimb=\dimen181 -) -(/usr/share/texmf/tex/latex/beamer/base/themes/outer/beamerouterthemedefault.st -y -Package: beamerouterthemedefault 2010/06/17 (rcs-revision d02a7cf4d8ae) -))) -! Undefined control sequence. -l.3 \newcommandx - {\bf x} -? - -! LaTeX Error: Missing \begin{document}. - -See the LaTeX manual or LaTeX Companion for explanation. -Type H for immediate help. - ... - -l.3 \newcommandx{\bf x - } -? -! Undefined control sequence. -l.4 \newcommandy - {\bf y} -? -(/usr/share/texlive/texmf-dist/tex/latex/base/makeidx.sty -Package: makeidx 2000/03/29 v1.0m Standard LaTeX package -) -(/usr/share/texlive/texmf-dist/tex/latex/listings/listings.sty -\lst@mode=\count153 -\lst@gtempboxa=\box53 -\lst@token=\toks40 -\lst@length=\count154 -\lst@currlwidth=\dimen182 -\lst@column=\count155 -\lst@pos=\count156 -\lst@lostspace=\dimen183 -\lst@width=\dimen184 -\lst@newlines=\count157 -\lst@lineno=\count158 -\lst@maxwidth=\dimen185 - -(/usr/share/texlive/texmf-dist/tex/latex/listings/lstmisc.sty -File: lstmisc.sty 2007/02/22 1.4 (Carsten Heinz) -\c@lstnumber=\count159 -\lst@skipnumbers=\count160 -\lst@framebox=\box54 -) -(/usr/share/texlive/texmf-dist/tex/latex/listings/listings.cfg -File: listings.cfg 2007/02/22 1.4 listings configuration -)) -Package: listings 2007/02/22 1.4 (Carsten Heinz) - -(/usr/share/texlive/texmf-dist/tex/latex/colortbl/colortbl.sty -Package: colortbl 2012/02/13 v1.0a Color table columns (DPC) - -(/usr/share/texlive/texmf-dist/tex/latex/tools/array.sty -Package: array 2008/09/09 v2.4c Tabular extension package (FMi) -\col@sep=\dimen186 -\extrarowheight=\dimen187 -\NC@list=\toks41 -\extratabsurround=\skip57 -\backup@length=\skip58 -) -\everycr=\toks42 -\minrowclearance=\skip59 -) -(/usr/share/texlive/texmf-dist/tex/latex/psnfss/helvet.sty -Package: helvet 2005/04/12 PSNFSS-v9.2a (WaS) -) -(/usr/share/texlive/texmf-dist/tex/latex/base/ifthen.sty -Package: ifthen 2001/05/26 v1.1c Standard LaTeX ifthen package (DPC) -) -(/usr/share/texmf/tex/latex/pgf/frontendlayer/tikz.sty -(/usr/share/texmf/tex/latex/pgf/basiclayer/pgf.sty -Package: pgf 2008/01/15 v2.10 (rcs-revision 1.12) - -(/usr/share/texmf/tex/generic/pgf/modules/pgfmoduleshapes.code.tex -File: pgfmoduleshapes.code.tex 2010/09/09 (rcs-revision 1.13) -\pgfnodeparttextbox=\box55 -) -(/usr/share/texmf/tex/generic/pgf/modules/pgfmoduleplot.code.tex -File: pgfmoduleplot.code.tex 2010/10/22 (rcs-revision 1.8) -) -(/usr/share/texmf/tex/latex/pgf/compatibility/pgfcomp-version-0-65.sty -Package: pgfcomp-version-0-65 2007/07/03 v2.10 (rcs-revision 1.7) -\pgf@nodesepstart=\dimen188 -\pgf@nodesepend=\dimen189 -) -(/usr/share/texmf/tex/latex/pgf/compatibility/pgfcomp-version-1-18.sty -Package: pgfcomp-version-1-18 2007/07/23 v2.10 (rcs-revision 1.1) -)) -(/usr/share/texmf/tex/latex/pgf/utilities/pgffor.sty -(/usr/share/texmf/tex/latex/pgf/utilities/pgfkeys.sty -(/usr/share/texmf/tex/generic/pgf/utilities/pgfkeys.code.tex)) -(/usr/share/texmf/tex/generic/pgf/utilities/pgffor.code.tex -Package: pgffor 2010/03/23 v2.10 (rcs-revision 1.18) -\pgffor@iter=\dimen190 -\pgffor@skip=\dimen191 -\pgffor@stack=\toks43 -\pgffor@toks=\toks44 -)) -(/usr/share/texmf/tex/generic/pgf/frontendlayer/tikz/tikz.code.tex -Package: tikz 2010/10/13 v2.10 (rcs-revision 1.76) - -(/usr/share/texmf/tex/generic/pgf/libraries/pgflibraryplothandlers.code.tex -File: pgflibraryplothandlers.code.tex 2010/05/31 v2.10 (rcs-revision 1.15) -\pgf@plot@mark@count=\count161 -\pgfplotmarksize=\dimen192 -) -\tikz@lastx=\dimen193 -\tikz@lasty=\dimen194 -\tikz@lastxsaved=\dimen195 -\tikz@lastysaved=\dimen196 -\tikzleveldistance=\dimen197 -\tikzsiblingdistance=\dimen198 -\tikz@figbox=\box56 -\tikz@tempbox=\box57 -\tikztreelevel=\count162 -\tikznumberofchildren=\count163 -\tikznumberofcurrentchild=\count164 -\tikz@fig@count=\count165 - -(/usr/share/texmf/tex/generic/pgf/modules/pgfmodulematrix.code.tex -File: pgfmodulematrix.code.tex 2010/08/24 (rcs-revision 1.4) -\pgfmatrixcurrentrow=\count166 -\pgfmatrixcurrentcolumn=\count167 -\pgf@matrix@numberofcolumns=\count168 -) -\tikz@expandcount=\count169 - -(/usr/share/texmf/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibrarytopat -hs.code.tex -File: tikzlibrarytopaths.code.tex 2008/06/17 v2.10 (rcs-revision 1.2) -))) (/usr/share/texmf/tex/latex/pgf/utilities/pgfpages.sty -Package: pgfpages 2004/11/05 ver 0.01 - -(/usr/share/texlive/texmf-dist/tex/latex/tools/calc.sty -Package: calc 2007/08/22 v4.3 Infix arithmetic (KKT,FJ) -\calc@Acount=\count170 -\calc@Bcount=\count171 -\calc@Adimen=\dimen199 -\calc@Bdimen=\dimen200 -\calc@Askip=\skip60 -\calc@Bskip=\skip61 -LaTeX Info: Redefining \setlength on input line 76. -LaTeX Info: Redefining \addtolength on input line 77. -\calc@Ccount=\count172 -\calc@Cskip=\skip62 -) -\pgf@logicalpages=\count173 -\pgf@firstshipout=\count174 -\pgf@lastshipout=\count175 -\pgf@currentshipout=\count176 -\pgf@cpn=\count177 -\pgf@shipoutnextto=\count178 -\pgfphysicalheight=\dimen201 -\pgfphysicalwidth=\dimen202 -\pgfpages@shipoutbox=\box58 -) (./slides.aux) -\openout1 = `slides.aux'. - -LaTeX Font Info: Checking defaults for OML/cmm/m/it on input line 8. -LaTeX Font Info: ... okay on input line 8. -LaTeX Font Info: Checking defaults for T1/cmr/m/n on input line 8. -LaTeX Font Info: ... okay on input line 8. -LaTeX Font Info: Checking defaults for OT1/cmr/m/n on input line 8. -LaTeX Font Info: ... okay on input line 8. -LaTeX Font Info: Checking defaults for OMS/cmsy/m/n on input line 8. -LaTeX Font Info: ... okay on input line 8. -LaTeX Font Info: Checking defaults for OMX/cmex/m/n on input line 8. -LaTeX Font Info: ... okay on input line 8. -LaTeX Font Info: Checking defaults for U/cmr/m/n on input line 8. -LaTeX Font Info: ... okay on input line 8. -LaTeX Font Info: Checking defaults for PD1/pdf/m/n on input line 8. -LaTeX Font Info: ... okay on input line 8. -LaTeX Font Info: Try loading font information for OT1+phv on input line 8. - -(/usr/share/texlive/texmf-dist/tex/latex/psnfss/ot1phv.fd -File: ot1phv.fd 2001/06/04 scalable font definitions for OT1/phv. -) -! Font OT1/phv/m/n/10.95=phvr7t at 10.95pt not loadable: Metric (TFM) file not -found. - - relax -l.8 \begin{document} - -? -*geometry* driver: auto-detecting -*geometry* detected driver: pdftex -*geometry* verbose mode - [ preamble ] result: -* driver: pdftex -* paper: custom -* layout: -* layoutoffset:(h,v)=(0.0pt,0.0pt) -* modes: includehead includefoot -* h-part:(L,W,R)=(28.45274pt, 307.28987pt, 28.45274pt) -* v-part:(T,H,B)=(0.0pt, 273.14662pt, 0.0pt) -* \paperwidth=364.19536pt -* \paperheight=273.14662pt -* \textwidth=307.28987pt -* \textheight=244.6939pt -* \oddsidemargin=-43.81725pt -* \evensidemargin=-43.81725pt -* \topmargin=-72.26999pt -* \headheight=14.22636pt -* \headsep=0.0pt -* \topskip=11.0pt -* \footskip=14.22636pt -* \marginparwidth=4.0pt -* \marginparsep=10.0pt -* \columnsep=10.0pt -* \skip\footins=10.0pt plus 4.0pt minus 2.0pt -* \hoffset=0.0pt -* \voffset=0.0pt -* \mag=1000 -* \@twocolumnfalse -* \@twosidefalse -* \@mparswitchfalse -* \@reversemarginfalse -* (1in=72.27pt=25.4mm, 1cm=28.453pt) - -(/usr/share/texlive/texmf-dist/tex/context/base/supp-pdf.mkii -[Loading MPS to PDF converter (version 2006.09.02).] -\scratchcounter=\count179 -\scratchdimen=\dimen203 -\scratchbox=\box59 -\nofMPsegments=\count180 -\nofMParguments=\count181 -\everyMPshowfont=\toks45 -\MPscratchCnt=\count182 -\MPscratchDim=\dimen204 -\MPnumerator=\count183 -\makeMPintoPDFobject=\count184 -\everyMPtoPDFconversion=\toks46 -) (/usr/share/texlive/texmf-dist/tex/latex/oberdiek/epstopdf-base.sty -Package: epstopdf-base 2010/02/09 v2.5 Base part for package epstopdf - -(/usr/share/texlive/texmf-dist/tex/latex/oberdiek/grfext.sty -Package: grfext 2010/08/19 v1.1 Managing graphics extensions (HO) -) -Package grfext Info: Graphics extension search list: -(grfext) [.png,.pdf,.jpg,.mps,.jpeg,.jbig2,.jb2,.PNG,.PDF,.JPG,.JPE -G,.JBIG2,.JB2,.eps] -(grfext) \AppendGraphicsExtensions on input line 452. - -(/usr/share/texlive/texmf-dist/tex/latex/latexconfig/epstopdf-sys.cfg -File: epstopdf-sys.cfg 2010/07/13 v1.3 Configuration of (r)epstopdf for TeX Liv -e -)) -ABD: EveryShipout initializing macros -\AtBeginShipoutBox=\box60 -Package hyperref Info: Link coloring OFF on input line 8. - -(/usr/share/texlive/texmf-dist/tex/latex/hyperref/nameref.sty -Package: nameref 2010/04/30 v2.40 Cross-referencing by name of section - -(/usr/share/texlive/texmf-dist/tex/generic/oberdiek/gettitlestring.sty -Package: gettitlestring 2010/12/03 v1.4 Cleanup title references (HO) -) -\c@section@level=\count185 -) -LaTeX Info: Redefining \ref on input line 8. -LaTeX Info: Redefining \pageref on input line 8. -LaTeX Info: Redefining \nameref on input line 8. - -(./slides.out) (./slides.out) -\@outlinefile=\write5 -\openout5 = `slides.out'. - -LaTeX Font Info: Overwriting symbol font `operators' in version `normal' -(Font) OT1/cmr/m/n --> OT1/cmss/m/n on input line 8. -LaTeX Font Info: Overwriting symbol font `operators' in version `bold' -(Font) OT1/cmr/bx/n --> OT1/cmss/bx/n on input line 8. -\symnumbers=\mathgroup6 -\sympureletters=\mathgroup7 -LaTeX Font Info: Overwriting math alphabet `\mathrm' in version `normal' -(Font) OT1/cmss/m/n --> OT1/cmr/m/n on input line 8. -LaTeX Font Info: Redeclaring math alphabet \mathbf on input line 8. -LaTeX Font Info: Overwriting math alphabet `\mathbf' in version `normal' -(Font) OT1/cmr/bx/n --> OT1/phv/bx/n on input line 8. -LaTeX Font Info: Overwriting math alphabet `\mathbf' in version `bold' -(Font) OT1/cmr/bx/n --> OT1/phv/bx/n on input line 8. -LaTeX Font Info: Redeclaring math alphabet \mathsf on input line 8. -LaTeX Font Info: Overwriting math alphabet `\mathsf' in version `normal' -(Font) OT1/cmss/m/n --> OT1/phv/m/n on input line 8. -LaTeX Font Info: Overwriting math alphabet `\mathsf' in version `bold' -(Font) OT1/cmss/bx/n --> OT1/phv/m/n on input line 8. -LaTeX Font Info: Redeclaring math alphabet \mathit on input line 8. -LaTeX Font Info: Overwriting math alphabet `\mathit' in version `normal' -(Font) OT1/cmr/m/it --> OT1/phv/m/it on input line 8. -LaTeX Font Info: Overwriting math alphabet `\mathit' in version `bold' -(Font) OT1/cmr/bx/it --> OT1/phv/m/it on input line 8. -LaTeX Font Info: Redeclaring math alphabet \mathtt on input line 8. -LaTeX Font Info: Overwriting math alphabet `\mathtt' in version `normal' -(Font) OT1/cmtt/m/n --> OT1/cmtt/m/n on input line 8. -LaTeX Font Info: Overwriting math alphabet `\mathtt' in version `bold' -(Font) OT1/cmtt/m/n --> OT1/cmtt/m/n on input line 8. -LaTeX Font Info: Overwriting symbol font `numbers' in version `bold' -(Font) OT1/phv/m/n --> OT1/phv/bx/n on input line 8. -LaTeX Font Info: Overwriting symbol font `pureletters' in version `bold' -(Font) OT1/phv/m/it --> OT1/phv/bx/it on input line 8. -LaTeX Font Info: Overwriting math alphabet `\mathrm' in version `bold' -(Font) OT1/cmss/bx/n --> OT1/cmr/bx/n on input line 8. -LaTeX Font Info: Overwriting math alphabet `\mathbf' in version `bold' -(Font) OT1/phv/bx/n --> OT1/phv/bx/n on input line 8. -LaTeX Font Info: Overwriting math alphabet `\mathsf' in version `bold' -(Font) OT1/phv/m/n --> OT1/phv/bx/n on input line 8. -LaTeX Font Info: Overwriting math alphabet `\mathit' in version `bold' -(Font) OT1/phv/m/it --> OT1/phv/bx/it on input line 8. -LaTeX Font Info: Overwriting math alphabet `\mathtt' in version `bold' -(Font) OT1/cmtt/m/n --> OT1/cmtt/bx/n on input line 8. - -(/usr/share/texmf/tex/latex/beamer/base/translator/dicts/translator-basic-dicti -onary/translator-basic-dictionary-English.dict -Dictionary: translator-basic-dictionary, Language: English -) -(/usr/share/texmf/tex/latex/beamer/base/translator/dicts/translator-bibliograph -y-dictionary/translator-bibliography-dictionary-English.dict -Dictionary: translator-bibliography-dictionary, Language: English -) -(/usr/share/texmf/tex/latex/beamer/base/translator/dicts/translator-environment --dictionary/translator-environment-dictionary-English.dict -Dictionary: translator-environment-dictionary, Language: English -) -(/usr/share/texmf/tex/latex/beamer/base/translator/dicts/translator-months-dict -ionary/translator-months-dictionary-English.dict -Dictionary: translator-months-dictionary, Language: English -) -(/usr/share/texmf/tex/latex/beamer/base/translator/dicts/translator-numbers-dic -tionary/translator-numbers-dictionary-English.dict -Dictionary: translator-numbers-dictionary, Language: English -) -(/usr/share/texmf/tex/latex/beamer/base/translator/dicts/translator-theorem-dic -tionary/translator-theorem-dictionary-English.dict -Dictionary: translator-theorem-dictionary, Language: English -) -\c@lstlisting=\count186 - (./slides.nav) -! Font OT1/phv/m/n/6=phvr7t at 6.0pt not loadable: Metric (TFM) file not found. - - relax -l.8 \begin{document} - -? -LaTeX Font Info: Font shape `OT1/phv/bx/n' in size <10.95> not available -(Font) Font shape `OT1/phv/b/n' tried instead on input line 37. -! Font OT1/phv/bx/n/10.95=phvb7t at 10.95pt not loadable: Metric (TFM) file not - found. - - relax -l.37 \end{frame} - -? -! Font \OT1/phv/b/n/10.95=nullfont not loadable: Metric (TFM) file not found. - - \relax -l.37 \end{frame} - -? -Missing character: There is no G in font nullfont! -Missing character: There is no o in font nullfont! -Missing character: There is no a in font nullfont! -Missing character: There is no l in font nullfont! -Missing character: There is no : in font nullfont! -LaTeX Font Info: Font shape `OT1/phv/bx/it' in size <10.95> not available -(Font) Font shape `OT1/phv/b/it' tried instead on input line 37. -LaTeX Font Info: Font shape `OT1/phv/b/it' in size <10.95> not available -(Font) Font shape `OT1/phv/b/sl' tried instead on input line 37. -! Font OT1/phv/bx/it/10.95=phvbo7t at 10.95pt not loadable: Metric (TFM) file n -ot found. - - relax -l.37 \end{frame} - -? -! Font \OT1/phv/b/sl/10.95=nullfont not loadable: Metric (TFM) file not found. - - \relax -l.37 \end{frame} - -? -! Font \OT1/phv/b/sl/10.95=nullfont not loadable: Metric (TFM) file not found. - - \relax -l.37 \end{frame} - -? -Missing character: There is no T in font nullfont! -Missing character: There is no i in font nullfont! -Missing character: There is no g in font nullfont! -Missing character: There is no h in font nullfont! -Missing character: There is no t in font nullfont! -Missing character: There is no b in font nullfont! -Missing character: There is no o in font nullfont! -Missing character: There is no u in font nullfont! -Missing character: There is no n in font nullfont! -Missing character: There is no d in font nullfont! -Missing character: There is no s in font nullfont! -Missing character: There is no o in font nullfont! -Missing character: There is no n in font nullfont! -Missing character: There is no t in font nullfont! -Missing character: There is no h in font nullfont! -Missing character: There is no e in font nullfont! -Missing character: There is no p in font nullfont! -Missing character: There is no o in font nullfont! -Missing character: There is no s in font nullfont! -Missing character: There is no s in font nullfont! -Missing character: There is no i in font nullfont! -Missing character: There is no b in font nullfont! -Missing character: There is no l in font nullfont! -Missing character: There is no e in font nullfont! -Missing character: There is no v in font nullfont! -Missing character: There is no a in font nullfont! -Missing character: There is no l in font nullfont! -Missing character: There is no u in font nullfont! -Missing character: There is no e in font nullfont! -Missing character: There is no s in font nullfont! -Missing character: There is no o in font nullfont! -Missing character: There is no f in font nullfont! -Missing character: There is no i in font nullfont! -Missing character: There is no n in font nullfont! -Missing character: There is no t in font nullfont! -Missing character: There is no e in font nullfont! -Missing character: There is no g in font nullfont! -Missing character: There is no e in font nullfont! -Missing character: There is no r in font nullfont! -Missing character: There is no v in font nullfont! -Missing character: There is no a in font nullfont! -Missing character: There is no r in font nullfont! -Missing character: There is no i in font nullfont! -Missing character: There is no a in font nullfont! -Missing character: There is no b in font nullfont! -Missing character: There is no l in font nullfont! -Missing character: There is no e in font nullfont! -Missing character: There is no s in font nullfont! -Missing character: There is no ( in font nullfont! -Missing character: There is no l in font nullfont! -Missing character: There is no i in font nullfont! -Missing character: There is no k in font nullfont! -Missing character: There is no e in font nullfont! -LaTeX Font Info: Try loading font information for U+msa on input line 37. -(/usr/share/texlive/texmf-dist/tex/latex/amsfonts/umsa.fd -File: umsa.fd 2009/06/22 v3.00 AMS symbols A -) -LaTeX Font Info: Try loading font information for U+msb on input line 37. - -(/usr/share/texlive/texmf-dist/tex/latex/amsfonts/umsb.fd -File: umsb.fd 2009/06/22 v3.00 AMS symbols B -) -! Font OT1/phv/m/n/8=phvr7t at 8.0pt not loadable: Metric (TFM) file not found. - - relax -l.37 \end{frame} - -? -LaTeX Font Info: Font shape `OT1/phv/m/it' in size <10.95> not available -(Font) Font shape `OT1/phv/m/sl' tried instead on input line 37. -! Font OT1/phv/m/it/10.95=phvro7t at 10.95pt not loadable: Metric (TFM) file no -t found. - - relax -l.37 \end{frame} - -? -! Font OT1/phv/m/sl/10.95=nullfont not loadable: Metric (TFM) file not found. - - relax -l.37 \end{frame} - -? -LaTeX Font Info: Font shape `OT1/phv/m/it' in size <8> not available -(Font) Font shape `OT1/phv/m/sl' tried instead on input line 37. -! Font OT1/phv/m/it/8=phvro7t at 8.0pt not loadable: Metric (TFM) file not foun -d. - - relax -l.37 \end{frame} - -? -! Font OT1/phv/m/sl/8=nullfont not loadable: Metric (TFM) file not found. - - relax -l.37 \end{frame} - -? -LaTeX Font Info: Font shape `OT1/phv/m/it' in size <6> not available -(Font) Font shape `OT1/phv/m/sl' tried instead on input line 37. -! Font OT1/phv/m/it/6=phvro7t at 6.0pt not loadable: Metric (TFM) file not foun -d. - - relax -l.37 \end{frame} - -? -! Font OT1/phv/m/sl/6=nullfont not loadable: Metric (TFM) file not found. - - relax -l.37 \end{frame} - -? -! \textfont 7 is undefined (character x). -\beamer@doifinframe ..._1 \leq 42, \; x_2 \leq 13$ - ) \par \bigskip \qquad $\l... -l.37 \end{frame} - -? -! \scriptfont 6 is undefined (character 1). -\beamer@doifinframe ..._1 \leq 42, \; x_2 \leq 13$ - ) \par \bigskip \qquad $\l... -l.37 \end{frame} - -? -! \textfont 6 is undefined (character 4). -\beamer@doifinframe ..._1 \leq 42, \; x_2 \leq 13$ - ) \par \bigskip \qquad $\l... -l.37 \end{frame} - -? -! \textfont 6 is undefined (character 2). -\beamer@doifinframe ..._1 \leq 42, \; x_2 \leq 13$ - ) \par \bigskip \qquad $\l... -l.37 \end{frame} - -? -! \textfont 7 is undefined (character x). -\beamer@doifinframe ..._1 \leq 42, \; x_2 \leq 13$ - ) \par \bigskip \qquad $\l... -l.37 \end{frame} - -? -! \scriptfont 6 is undefined (character 2). -\beamer@doifinframe ..._1 \leq 42, \; x_2 \leq 13$ - ) \par \bigskip \qquad $\l... -l.37 \end{frame} - -? -! \textfont 6 is undefined (character 1). -\beamer@doifinframe ..._1 \leq 42, \; x_2 \leq 13$ - ) \par \bigskip \qquad $\l... -l.37 \end{frame} - -? -! \textfont 6 is undefined (character 3). -\beamer@doifinframe ..._1 \leq 42, \; x_2 \leq 13$ - ) \par \bigskip \qquad $\l... -l.37 \end{frame} - -? -Missing character: There is no ) in font nullfont! -Missing character: There is no b in font nullfont! -Missing character: There is no u in font nullfont! -Missing character: There is no f in font nullfont! -Missing character: There is no f in font nullfont! -Missing character: There is no e in font nullfont! -Missing character: There is no r in font nullfont! -Missing character: There is no o in font nullfont! -Missing character: There is no v in font nullfont! -Missing character: There is no e in font nullfont! -Missing character: There is no r in font nullfont! -Missing character: There is no f in font nullfont! -Missing character: There is no l in font nullfont! -Missing character: There is no o in font nullfont! -Missing character: There is no w in font nullfont! -Missing character: There is no s in font nullfont! -Missing character: There is no , in font nullfont! -Missing character: There is no w in font nullfont! -Missing character: There is no o in font nullfont! -Missing character: There is no r in font nullfont! -Missing character: There is no s in font nullfont! -Missing character: There is no t in font nullfont! -Missing character: There is no - in font nullfont! -Missing character: There is no c in font nullfont! -Missing character: There is no a in font nullfont! -Missing character: There is no s in font nullfont! -Missing character: There is no e in font nullfont! -Missing character: There is no e in font nullfont! -Missing character: There is no x in font nullfont! -Missing character: There is no e in font nullfont! -Missing character: There is no c in font nullfont! -Missing character: There is no u in font nullfont! -Missing character: There is no t in font nullfont! -Missing character: There is no i in font nullfont! -Missing character: There is no o in font nullfont! -Missing character: There is no n in font nullfont! -Missing character: There is no t in font nullfont! -Missing character: There is no i in font nullfont! -Missing character: There is no m in font nullfont! -Missing character: There is no e in font nullfont! -Missing character: There is no s in font nullfont! -Missing character: There is no , in font nullfont! -Missing character: There is no e in font nullfont! -Missing character: There is no t in font nullfont! -Missing character: There is no c in font nullfont! -Missing character: There is no . in font nullfont! -Missing character: There is no D in font nullfont! -Missing character: There is no e in font nullfont! -Missing character: There is no f in font nullfont! -Missing character: There is no i in font nullfont! -Missing character: There is no n in font nullfont! -Missing character: There is no i in font nullfont! -Missing character: There is no t in font nullfont! -Missing character: There is no i in font nullfont! -Missing character: There is no o in font nullfont! -Missing character: There is no n in font nullfont! -Missing character: There is no : in font nullfont! -Missing character: There is no I in font nullfont! -Missing character: There is no n in font nullfont! -Missing character: There is no v in font nullfont! -Missing character: There is no a in font nullfont! -Missing character: There is no r in font nullfont! -Missing character: There is no i in font nullfont! -Missing character: There is no a in font nullfont! -Missing character: There is no n in font nullfont! -Missing character: There is no t in font nullfont! -Missing character: There is no s in font nullfont! -Missing character: There is no o in font nullfont! -Missing character: There is no f in font nullfont! -Missing character: There is no t in font nullfont! -Missing character: There is no h in font nullfont! -Missing character: There is no e in font nullfont! -Missing character: There is no f in font nullfont! -Missing character: There is no o in font nullfont! -Missing character: There is no r in font nullfont! -Missing character: There is no m in font nullfont! -! \scriptfont 7 is undefined (character x). -