This is pdfeTeX, Version 3.141592-1.21a-2.2 (Web2C 7.5.4) (format=pdflatex 2006.1.7) 19 JAN 2007 13:12 entering extended mode **AlgebraicStructures.tex (./AlgebraicStructures.tex LaTeX2e <2003/12/01> Babel and hyphenation patterns for american, french, german, ngerman, b ahasa, basque, bulgarian, catalan, croatian, czech, danish, dutch, esperanto, e stonian, finnish, greek, icelandic, irish, italian, latin, magyar, norsk, polis h, portuges, romanian, russian, serbian, slovak, slovene, spanish, swedish, tur kish, ukrainian, nohyphenation, loaded. (/usr/share/texmf/tex/latex/amscls/amsbook.cls Document Class: amsbook 2004/08/06 v2.20 \linespacing=\dimen102 \normalparindent=\dimen103 \normaltopskip=\skip41 (/usr/share/texmf/tex/latex/amsmath/amsmath.sty Package: amsmath 2000/07/18 v2.13 AMS math features \@mathmargin=\skip42 For additional information on amsmath, use the `?' option. (/usr/share/texmf/tex/latex/amsmath/amstext.sty Package: amstext 2000/06/29 v2.01 (/usr/share/texmf/tex/latex/amsmath/amsgen.sty File: amsgen.sty 1999/11/30 v2.0 \@emptytoks=\toks14 \ex@=\dimen104 )) (/usr/share/texmf/tex/latex/amsmath/amsbsy.sty Package: amsbsy 1999/11/29 v1.2d \pmbraise@=\dimen105 ) (/usr/share/texmf/tex/latex/amsmath/amsopn.sty Package: amsopn 1999/12/14 v2.01 operator names ) \inf@bad=\count79 LaTeX Info: Redefining \frac on input line 211. \uproot@=\count80 \leftroot@=\count81 LaTeX Info: Redefining \overline on input line 307. \classnum@=\count82 \DOTSCASE@=\count83 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@=\box26 \strutbox@=\box27 \big@size=\dimen106 LaTeX Font Info: Redeclaring font encoding OML on input line 567. LaTeX Font Info: Redeclaring font encoding OMS on input line 568. \macc@depth=\count84 \c@MaxMatrixCols=\count85 \dotsspace@=\muskip10 \c@parentequation=\count86 \dspbrk@lvl=\count87 \tag@help=\toks15 \row@=\count88 \column@=\count89 \maxfields@=\count90 \andhelp@=\toks16 \eqnshift@=\dimen107 \alignsep@=\dimen108 \tagshift@=\dimen109 \tagwidth@=\dimen110 \totwidth@=\dimen111 \lineht@=\dimen112 \@envbody=\toks17 \multlinegap=\skip43 \multlinetaggap=\skip44 \mathdisplay@stack=\toks18 LaTeX Info: Redefining \[ on input line 2666. LaTeX Info: Redefining \] on input line 2667. ) LaTeX Font Info: Try loading font information for U+msa on input line 386. (/usr/share/texmf/tex/latex/amsfonts/umsa.fd File: umsa.fd 2002/01/19 v2.2g AMS font definitions ) (/usr/share/texmf/tex/latex/amsfonts/amsfonts.sty Package: amsfonts 2001/10/25 v2.2f \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 132. ) \copyins=\insert233 \abstractbox=\box28 \listisep=\skip45 \c@part=\count91 \c@chapter=\count92 \c@section=\count93 \c@subsection=\count94 \c@subsubsection=\count95 \c@paragraph=\count96 \c@subparagraph=\count97 \c@figure=\count98 \c@table=\count99 \abovecaptionskip=\skip46 \belowcaptionskip=\skip47 \captionindent=\dimen113 \thm@style=\toks19 \thm@bodyfont=\toks20 \thm@headfont=\toks21 \thm@notefont=\toks22 \thm@headpunct=\toks23 \thm@preskip=\skip48 \thm@postskip=\skip49 \thm@headsep=\skip50 \dth@everypar=\toks24 ) (/usr/share/texmf/tex/latex/base/fontenc.sty Package: fontenc 2004/02/22 v1.99f Standard LaTeX package (/usr/share/texmf/tex/latex/base/t1enc.def File: t1enc.def 2004/02/22 v1.99f Standard LaTeX file LaTeX Font Info: Redeclaring font encoding T1 on input line 43. )) (/usr/share/texmf/tex/latex/base/inputenc.sty Package: inputenc 2004/02/05 v1.0d Input encoding file (/usr/share/texmf/tex/latex/base/latin1.def File: latin1.def 2004/02/05 v1.0d Input encoding file )) (/usr/share/texmf/tex/latex/graphics/graphicx.sty Package: graphicx 1999/02/16 v1.0f Enhanced LaTeX Graphics (DPC,SPQR) (/usr/share/texmf/tex/latex/graphics/keyval.sty Package: keyval 1999/03/16 v1.13 key=value parser (DPC) \KV@toks@=\toks25 ) (/usr/share/texmf/tex/latex/graphics/graphics.sty Package: graphics 2001/07/07 v1.0n Standard LaTeX Graphics (DPC,SPQR) (/usr/share/texmf/tex/latex/graphics/trig.sty Package: trig 1999/03/16 v1.09 sin cos tan (DPC) ) (/usr/share/texmf/tex/latex/graphics/graphics.cfg File: graphics.cfg 2005/02/03 v1.3 graphics configuration of teTeX/TeXLive ) Package graphics Info: Driver file: pdftex.def on input line 80. (/usr/share/texmf/tex/latex/graphics/pdftex.def File: pdftex.def 2002/06/19 v0.03k graphics/color for pdftex \Gread@gobject=\count100 )) \Gin@req@height=\dimen114 \Gin@req@width=\dimen115 ) (/usr/share/texmf/tex/latex/amsfonts/amssymb.sty Package: amssymb 2002/01/22 v2.2d ) (/usr/share/texmf/tex/latex/url/url.sty \Urlmuskip=\muskip11 Package: url 2004/03/15 ver 3.1 Verb mode for urls, etc. ) \c@thm=\count101 \c@xca=\count102 (/usr/share/texmf/tex/latex/hyperref/hyperref.sty Package: hyperref 2003/11/30 v6.74m Hypertext links for LaTeX \@linkdim=\dimen116 \Hy@linkcounter=\count103 \Hy@pagecounter=\count104 (/usr/share/texmf/tex/latex/hyperref/pd1enc.def File: pd1enc.def 2003/11/30 v6.74m Hyperref: PDFDocEncoding definition (HO) ) (/usr/share/texmf/tex/latex/hyperref/hyperref.cfg File: hyperref.cfg 2002/06/06 v1.2 hyperref configuration of TeXLive and teTeX ) Package hyperref Info: Hyper figures OFF on input line 1880. Package hyperref Info: Link nesting OFF on input line 1885. Package hyperref Info: Hyper index ON on input line 1888. Package hyperref Info: Plain pages ON on input line 1893. Package hyperref Info: Backreferencing OFF on input line 1900. Implicit mode ON; LaTeX internals redefined Package hyperref Info: Bookmarks ON on input line 2004. LaTeX Info: Redefining \url on input line 2143. \Fld@menulength=\count105 \Field@Width=\dimen117 \Fld@charsize=\dimen118 \Choice@toks=\toks26 \Field@toks=\toks27 Package hyperref Info: Hyper figures OFF on input line 2618. Package hyperref Info: Link nesting OFF on input line 2623. Package hyperref Info: Hyper index ON on input line 2626. Package hyperref Info: backreferencing OFF on input line 2633. Package hyperref Info: Link coloring OFF on input line 2638. \c@Item=\count106 \c@Hfootnote=\count107 ) *hyperref using default driver hpdftex* (/usr/share/texmf/tex/latex/hyperref/hpdftex.def File: hpdftex.def 2003/11/30 v6.74m Hyperref driver for pdfTeX (/usr/share/texmf/tex/latex/psnfss/pifont.sty Package: pifont 2004/09/15 PSNFSS-v9.2 Pi font support (SPQR) LaTeX Font Info: Try loading font information for U+pzd on input line 63. (/usr/share/texmf/tex/latex/psnfss/upzd.fd File: upzd.fd 2001/06/04 font definitions for U/pzd. ) LaTeX Font Info: Try loading font information for U+psy on input line 64. (/usr/share/texmf/tex/latex/psnfss/upsy.fd File: upsy.fd 2001/06/04 font definitions for U/psy. )) \Fld@listcount=\count108 \@outlinefile=\write3 ) (/usr/share/texmf/tex/generic/babel/babel.sty Package: babel 2004/11/20 v3.8d The Babel package (/usr/share/texmf/tex/generic/babel/english.ldf Language: english 2004/06/14 v3.3o English support from the babel system (/usr/share/texmf/tex/generic/babel/babel.def File: babel.def 2004/11/20 v3.8d Babel common definitions \babel@savecnt=\count109 \U@D=\dimen119 ) \l@british = a dialect from \language\l@english \l@UKenglish = a dialect from \language\l@english \l@canadian = a dialect from \language\l@american \l@australian = a dialect from \language\l@british \l@newzealand = a dialect from \language\l@british ) (/usr/share/texmf/tex/generic/babel/english.ldf Language: english 2004/06/14 v3.3o English support from the babel system ) (/usr/share/texmf/tex/generic/babel/frenchb.ldf Language: french 2004/04/02 v1.6f French support from the babel system Package babel Info: Making : an active character on input line 219. Package babel Info: Making ; an active character on input line 220. Package babel Info: Making ! an active character on input line 221. Package babel Info: Making ? an active character on input line 222. LaTeX Font Info: Redeclaring font encoding T1 on input line 299. \parindentFFN=\dimen120 \std@mcc=\count110 \dec@mcc=\count111 ************************************* * Local config file frenchb.cfg used * (/usr/share/texmf/tex/generic/babel/frenchb.cfg))) (./AlgebraicStructures.aux LaTeX Warning: Label `fig.house-PERT2' multiply defined. ) \openout1 = `AlgebraicStructures.aux'. LaTeX Font Info: Checking defaults for OML/cmm/m/it on input line 73. LaTeX Font Info: ... okay on input line 73. LaTeX Font Info: Checking defaults for T1/lmr/m/n on input line 73. LaTeX Font Info: Try loading font information for T1+lmr on input line 73. (/usr/share/texmf/tex/latex/lm/t1lmr.fd File: t1lmr.fd 2003/07/22 v1.1 Font defs for Latin Modern ) LaTeX Font Info: ... okay on input line 73. LaTeX Font Info: Checking defaults for OT1/cmr/m/n on input line 73. LaTeX Font Info: ... okay on input line 73. LaTeX Font Info: Checking defaults for OMS/cmsy/m/n on input line 73. LaTeX Font Info: ... okay on input line 73. LaTeX Font Info: Checking defaults for OMX/cmex/m/n on input line 73. LaTeX Font Info: ... okay on input line 73. LaTeX Font Info: Checking defaults for U/cmr/m/n on input line 73. LaTeX Font Info: ... okay on input line 73. LaTeX Font Info: Checking defaults for PD1/pdf/m/n on input line 73. LaTeX Font Info: ... okay on input line 73. LaTeX Font Info: Try loading font information for U+msa on input line 73. (/usr/share/texmf/tex/latex/amsfonts/umsa.fd File: umsa.fd 2002/01/19 v2.2g AMS font definitions ) LaTeX Font Info: Try loading font information for U+msb on input line 73. (/usr/share/texmf/tex/latex/amsfonts/umsb.fd File: umsb.fd 2002/01/19 v2.2g AMS font definitions ) (/usr/share/texmf/tex/context/base/supp-pdf.tex (/usr/share/texmf/tex/context/base/supp-mis.tex loading : Context Support Macros / Miscellaneous (2004.10.26) \protectiondepth=\count112 \scratchcounter=\count113 \scratchtoks=\toks28 \scratchdimen=\dimen121 \scratchskip=\skip51 \scratchmuskip=\muskip12 \scratchbox=\box29 \scratchread=\read1 \scratchwrite=\write4 \zeropoint=\dimen122 \onepoint=\dimen123 \onebasepoint=\dimen124 \minusone=\count114 \thousandpoint=\dimen125 \onerealpoint=\dimen126 \emptytoks=\toks29 \nextbox=\box30 \nextdepth=\dimen127 \everyline=\toks30 \!!counta=\count115 \!!countb=\count116 \recursecounter=\count117 ) loading : Context Support Macros / PDF (2004.03.26) \nofMPsegments=\count118 \nofMParguments=\count119 \MPscratchCnt=\count120 \MPscratchDim=\dimen128 \MPnumerator=\count121 \everyMPtoPDFconversion=\toks31 ) Package hyperref Info: Link coloring OFF on input line 73. (/usr/share/texmf/tex/latex/hyperref/nameref.sty Package: nameref 2003/12/03 v2.21 Cross-referencing by name of section \c@section@level=\count122 ) LaTeX Info: Redefining \ref on input line 73. LaTeX Info: Redefining \pageref on input line 73. (./AlgebraicStructures.out) (./AlgebraicStructures.out) \openout3 = `AlgebraicStructures.out'. Package frenchb.ldf Warning: The definition of \@makecaption has been changed, (frenchb.ldf) frenchb will NOT customize it; (frenchb.ldf) reported on input line 73. LaTeX Info: Redefining \dots on input line 73. LaTeX Font Info: Try loading font information for T1+cmtt on input line 114. (/usr/share/texmf/tex/latex/base/t1cmtt.fd File: t1cmtt.fd 1999/05/25 v2.5h Standard LaTeX font definitions ) Overfull \hbox (2.36041pt too wide) in paragraph at lines 114--114 \T1/cmr/m/n/10 [B], 50, ave-nue Tony-Garnier, Do-maine de Ger-land,, 69366 Lyon Ce-dex 07, FRANCE [] [1 {/usr/share/texmf-var/fonts/map/pdftex/updmap/pdftex.map}] [2] Table des mati\`eres (./AlgebraicStructures.toc [3 ]) \tf@toc=\write5 \openout5 = `AlgebraicStructures.toc'. [4] (./Introduction.tex Chapitre 1 [5 ] ! LaTeX Error: Unknown graphics extension: .eps. See the LaTeX manual or LaTeX Companion for explanation. Type H for immediate help. ... l.130 width=0.5\textwidth]{maze1.eps} \includegraphics[% Try typing to proceed. If that doesn't work, type X to quit. ! LaTeX Error: Unknown graphics extension: .eps. See the LaTeX manual or LaTeX Companion for explanation. Type H for immediate help. ... l.131 width=0.5\textwidth]{maze2.eps} \end{center} Try typing to proceed. If that doesn't work, type X to quit. ! LaTeX Error: Unknown graphics extension: .eps. See the LaTeX manual or LaTeX Companion for explanation. Type H for immediate help. ... l.134 width=1\textwidth]{maze-big.eps} \end{center} Try typing to proceed. If that doesn't work, type X to quit. [6] ! LaTeX Error: Unknown graphics extension: .eps. See the LaTeX manual or LaTeX Companion for explanation. Type H for immediate help. ... l.137 width=0.5\textwidth]{maze3.eps} \includegraphics[% Try typing to proceed. If that doesn't work, type X to quit. ! LaTeX Error: Unknown graphics extension: .eps. See the LaTeX manual or LaTeX Companion for explanation. Type H for immediate help. ... l.138 width=0.5\textwidth]{maze4.eps} \end{center} Try typing to proceed. If that doesn't work, type X to quit. ) [7] [8] Package hyperref Warning: Token not allowed in a PDFDocEncoded string, (hyperref) removing `\-command' on input line 119. Package hyperref Warning: Token not allowed in a PDFDocEncoded string, (hyperref) removing `\thepart' on input line 119. Package hyperref Warning: Token not allowed in a PDFDocEncoded string: (hyperref) \kern 4.99878pt (hyperref) replaced by space on input line 119. Package hyperref Warning: Token not allowed in a PDFDocEncoded string, (hyperref) removing `\noindent' on input line 119. [9 ] (./1_FormalLogic/PropositionalLogic.tex [10 ] Chapitre 2 [11] Overfull \hbox (100.75592pt too wide) in paragraph at lines 132--163 [] [] [12] [13] [14] [15] [16] [17] Overfull \hbox (99.45459pt too wide) in paragraph at lines 782--783 \T1/cmtt/m/n/10 If ((outflow > inflow) and not ((outflow>inflow) and (pressure < 1000))) [] [18] [19] [20] [21] [22]) (./1_FormalLogic/PredicateLogic.tex ! LaTeX Error: Command \Imp already defined. Or name \end... illegal, see p.192 of the manual. See the LaTeX manual or LaTeX Companion for explanation. Type H for immediate help. ... l.2 ...mand{\Imp}{\textrm{ }\rightarrow\textrm{ }} Your command was ignored. Type I to replace it with another command, or to continue without it. ! LaTeX Error: Command \Equiv already defined. Or name \end... illegal, see p.192 of the manual. See the LaTeX manual or LaTeX Companion for explanation. Type H for immediate help. ... l.4 ...Equiv}{\textrm{ }\Leftrightarrow\textrm{ }} Your command was ignored. Type I to replace it with another command, or to continue without it. ! LaTeX Error: Command \s already defined. Or name \end... illegal, see p.192 of the manual. See the LaTeX manual or LaTeX Companion for explanation. Type H for immediate help. ... l.6 \newcommand{\s}{\textrm{ }} Your command was ignored. Type I to replace it with another command, or to continue without it. [23] [24 ] Chapitre 3 Overfull \hbox (2.00827pt too wide) in paragraph at lines 96--97 \T1/cmr/bx/n/10 3.1.3.Domain of in-ter-pre-ta-tion :[] \T1/cmr/m/n/10 If $\OML /cmm/m/it/10 x$ \T1/cmr/m/n/10 is a car, the sen-tence above $\OT1/cmr/m/n/10 ( \OMS/cmsy/m/n/10 8\OML/cmm/m/it/10 x\OT1/cmr/m/n/10 )[]\OML/cmm/m/it/10 P\OT1/c mr/m/n/10 (\OML/cmm/m/it/10 x\OT1/cmr/m/n/10 )$ [] [25] [26] [27] [28] [29] [30]) [31] [32 ] Package hyperref Warning: Token not allowed in a PDFDocEncoded string, (hyperref) removing `\-command' on input line 128. Package hyperref Warning: Token not allowed in a PDFDocEncoded string, (hyperref) removing `\thepart' on input line 128. Package hyperref Warning: Token not allowed in a PDFDocEncoded string: (hyperref) \kern 4.99878pt (hyperref) replaced by space on input line 128. Package hyperref Warning: Token not allowed in a PDFDocEncoded string, (hyperref) removing `\noindent' on input line 128. [33] (./2_Proofs/ProofTechniques.tex ! LaTeX Error: Command \Imp already defined. Or name \end... illegal, see p.192 of the manual. See the LaTeX manual or LaTeX Companion for explanation. Type H for immediate help. ... l.2 ...mand{\Imp}{\textrm{ }\rightarrow\textrm{ }} Your command was ignored. Type I to replace it with another command, or to continue without it. ! LaTeX Error: Command \Equiv already defined. Or name \end... illegal, see p.192 of the manual. See the LaTeX manual or LaTeX Companion for explanation. Type H for immediate help. ... l.4 ...Equiv}{\textrm{ }\Leftrightarrow\textrm{ }} Your command was ignored. Type I to replace it with another command, or to continue without it. ! LaTeX Error: Command \s already defined. Or name \end... illegal, see p.192 of the manual. See the LaTeX manual or LaTeX Companion for explanation. Type H for immediate help. ... l.6 \newcommand{\s}{\textrm{ }} Your command was ignored. Type I to replace it with another command, or to continue without it. ! LaTeX Error: Command \E already defined. Or name \end... illegal, see p.192 of the manual. See the LaTeX manual or LaTeX Companion for explanation. Type H for immediate help. ... l.8 \newcommand{\E}[1]{(\exists#1 )\textrm{ }} Your command was ignored. Type I to replace it with another command, or to continue without it. ! LaTeX Error: Command \A already defined. Or name \end... illegal, see p.192 of the manual. See the LaTeX manual or LaTeX Companion for explanation. Type H for immediate help. ... l.12 \newcommand{\A}[1]{(\forall#1 )\textrm{ }} Your command was ignored. Type I to replace it with another command, or to continue without it. [34 ] Chapitre 4 [35] [36] [37] [38] Overfull \hbox (28.3039pt too wide) in paragraph at lines 434--481 [] [] ) (./2_Proofs/Induction.tex [39] [40 ] Chapitre 5 [41] Overfull \hbox (46.94157pt too wide) in paragraph at lines 125--127 []\T1/cmr/m/n/10 It al-lows to com-pute $\OML/cmm/m/it/10 S\OT1/cmr/m/n/10 (\OM L/cmm/m/it/10 k\OT1/cmr/m/n/10 )$ \T1/cmr/m/n/10 ea-sily, wi-thout com-pu-ting all the pre-vious va-lues $\OML/cmm/m/it/10 S\OT1/cmr/m/n/10 (1)\OML/cmm/m/it/1 0 ; S\OT1/cmr/m/n/10 (2)\OML/cmm/m/it/10 ; [] S\OT1/cmr/m/n/10 (\OML/cmm/m/it/ 10 k \OMS/cmsy/m/n/10 ^^@ [] [42] [43] Overfull \hbox (78.38509pt too wide) in paragraph at lines 369--370 []\T1/cmtt/m/n/10 // Postcondition : returns the truth value of $\OML/cmm/m/it/ 10 P$ \T1/cmtt/m/n/10 in the // context $\OML/cmm/m/it/10 C$ [] [44]) (./2_Proofs/ProofOfCorrectness.tex [45] [46 ] Chapitre 6 [47] [48] [49] [50] [51] [52]) (./2_Proofs/AnalysisOfAlgorithms.tex [53] [54 ] Chapitre 7 Overfull \hbox (4.97766pt too wide) in paragraph at lines 51--52 [] \T1/cmtt/m/n/10 // compare successively x with l[1], l[2], ..., l[n] [] [55] [56] [57] Overfull \hbox (1.47888pt too wide) in paragraph at lines 311--312 [] \T1/cmtt/m/n/10 operations := operations+1; // Count operations [] Underfull \vbox (badness 10000) has occurred while \output is active [] [58] ! LaTeX Error: Unknown graphics extension: .eps. See the LaTeX manual or LaTeX Companion for explanation. Type H for immediate help. ... l.417 width=1\textwidth]{2_Proofs/fibonacci.eps} Try typing to proceed. If that doesn't work, type X to quit. [59] Overfull \hbox (20.02682pt too wide) in paragraph at lines 527--528 []\T1/cmr/m/sc/10 Exemple. \T1/cmr/m/n/10 Back-pack pro-blem with $\OML/cmm/m/i t/10 size \OT1/cmr/m/n/10 = 23$\T1/cmr/m/n/10 , and $\OML/cmm/m/it/10 objects \ OT1/cmr/m/n/10 = 5\OML/cmm/m/it/10 ; \OT1/cmr/m/n/10 7\OML/cmm/m/it/10 ; \OT1/c mr/m/n/10 7\OML/cmm/m/it/10 ; \OT1/cmr/m/n/10 20\OML/cmm/m/it/10 ; \OT1/cmr/m/n /10 17\OML/cmm/m/it/10 ; \OT1/cmr/m/n/10 5\OML/cmm/m/it/10 ; \OT1/cmr/m/n/10 11 \OML/cmm/m/it/10 ; \OT1/cmr/m/n/10 5\OML/cmm/m/it/10 ; \OT1/cmr/m/n/10 19\OML/c mm/m/it/10 ; \OT1/cmr/m/n/10 14$\T1/cmr/m/n/10 . [] [60]) [61] [62 ] Package hyperref Warning: Token not allowed in a PDFDocEncoded string, (hyperref) removing `\-command' on input line 141. Package hyperref Warning: Token not allowed in a PDFDocEncoded string, (hyperref) removing `\thepart' on input line 141. Package hyperref Warning: Token not allowed in a PDFDocEncoded string: (hyperref) \kern 4.99878pt (hyperref) replaced by space on input line 141. Package hyperref Warning: Token not allowed in a PDFDocEncoded string, (hyperref) removing `\noindent' on input line 141. [63] (./3_SetsAndCombinatorics/Sets.tex [64 ] Chapitre 8 Underfull \hbox (badness 10000) in paragraph at lines 50--51 [] [65] [66] [67] [68] [69] ! LaTeX Error: Unknown graphics extension: .eps. See the LaTeX manual or LaTeX Companion for explanation. Type H for immediate help. ... l.473 ...extwidth]{3_SetsAndCombinatorics/NxN.eps} Try typing to proceed. If that doesn't work, type X to quit. ! LaTeX Error: Unknown graphics extension: .eps. See the LaTeX manual or LaTeX Companion for explanation. Type H for immediate help. ... l.482 ...idth]{3_SetsAndCombinatorics/NxNenum.eps} Try typing to proceed. If that doesn't work, type X to quit. ! LaTeX Error: Unknown graphics extension: .eps. See the LaTeX manual or LaTeX Companion for explanation. Type H for immediate help. ... l.489 ...extwidth]{3_SetsAndCombinatorics/ZxZ.eps} Try typing to proceed. If that doesn't work, type X to quit. ! LaTeX Error: Unknown graphics extension: .eps. See the LaTeX manual or LaTeX Companion for explanation. Type H for immediate help. ... l.500 ...idth]{3_SetsAndCombinatorics/ZxZenum.eps} Try typing to proceed. If that doesn't work, type X to quit. ! LaTeX Error: Unknown graphics extension: .eps. See the LaTeX manual or LaTeX Companion for explanation. Type H for immediate help. ... l.508 ...dth]{3_SetsAndCombinatorics/rational.eps} Try typing to proceed. If that doesn't work, type X to quit. [70] [71]) (./3_SetsAndCombinatorics/Combinatorics.tex [72] Chapitre 9 [73 ] [74] [75] [76] [77] Overfull \hbox (99.1089pt too wide) in paragraph at lines 447--479 [] [] [78]) [79] [80 ] Package hyperref Warning: Token not allowed in a PDFDocEncoded string, (hyperref) removing `\-command' on input line 150. Package hyperref Warning: Token not allowed in a PDFDocEncoded string, (hyperref) removing `\thepart' on input line 150. Package hyperref Warning: Token not allowed in a PDFDocEncoded string: (hyperref) \kern 4.99878pt (hyperref) replaced by space on input line 150. Package hyperref Warning: Token not allowed in a PDFDocEncoded string, (hyperref) removing `\noindent' on input line 150. [81] (./4_RelationsFunctionsAndMatrices/Relations.tex [82 ] Chapitre 10 ! LaTeX Error: Unknown graphics extension: .eps. See the LaTeX manual or LaTeX Companion for explanation. Type H for immediate help. ... l.29 ...4_RelationsFunctionsAndMatrices/house.eps} \end{center} Try typing to proceed. If that doesn't work, type X to quit. ! LaTeX Error: Unknown graphics extension: .eps. See the LaTeX manual or LaTeX Companion for explanation. Type H for immediate help. ... l.58 ...ationsFunctionsAndMatrices/house-PERT.eps} \end{center} Try typing to proceed. If that doesn't work, type X to quit. [83] <4_RelationsFunctionsAndMatrices/one-to-one.pdf, id=1109, 115.43124pt x 120.45p t> File: 4_RelationsFunctionsAndMatrices/one-to-one.pdf Graphic file (type pdf) <4_RelationsFunctionsAndMatrices/one-to-many.pdf, id=1110, 115.43124pt x 120.45 pt> File: 4_RelationsFunctionsAndMatrices/one-to-many.pdf Graphic file (type pdf) <4_RelationsFunctionsAndMatrices/many-to-one.pdf, id=1111, 115.43124pt x 120.45 pt> File: 4_RelationsFunctionsAndMatrices/many-to-one.pdf Graphic file (type pdf) [84 <./4_RelationsFuncti onsAndMatrices/one-to-one.pdf> <./4_RelationsFunctionsAndMatrices/one-to-many.p df>] <4_RelationsFunctionsAndMatrices/many-to-many.pdf, id=1136, 115.43124pt x 120.4 5pt> File: 4_RelationsFunctionsAndMatrices/many-to-many.pdf Graphic file (type pdf) [85 <./4_RelationsFunct ionsAndMatrices/many-to-one.pdf> <./4_RelationsFunctionsAndMatrices/many-to-man y.pdf>] ! LaTeX Error: Unknown graphics extension: .eps. See the LaTeX manual or LaTeX Companion for explanation. Type H for immediate help. ... l.285 ...tionsFunctionsAndMatrices/house-PERT.eps} \end{center} Try typing to proceed. If that doesn't work, type X to quit. ! pdfTeX warning (ext4): destination with the same identifier (name{figure.10.1 }) has been already used, duplicate ignored \penalty l.289 house} [86] <4_RelationsFunctionsAndMatrices/relation.pdf, id=1179, 269.005pt x 96.36pt> File: 4_RelationsFunctionsAndMatrices/relation.pdf Graphic file (type pdf) [87 <./4_RelationsFunctionsA ndMatrices/relation.pdf>] [88] ! LaTeX Error: Unknown graphics extension: .eps. See the LaTeX manual or LaTeX Companion for explanation. Type H for immediate help. ... l.551 ...tionsFunctionsAndMatrices/house-PERT.eps} \end{center} Try typing to proceed. If that doesn't work, type X to quit. ! pdfTeX warning (ext4): destination with the same identifier (name{figure.10.1 }) has been already used, duplicate ignored \penalty l.555 house} [89] Overfull \hbox (4.0511pt too wide) in paragraph at lines 679--682 \T1/cmr/m/n/10 This is ty-pi-cal from sche-du-ling pro-blems, where a very smal l change in the constraints [] ) (./4_RelationsFunctionsAndMatrices/Functions.tex [90] Chapitre 11 <4_RelationsFunctionsAndMatrices/function.pdf, id=1223, 115.43124pt x 120.45pt> File: 4_RelationsFunctionsAndMatrices/function.pdf Graphic file (type pdf) [91 <./4_RelationsFunctionsAndMatrices/function.pdf>] [92] [93] [94] LaTeX Font Info: Try loading font information for T1+cmss on input line 397. (/usr/share/texmf/tex/latex/base/t1cmss.fd File: t1cmss.fd 1999/05/25 v2.5h Standard LaTeX font definitions ) LaTeX Font Warning: Font shape `T1/cmss/m/sc' in size <10> not available (Font) Font shape `T1/cmr/m/sc' tried instead on input line 397. <4_RelationsFunctionsAndMatrices/Dyck.pdf, id=1279, 386.44376pt x 130.4875pt> File: 4_RelationsFunctionsAndMatrices/Dyck.pdf Graphic file (type pdf) Overfull \hbox (26.44281pt too wide) in paragraph at lines 405--405 [] [] [95 <./4_RelationsFunctionsAndMatrices/Dyck.pdf>] [96]) [97] [98 ] Package hyperref Warning: Token not allowed in a PDFDocEncoded string, (hyperref) removing `\-command' on input line 159. Package hyperref Warning: Token not allowed in a PDFDocEncoded string, (hyperref) removing `\thepart' on input line 159. Package hyperref Warning: Token not allowed in a PDFDocEncoded string: (hyperref) \kern 4.99878pt (hyperref) replaced by space on input line 159. Package hyperref Warning: Token not allowed in a PDFDocEncoded string, (hyperref) removing `\noindent' on input line 159. [99] (./8_ModelingArithmeticComputationsAndLanguages/Groups.tex [100 ] Chapitre 12 [101] Overfull \hbox (4.68097pt too wide) detected at line 230 [][] \OT1/cmr/m/n/10 = [] [] [102] [103] [104] ! LaTeX Error: Unknown graphics extension: .eps. See the LaTeX manual or LaTeX Companion for explanation. Type H for immediate help. ... l.498 ...tationsAndLanguages/graph-0000111110.eps} $\textrm{ }$\includegraph... Try typing to proceed. If that doesn't work, type X to quit. ! LaTeX Error: Unknown graphics extension: .eps. See the LaTeX manual or LaTeX Companion for explanation. Type H for immediate help. ... l.499 ...tationsAndLanguages/graph-0010011101.eps} \end{center} Try typing to proceed. If that doesn't work, type X to quit. ! LaTeX Error: Unknown graphics extension: .eps. See the LaTeX manual or LaTeX Companion for explanation. Type H for immediate help. ... l.521 ...ationsAndLanguages/ugraph-0010011101.eps} \end{center} Try typing to proceed. If that doesn't work, type X to quit. [105]) (./AlgebraicStructures.bbl [106] Bibliographie ) [107 ] (./AlgebraicStructures.aux) LaTeX Warning: There were multiply-defined labels. ) Here is how much of TeX's memory you used: 5606 strings out of 94500 69745 string characters out of 1176767 123993 words of memory out of 1000000 7805 multiletter control sequences out of 10000+50000 22207 words of font info for 56 fonts, out of 500000 for 2000 741 hyphenation exceptions out of 1000 34i,10n,39p,293b,409s stack positions out of 1500i,500n,5000p,200000b,5000s PDF statistics: 1389 PDF objects out of 300000 656 named destinations out of 131072 580 words of extra memory for PDF output out of 65536 Output written on AlgebraicStructures.pdf (107 pages, 615407 bytes).