From: couchot Date: Mon, 4 Nov 2013 19:29:32 +0000 (+0100) Subject: ajout en vrac de tous les partiels X-Git-Url: https://bilbo.iut-bm.univ-fcomte.fr/and/gitweb/cours-maths-dis.git/commitdiff_plain/333558f52e52a5792ac99d50e89d3a9d837b9d67?ds=inline ajout en vrac de tous les partiels --- diff --git a/partiels/130311S2/main.aux b/partiels/130311S2/main.aux new file mode 100644 index 0000000..d30543e --- /dev/null +++ b/partiels/130311S2/main.aux @@ -0,0 +1,11 @@ +\relax +\catcode`:\active +\catcode`;\active +\catcode`!\active +\catcode`?\active +\select@language{french} +\@writefile{toc}{\select@language{french}} +\@writefile{lof}{\select@language{french}} +\@writefile{lot}{\select@language{french}} +\newlabel{item1}{{1}{2}}[None] +\newlabel{item2}{{2}{2}}[None] diff --git a/partiels/130311S2/main.log b/partiels/130311S2/main.log new file mode 100644 index 0000000..6fdc401 --- /dev/null +++ b/partiels/130311S2/main.log @@ -0,0 +1,1173 @@ +This is pdfTeX, Version 3.1415926-2.4-1.40.13 (TeX Live 2012/Debian) (format=pdflatex 2012.11.7) 25 MAR 2013 10:44 +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/texlive/texmf-dist/tex/latex/base/article.cls +Document Class: article 2007/10/19 v1.4h Standard LaTeX document class +(/usr/share/texlive/texmf-dist/tex/latex/base/size12.clo +File: size12.clo 2007/10/19 v1.4h Standard LaTeX file (size option) +) +\c@part=\count79 +\c@section=\count80 +\c@subsection=\count81 +\c@subsubsection=\count82 +\c@paragraph=\count83 +\c@subparagraph=\count84 +\c@figure=\count85 +\c@table=\count86 +\abovecaptionskip=\skip41 +\belowcaptionskip=\skip42 +\bibindent=\dimen102 +) +(/usr/share/texlive/texmf-dist/tex/generic/babel/babel.sty +Package: babel 2008/07/08 v3.8m The Babel package + +(/usr/share/texlive/texmf-dist/tex/generic/babel/frenchb.ldf +Language: frenchb 2010/08/21 v2.5a French support from the babel system + +(/usr/share/texlive/texmf-dist/tex/generic/babel/babel.def +File: babel.def 2008/07/08 v3.8m Babel common definitions +\babel@savecnt=\count87 +\U@D=\dimen103 +) + +Package babel Warning: No hyphenation patterns were loaded for +(babel) the language `French' +(babel) I will use the patterns loaded for \language=0 instead. + +\l@french = a dialect from \language0 +Package babel Info: Making : an active character on input line 234. +Package babel Info: Making ; an active character on input line 235. +Package babel Info: Making ! an active character on input line 236. +Package babel Info: Making ? an active character on input line 237. +\FB@Mht=\dimen104 +\std@mcc=\count88 +\dec@mcc=\count89 +\parindentFFN=\dimen105 +************************************* +* Local config file frenchb.cfg used +* +(/usr/share/texlive/texmf-dist/tex/generic/babel/frenchb.cfg)) +(/usr/share/texlive/texmf-dist/tex/generic/babel/frenchb.ldf +Language: frenchb 2010/08/21 v2.5a French support from the babel system +)) +(/usr/share/texlive/texmf-dist/tex/latex/carlisle/scalefnt.sty) +(/usr/share/texlive/texmf-dist/tex/latex/graphics/keyval.sty +Package: keyval 1999/03/16 v1.13 key=value parser (DPC) +\KV@toks@=\toks14 +) +(/usr/share/texlive/texmf-dist/tex/latex/base/inputenc.sty +Package: inputenc 2008/03/30 v1.1d Input encoding file +\inpenc@prehook=\toks15 +\inpenc@posthook=\toks16 + +(/usr/share/texlive/texmf-dist/tex/latex/base/utf8.def +File: utf8.def 2008/04/05 v1.1m UTF-8 support for inputenc +Now handling font encoding OML ... +... no UTF-8 mapping file for font encoding OML +Now handling font encoding T1 ... +... processing UTF-8 mapping file for font encoding T1 + +(/usr/share/texlive/texmf-dist/tex/latex/base/t1enc.dfu +File: t1enc.dfu 2008/04/05 v1.1m UTF-8 support for inputenc + defining Unicode char U+00A1 (decimal 161) + defining Unicode char U+00A3 (decimal 163) + defining Unicode char U+00AB (decimal 171) + defining Unicode char U+00BB (decimal 187) + defining Unicode char U+00BF (decimal 191) + defining Unicode char U+00C0 (decimal 192) + defining Unicode char U+00C1 (decimal 193) + defining Unicode char U+00C2 (decimal 194) + defining Unicode char U+00C3 (decimal 195) + defining Unicode char U+00C4 (decimal 196) + defining Unicode char U+00C5 (decimal 197) + defining Unicode char U+00C6 (decimal 198) + defining Unicode char U+00C7 (decimal 199) + defining Unicode char U+00C8 (decimal 200) + defining Unicode char U+00C9 (decimal 201) + defining Unicode char U+00CA (decimal 202) + defining Unicode char U+00CB (decimal 203) + defining Unicode char U+00CC (decimal 204) + defining Unicode char U+00CD (decimal 205) + defining Unicode char U+00CE (decimal 206) + defining Unicode char U+00CF (decimal 207) + defining Unicode char U+00D0 (decimal 208) + defining Unicode char U+00D1 (decimal 209) + defining Unicode char U+00D2 (decimal 210) + defining Unicode char U+00D3 (decimal 211) + defining Unicode char U+00D4 (decimal 212) + defining Unicode char U+00D5 (decimal 213) + defining Unicode char U+00D6 (decimal 214) + defining Unicode char U+00D8 (decimal 216) + defining Unicode char U+00D9 (decimal 217) + defining Unicode char U+00DA (decimal 218) + defining Unicode char U+00DB (decimal 219) + defining Unicode char U+00DC (decimal 220) + defining Unicode char U+00DD (decimal 221) + defining Unicode char U+00DE (decimal 222) + defining Unicode char U+00DF (decimal 223) + defining Unicode char U+00E0 (decimal 224) + defining Unicode char U+00E1 (decimal 225) + defining Unicode char U+00E2 (decimal 226) + defining Unicode char U+00E3 (decimal 227) + defining Unicode char U+00E4 (decimal 228) + defining Unicode char U+00E5 (decimal 229) + defining Unicode char U+00E6 (decimal 230) + defining Unicode char U+00E7 (decimal 231) + defining Unicode char U+00E8 (decimal 232) + defining Unicode char U+00E9 (decimal 233) + defining Unicode char U+00EA (decimal 234) + defining Unicode char U+00EB (decimal 235) + defining Unicode char U+00EC (decimal 236) + defining Unicode char U+00ED (decimal 237) + defining Unicode char U+00EE (decimal 238) + defining Unicode char U+00EF (decimal 239) + defining Unicode char U+00F0 (decimal 240) + defining Unicode char U+00F1 (decimal 241) + defining Unicode char U+00F2 (decimal 242) + defining Unicode char U+00F3 (decimal 243) + defining Unicode char U+00F4 (decimal 244) + defining Unicode char U+00F5 (decimal 245) + defining Unicode char U+00F6 (decimal 246) + defining Unicode char U+00F8 (decimal 248) + defining Unicode char U+00F9 (decimal 249) + defining Unicode char U+00FA (decimal 250) + defining Unicode char U+00FB (decimal 251) + defining Unicode char U+00FC (decimal 252) + defining Unicode char U+00FD (decimal 253) + defining Unicode char U+00FE (decimal 254) + defining Unicode char U+00FF (decimal 255) + defining Unicode char U+0102 (decimal 258) + defining Unicode char U+0103 (decimal 259) + defining Unicode char U+0104 (decimal 260) + defining Unicode char U+0105 (decimal 261) + defining Unicode char U+0106 (decimal 262) + defining Unicode char U+0107 (decimal 263) + defining Unicode char U+010C (decimal 268) + defining Unicode char U+010D (decimal 269) + defining Unicode char U+010E (decimal 270) + defining Unicode char U+010F (decimal 271) + defining Unicode char U+0110 (decimal 272) + defining Unicode char U+0111 (decimal 273) + defining Unicode char U+0118 (decimal 280) + defining Unicode char U+0119 (decimal 281) + defining Unicode char U+011A (decimal 282) + defining Unicode char U+011B (decimal 283) + defining Unicode char U+011E (decimal 286) + defining Unicode char U+011F (decimal 287) + defining Unicode char U+0130 (decimal 304) + defining Unicode char U+0131 (decimal 305) + defining Unicode char U+0132 (decimal 306) + defining Unicode char U+0133 (decimal 307) + defining Unicode char U+0139 (decimal 313) + defining Unicode char U+013A (decimal 314) + defining Unicode char U+013D (decimal 317) + defining Unicode char U+013E (decimal 318) + defining Unicode char U+0141 (decimal 321) + defining Unicode char U+0142 (decimal 322) + defining Unicode char U+0143 (decimal 323) + defining Unicode char U+0144 (decimal 324) + defining Unicode char U+0147 (decimal 327) + defining Unicode char U+0148 (decimal 328) + defining Unicode char U+014A (decimal 330) + defining Unicode char U+014B (decimal 331) + defining Unicode char U+0150 (decimal 336) + defining Unicode char U+0151 (decimal 337) + defining Unicode char U+0152 (decimal 338) + defining Unicode char U+0153 (decimal 339) + defining Unicode char U+0154 (decimal 340) + defining Unicode char U+0155 (decimal 341) + defining Unicode char U+0158 (decimal 344) + defining Unicode char U+0159 (decimal 345) + defining Unicode char U+015A (decimal 346) + defining Unicode char U+015B (decimal 347) + defining Unicode char U+015E (decimal 350) + defining Unicode char U+015F (decimal 351) + defining Unicode char U+0160 (decimal 352) + defining Unicode char U+0161 (decimal 353) + defining Unicode char U+0162 (decimal 354) + defining Unicode char U+0163 (decimal 355) + defining Unicode char U+0164 (decimal 356) + defining Unicode char U+0165 (decimal 357) + defining Unicode char U+016E (decimal 366) + defining Unicode char U+016F (decimal 367) + defining Unicode char U+0170 (decimal 368) + defining Unicode char U+0171 (decimal 369) + defining Unicode char U+0178 (decimal 376) + defining Unicode char U+0179 (decimal 377) + defining Unicode char U+017A (decimal 378) + defining Unicode char U+017B (decimal 379) + defining Unicode char U+017C (decimal 380) + defining Unicode char U+017D (decimal 381) + defining Unicode char U+017E (decimal 382) + defining Unicode char U+200C (decimal 8204) + defining Unicode char U+2013 (decimal 8211) + defining Unicode char U+2014 (decimal 8212) + defining Unicode char U+2018 (decimal 8216) + defining Unicode char U+2019 (decimal 8217) + defining Unicode char U+201A (decimal 8218) + defining Unicode char U+201C (decimal 8220) + defining Unicode char U+201D (decimal 8221) + defining Unicode char U+201E (decimal 8222) + defining Unicode char U+2030 (decimal 8240) + defining Unicode char U+2031 (decimal 8241) + defining Unicode char U+2039 (decimal 8249) + defining Unicode char U+203A (decimal 8250) + defining Unicode char U+2423 (decimal 9251) +) +Now handling font encoding OT1 ... +... processing UTF-8 mapping file for font encoding OT1 + +(/usr/share/texlive/texmf-dist/tex/latex/base/ot1enc.dfu +File: ot1enc.dfu 2008/04/05 v1.1m UTF-8 support for inputenc + defining Unicode char U+00A1 (decimal 161) + defining Unicode char U+00A3 (decimal 163) + defining Unicode char U+00B8 (decimal 184) + defining Unicode char U+00BF (decimal 191) + defining Unicode char U+00C5 (decimal 197) + defining Unicode char U+00C6 (decimal 198) + defining Unicode char U+00D8 (decimal 216) + defining Unicode char U+00DF (decimal 223) + defining Unicode char U+00E6 (decimal 230) + defining Unicode char U+00EC (decimal 236) + defining Unicode char U+00ED (decimal 237) + defining Unicode char U+00EE (decimal 238) + defining Unicode char U+00EF (decimal 239) + defining Unicode char U+00F8 (decimal 248) + defining Unicode char U+0131 (decimal 305) + defining Unicode char U+0141 (decimal 321) + defining Unicode char U+0142 (decimal 322) + defining Unicode char U+0152 (decimal 338) + defining Unicode char U+0153 (decimal 339) + defining Unicode char U+2013 (decimal 8211) + defining Unicode char U+2014 (decimal 8212) + defining Unicode char U+2018 (decimal 8216) + defining Unicode char U+2019 (decimal 8217) + defining Unicode char U+201C (decimal 8220) + defining Unicode char U+201D (decimal 8221) +) +Now handling font encoding OMS ... +... processing UTF-8 mapping file for font encoding OMS + +(/usr/share/texlive/texmf-dist/tex/latex/base/omsenc.dfu +File: omsenc.dfu 2008/04/05 v1.1m UTF-8 support for inputenc + defining Unicode char U+00A7 (decimal 167) + defining Unicode char U+00B6 (decimal 182) + defining Unicode char U+00B7 (decimal 183) + defining Unicode char U+2020 (decimal 8224) + defining Unicode char U+2021 (decimal 8225) + defining Unicode char U+2022 (decimal 8226) +) +Now handling font encoding OMX ... +... no UTF-8 mapping file for font encoding OMX +Now handling font encoding U ... +... no UTF-8 mapping file for font encoding U + defining Unicode char U+00A9 (decimal 169) + defining Unicode char U+00AA (decimal 170) + defining Unicode char U+00AE (decimal 174) + defining Unicode char U+00BA (decimal 186) + defining Unicode char U+02C6 (decimal 710) + defining Unicode char U+02DC (decimal 732) + defining Unicode char U+200C (decimal 8204) + defining Unicode char U+2026 (decimal 8230) + defining Unicode char U+2122 (decimal 8482) + defining Unicode char U+2423 (decimal 9251) +)) +(/usr/share/texlive/texmf-dist/tex/latex/ntgclass/a4.sty +Package: a4 2004/04/15 v1.2g A4 based page layout +) +(/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsmath.sty +Package: amsmath 2000/07/18 v2.13 AMS math features +\@mathmargin=\skip43 + +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=\toks17 +\ex@=\dimen106 +)) +(/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsbsy.sty +Package: amsbsy 1999/11/29 v1.2d +\pmbraise@=\dimen107 +) +(/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsopn.sty +Package: amsopn 1999/12/14 v2.01 operator names +) +\inf@bad=\count90 +LaTeX Info: Redefining \frac on input line 211. +\uproot@=\count91 +\leftroot@=\count92 +LaTeX Info: Redefining \overline on input line 307. +\classnum@=\count93 +\DOTSCASE@=\count94 +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=\dimen108 +LaTeX Font Info: Redeclaring font encoding OML on input line 567. +LaTeX Font Info: Redeclaring font encoding OMS on input line 568. +\macc@depth=\count95 +\c@MaxMatrixCols=\count96 +\dotsspace@=\muskip10 +\c@parentequation=\count97 +\dspbrk@lvl=\count98 +\tag@help=\toks18 +\row@=\count99 +\column@=\count100 +\maxfields@=\count101 +\andhelp@=\toks19 +\eqnshift@=\dimen109 +\alignsep@=\dimen110 +\tagshift@=\dimen111 +\tagwidth@=\dimen112 +\totwidth@=\dimen113 +\lineht@=\dimen114 +\@envbody=\toks20 +\multlinegap=\skip44 +\multlinetaggap=\skip45 +\mathdisplay@stack=\toks21 +LaTeX Info: Redefining \[ on input line 2666. +LaTeX Info: Redefining \] on input line 2667. +) +(/usr/share/texlive/texmf-dist/tex/latex/amsfonts/amsfonts.sty +Package: amsfonts 2009/06/22 v3.00 Basic AMSFonts support +\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/texlive/texmf-dist/tex/latex/amsfonts/amssymb.sty +Package: amssymb 2009/06/22 v3.00 +) +(/usr/share/texlive/texmf-dist/tex/latex/framed/framed.sty +Package: framed 2011/10/22 v 0.96: framed or shaded text with page breaks +\OuterFrameSep=\skip46 +\fb@frw=\dimen115 +\fb@frh=\dimen116 +\FrameRule=\dimen117 +\FrameSep=\dimen118 +) +(/usr/share/texlive/texmf-dist/tex/latex/doublestroke/dsfont.sty +Package: dsfont 1995/08/01 v0.1 Double stroke roman fonts +) +(/usr/share/texlive/texmf-dist/tex/latex/ntheorem/ntheorem.sty +Style `ntheorem', Version 1.31 <2011/02/16> +Package: ntheorem 2011/02/16 1.31 +(/usr/share/texlive/texmf-dist/tex/latex/base/ifthen.sty +Package: ifthen 2001/05/26 v1.1c Standard LaTeX ifthen package (DPC) +) +\theorem@style=\toks22 +\theorem@@style=\toks23 +\theorembodyfont=\toks24 +\theoremnumbering=\toks25 +\theorempreskipamount=\skip47 +\theorempostskipamount=\skip48 +\theoremframepreskipamount=\skip49 +\theoremframepostskipamount=\skip50 +\theoremindent=\dimen119 +\theorem@indent=\dimen120 +\theoremheaderfont=\toks26 +\theoremseparator=\toks27 +\theoremprework=\toks28 +\theorempostwork=\toks29 +\theoremsymbol=\toks30 +\qedsymbol=\toks31 +\theoremkeyword=\toks32 +\qedsymbol=\toks33 +\thm@topsepadd=\skip51 +Package ntheorem Info: Option `thmmarks' loaded on input line 1066. +\c@endNonectr=\count102 +\c@currNonectr=\count103 +\mysavskip=\skip52 +Package ntheorem Info: Option `thref' loaded on input line 1066. +\mysavskip=\skip53 +Package ntheorem Info: option `amsmath' handling for `thref' loaded on input li +ne 1066. +Package ntheorem Info: option `amsmath' handling for `thmmarks' loaded on input + line 1066. +\thm@amstmpdepth=\dimen121 +\tagwidth=\dimen122 +\shadecolor=\toks34 +) +(/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: dvips.def on input line 91. + +(/usr/share/texlive/texmf-dist/tex/latex/graphics/dvips.def +File: dvips.def 1999/02/16 v3.0i Driver-dependant file (DPC,SPQR) +)) +(/usr/share/texlive/texmf-dist/tex/latex/graphics/epsfig.sty +Package: epsfig 1999/02/16 v1.7a (e)psfig emulation (SPQR) + +(/usr/share/texlive/texmf-dist/tex/latex/graphics/graphicx.sty +Package: graphicx 1999/02/16 v1.0f Enhanced LaTeX Graphics (DPC,SPQR) +\Gin@req@height=\dimen123 +\Gin@req@width=\dimen124 +) +\epsfxsize=\dimen125 +\epsfysize=\dimen126 +) +(/usr/share/texlive/texmf-dist/tex/latex/tools/calc.sty +Package: calc 2007/08/22 v4.3 Infix arithmetic (KKT,FJ) +\calc@Acount=\count104 +\calc@Bcount=\count105 +\calc@Adimen=\dimen127 +\calc@Bdimen=\dimen128 +\calc@Askip=\skip54 +\calc@Bskip=\skip55 +LaTeX Info: Redefining \setlength on input line 76. +LaTeX Info: Redefining \addtolength on input line 77. +\calc@Ccount=\count106 +\calc@Cskip=\skip56 +) +(/usr/share/texlive/texmf-dist/tex/latex/tabls/tabls.sty +\tablinesep=\dimen129 +\arraylinesep=\dimen130 +\extrarulesep=\dimen131 +\@arstdepth=\dimen132 +\@arstheight=\dimen133 +\@skip@bove=\dimen134 +) +(/usr/share/texlive/texmf-dist/tex/latex/psnfss/times.sty +Package: times 2005/04/12 PSNFSS-v9.2a (SPQR) +) +(/usr/share/texlive/texmf-dist/tex/latex/tools/multicol.sty +Package: multicol 2011/06/27 v1.7a multicolumn formatting (FMi) +\c@tracingmulticols=\count107 +\mult@box=\box28 +\multicol@leftmargin=\dimen135 +\c@unbalance=\count108 +\c@collectmore=\count109 +\doublecol@number=\count110 +\multicoltolerance=\count111 +\multicolpretolerance=\count112 +\full@width=\dimen136 +\page@free=\dimen137 +\premulticols=\dimen138 +\postmulticols=\dimen139 +\multicolsep=\skip57 +\multicolbaselineskip=\skip58 +\partial@page=\box29 +\last@line=\box30 +\mult@rightbox=\box31 +\mult@grightbox=\box32 +\mult@gfirstbox=\box33 +\mult@firstbox=\box34 +\@tempa=\box35 +\@tempa=\box36 +\@tempa=\box37 +\@tempa=\box38 +\@tempa=\box39 +\@tempa=\box40 +\@tempa=\box41 +\@tempa=\box42 +\@tempa=\box43 +\@tempa=\box44 +\@tempa=\box45 +\@tempa=\box46 +\@tempa=\box47 +\@tempa=\box48 +\@tempa=\box49 +\@tempa=\box50 +\@tempa=\box51 +\c@columnbadness=\count113 +\c@finalcolumnbadness=\count114 +\last@try=\dimen140 +\multicolovershoot=\dimen141 +\multicolundershoot=\dimen142 +\mult@nat@firstbox=\box52 +\colbreak@box=\box53 +\multicol@sort@counter=\count115 +) +(/usr/share/texlive/texmf-dist/tex/latex/tools/tabularx.sty +Package: tabularx 1999/01/07 v2.07 `tabularx' package (DPC) + +(/usr/share/texlive/texmf-dist/tex/latex/tools/array.sty +Package: array 2008/09/09 v2.4c Tabular extension package (FMi) +\col@sep=\dimen143 +\extrarowheight=\dimen144 +\NC@list=\toks35 +\extratabsurround=\skip59 +\backup@length=\skip60 + + +LaTeX Warning: Command \@xhline has changed. + Check if current package is valid. + +) +\TX@col@width=\dimen145 +\TX@old@table=\dimen146 +\TX@old@col=\dimen147 +\TX@target=\dimen148 +\TX@delta=\dimen149 +\TX@cols=\count116 +\TX@ftn=\toks36 +) (/usr/share/texlive/texmf-dist/tex/latex/base/textcomp.sty +Package: textcomp 2005/09/27 v1.99g Standard LaTeX package +Package textcomp Info: Sub-encoding information: +(textcomp) 5 = only ISO-Adobe without \textcurrency +(textcomp) 4 = 5 + \texteuro +(textcomp) 3 = 4 + \textohm +(textcomp) 2 = 3 + \textestimated + \textcurrency +(textcomp) 1 = TS1 - \textcircled - \t +(textcomp) 0 = TS1 (full) +(textcomp) Font families with sub-encoding setting implement +(textcomp) only a restricted character set as indicated. +(textcomp) Family '?' is the default used for unknown fonts. +(textcomp) See the documentation for details. +Package textcomp Info: Setting ? sub-encoding to TS1/1 on input line 71. + +(/usr/share/texlive/texmf-dist/tex/latex/base/ts1enc.def +File: ts1enc.def 2001/06/05 v3.0e (jk/car/fm) Standard LaTeX file +Now handling font encoding TS1 ... +... processing UTF-8 mapping file for font encoding TS1 + +(/usr/share/texlive/texmf-dist/tex/latex/base/ts1enc.dfu +File: ts1enc.dfu 2008/04/05 v1.1m UTF-8 support for inputenc + defining Unicode char U+00A2 (decimal 162) + defining Unicode char U+00A3 (decimal 163) + defining Unicode char U+00A4 (decimal 164) + defining Unicode char U+00A5 (decimal 165) + defining Unicode char U+00A6 (decimal 166) + defining Unicode char U+00A7 (decimal 167) + defining Unicode char U+00A8 (decimal 168) + defining Unicode char U+00A9 (decimal 169) + defining Unicode char U+00AA (decimal 170) + defining Unicode char U+00AC (decimal 172) + defining Unicode char U+00AE (decimal 174) + defining Unicode char U+00AF (decimal 175) + defining Unicode char U+00B0 (decimal 176) + defining Unicode char U+00B1 (decimal 177) + defining Unicode char U+00B2 (decimal 178) + defining Unicode char U+00B3 (decimal 179) + defining Unicode char U+00B4 (decimal 180) + defining Unicode char U+00B5 (decimal 181) + defining Unicode char U+00B6 (decimal 182) + defining Unicode char U+00B7 (decimal 183) + defining Unicode char U+00B9 (decimal 185) + defining Unicode char U+00BA (decimal 186) + defining Unicode char U+00BC (decimal 188) + defining Unicode char U+00BD (decimal 189) + defining Unicode char U+00BE (decimal 190) + defining Unicode char U+00D7 (decimal 215) + defining Unicode char U+00F7 (decimal 247) + defining Unicode char U+0192 (decimal 402) + defining Unicode char U+02C7 (decimal 711) + defining Unicode char U+02D8 (decimal 728) + defining Unicode char U+02DD (decimal 733) + defining Unicode char U+0E3F (decimal 3647) + defining Unicode char U+2016 (decimal 8214) + defining Unicode char U+2020 (decimal 8224) + defining Unicode char U+2021 (decimal 8225) + defining Unicode char U+2022 (decimal 8226) + defining Unicode char U+2030 (decimal 8240) + defining Unicode char U+2031 (decimal 8241) + defining Unicode char U+203B (decimal 8251) + defining Unicode char U+203D (decimal 8253) + defining Unicode char U+2044 (decimal 8260) + defining Unicode char U+204E (decimal 8270) + defining Unicode char U+2052 (decimal 8274) + defining Unicode char U+20A1 (decimal 8353) + defining Unicode char U+20A4 (decimal 8356) + defining Unicode char U+20A6 (decimal 8358) + defining Unicode char U+20A9 (decimal 8361) + defining Unicode char U+20AB (decimal 8363) + defining Unicode char U+20AC (decimal 8364) + defining Unicode char U+20B1 (decimal 8369) + defining Unicode char U+2103 (decimal 8451) + defining Unicode char U+2116 (decimal 8470) + defining Unicode char U+2117 (decimal 8471) + defining Unicode char U+211E (decimal 8478) + defining Unicode char U+2120 (decimal 8480) + defining Unicode char U+2122 (decimal 8482) + defining Unicode char U+2126 (decimal 8486) + defining Unicode char U+2127 (decimal 8487) + defining Unicode char U+212E (decimal 8494) + defining Unicode char U+2190 (decimal 8592) + defining Unicode char U+2191 (decimal 8593) + defining Unicode char U+2192 (decimal 8594) + defining Unicode char U+2193 (decimal 8595) + defining Unicode char U+2329 (decimal 9001) + defining Unicode char U+232A (decimal 9002) + defining Unicode char U+2422 (decimal 9250) + defining Unicode char U+25E6 (decimal 9702) + defining Unicode char U+25EF (decimal 9711) + defining Unicode char U+266A (decimal 9834) +)) +LaTeX Info: Redefining \oldstylenums on input line 266. +Package textcomp Info: Setting cmr sub-encoding to TS1/0 on input line 281. +Package textcomp Info: Setting cmss sub-encoding to TS1/0 on input line 282. +Package textcomp Info: Setting cmtt sub-encoding to TS1/0 on input line 283. +Package textcomp Info: Setting cmvtt sub-encoding to TS1/0 on input line 284. +Package textcomp Info: Setting cmbr sub-encoding to TS1/0 on input line 285. +Package textcomp Info: Setting cmtl sub-encoding to TS1/0 on input line 286. +Package textcomp Info: Setting ccr sub-encoding to TS1/0 on input line 287. +Package textcomp Info: Setting ptm sub-encoding to TS1/4 on input line 288. +Package textcomp Info: Setting pcr sub-encoding to TS1/4 on input line 289. +Package textcomp Info: Setting phv sub-encoding to TS1/4 on input line 290. +Package textcomp Info: Setting ppl sub-encoding to TS1/3 on input line 291. +Package textcomp Info: Setting pag sub-encoding to TS1/4 on input line 292. +Package textcomp Info: Setting pbk sub-encoding to TS1/4 on input line 293. +Package textcomp Info: Setting pnc sub-encoding to TS1/4 on input line 294. +Package textcomp Info: Setting pzc sub-encoding to TS1/4 on input line 295. +Package textcomp Info: Setting bch sub-encoding to TS1/4 on input line 296. +Package textcomp Info: Setting put sub-encoding to TS1/5 on input line 297. +Package textcomp Info: Setting uag sub-encoding to TS1/5 on input line 298. +Package textcomp Info: Setting ugq sub-encoding to TS1/5 on input line 299. +Package textcomp Info: Setting ul8 sub-encoding to TS1/4 on input line 300. +Package textcomp Info: Setting ul9 sub-encoding to TS1/4 on input line 301. +Package textcomp Info: Setting augie sub-encoding to TS1/5 on input line 302. +Package textcomp Info: Setting dayrom sub-encoding to TS1/3 on input line 303. +Package textcomp Info: Setting dayroms sub-encoding to TS1/3 on input line 304. + +Package textcomp Info: Setting pxr sub-encoding to TS1/0 on input line 305. +Package textcomp Info: Setting pxss sub-encoding to TS1/0 on input line 306. +Package textcomp Info: Setting pxtt sub-encoding to TS1/0 on input line 307. +Package textcomp Info: Setting txr sub-encoding to TS1/0 on input line 308. +Package textcomp Info: Setting txss sub-encoding to TS1/0 on input line 309. +Package textcomp Info: Setting txtt sub-encoding to TS1/0 on input line 310. +Package textcomp Info: Setting lmr sub-encoding to TS1/0 on input line 311. +Package textcomp Info: Setting lmdh sub-encoding to TS1/0 on input line 312. +Package textcomp Info: Setting lmss sub-encoding to TS1/0 on input line 313. +Package textcomp Info: Setting lmssq sub-encoding to TS1/0 on input line 314. +Package textcomp Info: Setting lmvtt sub-encoding to TS1/0 on input line 315. +Package textcomp Info: Setting qhv sub-encoding to TS1/0 on input line 316. +Package textcomp Info: Setting qag sub-encoding to TS1/0 on input line 317. +Package textcomp Info: Setting qbk sub-encoding to TS1/0 on input line 318. +Package textcomp Info: Setting qcr sub-encoding to TS1/0 on input line 319. +Package textcomp Info: Setting qcs sub-encoding to TS1/0 on input line 320. +Package textcomp Info: Setting qpl sub-encoding to TS1/0 on input line 321. +Package textcomp Info: Setting qtm sub-encoding to TS1/0 on input line 322. +Package textcomp Info: Setting qzc sub-encoding to TS1/0 on input line 323. +Package textcomp Info: Setting qhvc sub-encoding to TS1/0 on input line 324. +Package textcomp Info: Setting futs sub-encoding to TS1/4 on input line 325. +Package textcomp Info: Setting futx sub-encoding to TS1/4 on input line 326. +Package textcomp Info: Setting futj sub-encoding to TS1/4 on input line 327. +Package textcomp Info: Setting hlh sub-encoding to TS1/3 on input line 328. +Package textcomp Info: Setting hls sub-encoding to TS1/3 on input line 329. +Package textcomp Info: Setting hlst sub-encoding to TS1/3 on input line 330. +Package textcomp Info: Setting hlct sub-encoding to TS1/5 on input line 331. +Package textcomp Info: Setting hlx sub-encoding to TS1/5 on input line 332. +Package textcomp Info: Setting hlce sub-encoding to TS1/5 on input line 333. +Package textcomp Info: Setting hlcn sub-encoding to TS1/5 on input line 334. +Package textcomp Info: Setting hlcw sub-encoding to TS1/5 on input line 335. +Package textcomp Info: Setting hlcf sub-encoding to TS1/5 on input line 336. +Package textcomp Info: Setting pplx sub-encoding to TS1/3 on input line 337. +Package textcomp Info: Setting pplj sub-encoding to TS1/3 on input line 338. +Package textcomp Info: Setting ptmx sub-encoding to TS1/4 on input line 339. +Package textcomp Info: Setting ptmj sub-encoding to TS1/4 on input line 340. +) +(/usr/share/texlive/texmf-dist/tex/latex/pstricks/pst-all.sty +Package: pst-all 2008/01/01 the main pstricks tools + +(/usr/share/texlive/texmf-dist/tex/latex/pstricks/pstricks.sty +Package: pstricks 2011/10/31 v0.52 LaTeX wrapper for `PSTricks' (RN,HV) + +(/usr/share/texlive/texmf-dist/tex/generic/pstricks/pstricks.tex +(/usr/share/texlive/texmf-dist/tex/generic/xkeyval/pst-xkey.tex +File: pst-xkey.tex 2005/11/25 v1.6 PSTricks specialization of xkeyval (HA) + +(/usr/share/texlive/texmf-dist/tex/latex/xkeyval/xkeyval.sty +Package: xkeyval 2008/08/13 v2.6a package option processing (HA) + +(/usr/share/texlive/texmf-dist/tex/generic/xkeyval/xkeyval.tex +\XKV@toks=\toks37 +\XKV@tempa@toks=\toks38 +\XKV@depth=\count117 +File: xkeyval.tex 2008/08/13 v2.6a key=value parser (HA) +))) +(/usr/share/texlive/texmf-dist/tex/generic/pstricks/pst-fp.tex +`pst-fp' v0.05, 2010/01/17 (hv) +\pstFP@xs=\count118 +\pstFP@xia=\count119 +\pstFP@xib=\count120 +\pstFP@xfa=\count121 +\pstFP@xfb=\count122 +\pstFP@rega=\count123 +\pstFP@regb=\count124 +\pstFP@regs=\count125 +\pstFP@times=\count126 +) +\psLoopIndex=\count127 + +`PSTricks' v2.29 <2012/06/04> (tvz) +\pst@dima=\dimen150 +\pst@dimb=\dimen151 +\pst@dimc=\dimen152 +\pst@dimd=\dimen153 +\pst@dimg=\dimen154 +\pst@dimh=\dimen155 +\pst@dimm=\dimen156 +\pst@dimn=\dimen157 +\pst@dimo=\dimen158 +\pst@dimp=\dimen159 +\pst@hbox=\box54 +\pst@ibox=\box55 +\pst@boxg=\box56 +\pst@cnta=\count128 +\pst@cntb=\count129 +\pst@cntc=\count130 +\pst@cntd=\count131 +\pst@cntg=\count132 +\pst@cnth=\count133 +\pst@cntm=\count134 +\pst@cntn=\count135 +\pst@cnto=\count136 +\pst@cntp=\count137 +\@zero=\count138 +\pst@toks=\toks39 +(/usr/share/texlive/texmf-dist/tex/generic/pstricks/pstricks.con) +\psunit=\dimen160 +\psxunit=\dimen161 +\psyunit=\dimen162 +\pst@C@@rType=\count139 +\pslinewidth=\dimen163 +\psk@startLW=\dimen164 +\psk@endLW=\dimen165 +\pst@customdefs=\toks40 +\pslinearc=\dimen166 +\pst@symbolStep=\dimen167 +\pst@symbolWidth=\dimen168 +\pst@symbolLinewidth=\dimen169 +\everypsbox=\toks41 +\psframesep=\dimen170 +\pslabelsep=\dimen171 +\pst@shift=\dimen172 +\theoverlaybox=\box57 +) +File: pstricks.tex 2012/06/04 v2.29 `PSTricks' (tvz,hv) + +(/usr/share/texlive/texmf-dist/tex/generic/pstricks/pst-fp.tex) +File: pst-fp.tex 2012/06/04 v2.29 `PST-fp' (hv) + +(/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. + +(/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/error messages (HO) +) +(/usr/share/texlive/texmf-dist/tex/generic/oberdiek/ltxcmds.sty +Package: ltxcmds 2011/11/09 v1.22 LaTeX kernel commands for general use (HO) +) +\Gread@gobject=\count140 +) +Package xcolor Info: Model `cmy' substituted by `cmy0' on input line 1337. +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/texlive/texmf-dist/tex/latex/pst-plot/pst-plot.sty +Package: pst-plot 2011/06/05 v1.00 LaTeX wrapper for `pst-plot' (HV) + +(/usr/share/texlive/texmf-dist/tex/latex/xkeyval/pst-xkey.sty +Package: pst-xkey 2005/11/25 v1.6 package wrapper for pst-xkey.tex (HA) +) +(/usr/share/texlive/texmf-dist/tex/latex/multido/multido.sty +Package: multido 2004/05/17 package wrapper for PSTricks `multido.tex', (HV/RN) + + +(/usr/share/texlive/texmf-dist/tex/generic/multido/multido.tex + v1.42, 2010/05/14 +\multido@count=\count141 +\multidocount=\count142 +\multido@stuff=\toks42 +) +File: multido.tex 2010/05/14 v1.42 `multido' (tvz,hv) +) +Package: pst-plot 2011/04/13 package wrapper for pst-plot.tex (hv) + +(/usr/share/texlive/texmf-dist/tex/generic/pst-plot/pst-plot.tex + v1.42, 2012/05/03 (tvz,hv) +\pstRadUnit=\dimen173 +\pstRadUnitInv=\dimen174 +\pst@linecnt=\count143 +\psxlabelsep=\dimen175 +\psylabelsep=\dimen176 +\psk@subticksize=\dimen177 +\pst@xticksizeA=\dimen178 +\pst@xticksizeB=\dimen179 +\pst@xticksizeC=\dimen180 +\pst@yticksizeA=\dimen181 +\pst@yticksizeB=\dimen182 +\pst@yticksizeC=\dimen183 +\@digitcounter=\count144 +\psk@llx=\dimen184 +\psk@lly=\dimen185 +\psk@urx=\dimen186 +\psk@ury=\dimen187 +\pst@xunit=\dimen188 +\pst@yunit=\dimen189 +) +File: pst-plot.tex 2012/05/03 1.42 `pst-plot' (tvz,hv) +) +(/usr/share/texlive/texmf-dist/tex/latex/pst-node/pst-node.sty +Package: pst-node 2011/06/05 v1.00 LaTeX wrapper for `pst-node' (HV) +Package: pst-node 2010/04/22 package wrapper for pst-node.tex + +(/usr/share/texlive/texmf-dist/tex/generic/pst-node/pst-node.tex + v1.22, 2012/02/12 +\psrow=\count145 +\pscol=\count146 +\psmatrixcnt=\count147 +\psrowsep=\skip61 +\pscolsep=\skip62 +\pst@args=\count148 +\num@pts=\count149 +\pst@argcnt=\count150 +) +File: pst-node.tex 2012/02/12 1.22 `pst-node' (tvz) +) +(/usr/share/texlive/texmf-dist/tex/latex/pst-tree/pst-tree.sty +Package: pst-tree 2009/01/25 package wrapper for pst-tree.tex + +(/usr/share/texlive/texmf-dist/tex/generic/pst-tree/pst-tree.tex + v1.12, 2011/02/28(tvz,dg,hv) +\pstree@rootbox=\box58 +\pstree@box=\box59 +\psnodecnt=\count151 +\pstreelevel=\count152 +\pstreecnt=\count153 +\pstree@cnt=\count154 +\pstree@stop=\count155 +) +File: pst-tree.tex 2011/02/28 1.12 `pst-tree' (tvz,hv) +) +(/usr/share/texlive/texmf-dist/tex/latex/pst-grad/pst-grad.sty +Package: pst-grad 2004/07/15 package wrapper for pst-grad.tex (hv) + +(/usr/share/texlive/texmf-dist/tex/generic/pst-grad/pst-grad.tex +`pst-grad' v1.06, 2006/11/27 (tvz,dg,hv)) +File: pst-grad.tex 2006/11/27 1.06 `pst-grad' (tvz) +) +(/usr/share/texlive/texmf-dist/tex/latex/pst-coil/pst-coil.sty +Package: pst-coil 2010/02/01 package wrapper for pst-coil.tex (hv) + +(/usr/share/texlive/texmf-dist/tex/generic/pst-coil/pst-coil.tex + v1.06, 2006/11/27 +(/usr/share/texlive/texmf-dist/tex/generic/pst-node/pst-node.tex)) +File: pst-coil.tex 2011/09/17 v1.06 `PST-coil' (tvz,hv) +) +(/usr/share/texlive/texmf-dist/tex/latex/pst-text/pst-text.sty +Package: pst-text 2006/01/01 package wrapper for pst-text.tex (hv) + +(/usr/share/texlive/texmf-dist/tex/generic/pst-text/pst-text.tex + v1.00, 2006/11/05(tvz,hv)) +File: pst-text.tex 2006/11/05 1.00 `pst-text' (tvz) +) +(/usr/share/texlive/texmf-dist/tex/latex/pst-3d/pst-3d.sty +Package: pst-3d 2009/07/28 package wrapper for pst-3d.tex (hv) + +(/usr/share/texlive/texmf-dist/tex/generic/pst-3d/pst-3d.tex +`PST-3d' v1.11, 2010/02/14 (tvz)) +File: pst-3d.tex 2010/02/14 v1.11 `PST-3d' (hv) +) +(/usr/share/texlive/texmf-dist/tex/latex/pst-eps/pst-eps.sty +Package: pst-eps 2005/05/20 package wrapper for pst-eps.tex (hv) + +(/usr/share/texlive/texmf-dist/tex/generic/pst-eps/pst-eps.tex + v1.00, 2006/11/04 +\pst@epsout=\write3 +\pst@tempout=\write4 +) +File: pst-eps.tex 2006/11/04 1.00 `pst-eps' (tvz) +) +(/usr/share/texlive/texmf-dist/tex/latex/pst-fill/pst-fill.sty +Package: pst-fill 2005/09/13 package wrapper for pst-fill.tex (hv) + +(/usr/share/texlive/texmf-dist/tex/generic/pst-fill/pst-fill.tex +`PST-Fill' v1.01, 2007/03/10 (tvz,dg,hv) +\pst@fillbox=\box60 +) +File: pst-fill.tex 2007/03/10 v1.01 `PST-fill' (tvz,dg) +) +(/usr/share/texlive/texmf-dist/tex/latex/pstricks-add/pstricks-add.sty +(/usr/share/texlive/texmf-dist/tex/latex/pst-math/pst-math.sty +Package: pst-math 2009/01/20 package wrapper for PSTricks pst-math.tex + +(/usr/share/texlive/texmf-dist/tex/generic/pst-math/pst-math.tex +`pst-math' v0.62 , (CJ,hv)) +File: pst-math.tex 2010/10/20 v0.62 `PST-math' (hv) +) +Package: pstricks-add 2010/02/11 v. 0.14 package wrapper for pstricks-add.tex ( +hv) + +(/usr/share/texlive/texmf-dist/tex/generic/pstricks-add/pstricks-add.tex +`pstricks-add' v3.55, 2011/12/11 (dr,hv) +\pshooklength=\dimen190 +\pshookwidth=\dimen191 +\pst@cntC=\count156 +\chart@ColorIndex=\dimen192 +\chart@ColorStep=\dimen193 +\pst@chartHeight=\dimen194 +\pst@chartStackDepth=\dimen195 +\pst@chartStackWidth=\dimen196 +\chart@Toggle=\count157 +\psVectorCtr=\count158 +) +File: pstricks-add.tex 2011/12/11 v3.55 `PSTricks-add' (hv) +)) +(/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 Detect VTeX and its facilities (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=\count159 +\Gm@cntv=\count160 +\c@Gm@tempcnt=\count161 +\Gm@bindingoffset=\dimen197 +\Gm@wd@mp=\dimen198 +\Gm@odd@mp=\dimen199 +\Gm@even@mp=\dimen200 +\Gm@layoutwidth=\dimen201 +\Gm@layoutheight=\dimen202 +\Gm@layouthoffset=\dimen203 +\Gm@layoutvoffset=\dimen204 +\Gm@dimlist=\toks43 +) +(./symboles.sty) (./main.aux) +\openout1 = `main.aux'. + +LaTeX Font Info: Checking defaults for OML/cmm/m/it on input line 31. +LaTeX Font Info: ... okay on input line 31. +LaTeX Font Info: Checking defaults for T1/cmr/m/n on input line 31. +LaTeX Font Info: ... okay on input line 31. +LaTeX Font Info: Checking defaults for OT1/cmr/m/n on input line 31. +LaTeX Font Info: ... okay on input line 31. +LaTeX Font Info: Checking defaults for OMS/cmsy/m/n on input line 31. +LaTeX Font Info: ... okay on input line 31. +LaTeX Font Info: Checking defaults for OMX/cmex/m/n on input line 31. +LaTeX Font Info: ... okay on input line 31. +LaTeX Font Info: Checking defaults for U/cmr/m/n on input line 31. +LaTeX Font Info: ... okay on input line 31. +LaTeX Font Info: Checking defaults for TS1/cmr/m/n on input line 31. +LaTeX Font Info: Try loading font information for TS1+cmr on input line 31. + +(/usr/share/texlive/texmf-dist/tex/latex/base/ts1cmr.fd +File: ts1cmr.fd 1999/05/25 v2.5h Standard LaTeX font definitions +) +LaTeX Font Info: ... okay on input line 31. +LaTeX Font Info: Try loading font information for OT1+ptm on input line 31. + +(/usr/share/texlive/texmf-dist/tex/latex/psnfss/ot1ptm.fd +File: ot1ptm.fd 2001/06/04 font definitions for OT1/ptm. +) +LaTeX Info: Redefining \degres on input line 31. +LaTeX Info: Redefining \dots on input line 31. +LaTeX Info: Redefining \up on input line 31. + + +Package frenchb.ldf Warning: OT1 encoding should not be used for French. +(frenchb.ldf) Add \usepackage[T1]{fontenc} to the preamble +(frenchb.ldf) of your document, on input line 31. + +(/usr/share/texlive/texmf-dist/tex/generic/oberdiek/pdftexcmds.sty +Package: pdftexcmds 2011/11/29 v0.20 Utility functions of pdfTeX for LuaTeX (HO +) + +(/usr/share/texlive/texmf-dist/tex/generic/oberdiek/ifluatex.sty +Package: ifluatex 2010/03/01 v1.3 Provides the ifluatex switch (HO) +Package ifluatex Info: LuaTeX not detected. +) +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. +) +(/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 Manage graphics extensions (HO) + +(/usr/share/texlive/texmf-dist/tex/generic/oberdiek/kvdefinekeys.sty +Package: kvdefinekeys 2011/04/07 v1.3 Define keys (HO) +)) +(/usr/share/texlive/texmf-dist/tex/latex/oberdiek/kvoptions.sty +Package: kvoptions 2011/06/30 v3.11 Key value format for package options (HO) + +(/usr/share/texlive/texmf-dist/tex/generic/oberdiek/kvsetkeys.sty +Package: kvsetkeys 2012/04/25 v1.16 Key value parser (HO) + +(/usr/share/texlive/texmf-dist/tex/generic/oberdiek/etexcmds.sty +Package: etexcmds 2011/02/16 v1.5 Avoid name clashes with e-TeX commands (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 epstopdf-base Info: Redefining graphics rule for `.eps' on input line 4 +34. +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 +)) +(/usr/share/texlive/texmf-dist/tex/context/base/supp-pdf.mkii +[Loading MPS to PDF converter (version 2006.09.02).] +\scratchcounter=\count162 +\scratchdimen=\dimen205 +\scratchbox=\box61 +\nofMPsegments=\count163 +\nofMParguments=\count164 +\everyMPshowfont=\toks44 +\MPscratchCnt=\count165 +\MPscratchDim=\dimen206 +\MPnumerator=\count166 +\makeMPintoPDFobject=\count167 +\everyMPtoPDFconversion=\toks45 +) +*geometry* driver: auto-detecting +*geometry* detected driver: pdftex +*geometry* verbose mode - [ preamble ] result: +* driver: pdftex +* paper: a4paper +* layout: +* layoutoffset:(h,v)=(0.0pt,0.0pt) +* modes: +* h-part:(L,W,R)=(28.45274pt, 540.60239pt, 28.45274pt) +* v-part:(T,H,B)=(42.67912pt, 759.6886pt, 42.67912pt) +* \paperwidth=597.50787pt +* \paperheight=845.04684pt +* \textwidth=540.60239pt +* \textheight=759.6886pt +* \oddsidemargin=-43.81725pt +* \evensidemargin=-43.81725pt +* \topmargin=-66.59087pt +* \headheight=12.0pt +* \headsep=25.0pt +* \topskip=12.0pt +* \footskip=30.0pt +* \marginparwidth=57.81621pt +* \marginparsep=10.0pt +* \columnsep=10.0pt +* \skip\footins=10.8pt 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) + +LaTeX Font Info: Try loading font information for U+msa on input line 33. +(/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 33. + +(/usr/share/texlive/texmf-dist/tex/latex/amsfonts/umsb.fd +File: umsb.fd 2009/06/22 v3.00 AMS symbols B +) + +LaTeX Warning: No \author given. + +LaTeX Font Info: Font shape `OT1/ptm/bx/n' in size <17.28> not available +(Font) Font shape `OT1/ptm/b/n' tried instead on input line 38. +LaTeX Font Info: Font shape `OT1/ptm/bx/n' in size <14.4> not available +(Font) Font shape `OT1/ptm/b/n' tried instead on input line 40. + +Underfull \hbox (badness 10000) in paragraph at lines 41--43 + + [] + + +Underfull \hbox (badness 10000) in paragraph at lines 50--70 + + [] + + +Underfull \hbox (badness 10000) in paragraph at lines 73--74 + + [] + +[1 +Non-PDF special ignored! +Non-PDF special ignored! +Non-PDF special ignored! +Non-PDF special ignored! +Non-PDF special ignored! +Non-PDF special ignored! +Non-PDF special ignored! +Non-PDF special ignored! +Non-PDF special ignored! +Non-PDF special ignored! +Non-PDF special ignored! + + +Non-PDF special ignored! +Non-PDF special ignored! +Non-PDF special ignored!{/var/lib/texmf/fonts/map/pdftex/updmap/pdftex.map}] +\tf@thm=\write5 +\openout5 = `main.thm'. + + +[2] (./main.aux) ) +Here is how much of TeX's memory you used: + 9331 strings out of 495059 + 132906 string characters out of 3182030 + 284200 words of memory out of 3000000 + 12252 multiletter control sequences out of 15000+200000 + 20303 words of font info for 56 fonts, out of 3000000 for 9000 + 14 hyphenation exceptions out of 8191 + 44i,14n,64p,595b,222s stack positions out of 5000i,500n,10000p,200000b,50000s +{/usr/share/texlive/texmf-dist/fonts/enc/dvips/base/8r.enc}< +/usr/share/texlive/texmf-dist/fonts/type1/urw/times/utmri8a.pfb> +Output written on main.pdf (2 pages, 99854 bytes). +PDF statistics: + 56 PDF objects out of 1000 (max. 8388607) + 40 compressed objects within 1 object stream + 0 named destinations out of 1000 (max. 500000) + 1 words of extra memory for PDF output out of 10000 (max. 10000000) + diff --git a/partiels/130311S2/main.pdf b/partiels/130311S2/main.pdf new file mode 100644 index 0000000..1bf2cf7 Binary files /dev/null and b/partiels/130311S2/main.pdf differ diff --git a/partiels/130311S2/main.thm b/partiels/130311S2/main.thm new file mode 100644 index 0000000..e69de29 diff --git a/partiels/130311S3_tp/main.aux b/partiels/130311S3_tp/main.aux new file mode 100644 index 0000000..a0dd0ed --- /dev/null +++ b/partiels/130311S3_tp/main.aux @@ -0,0 +1,9 @@ +\relax +\catcode`:\active +\catcode`;\active +\catcode`!\active +\catcode`?\active +\select@language{french} +\@writefile{toc}{\select@language{french}} +\@writefile{lof}{\select@language{french}} +\@writefile{lot}{\select@language{french}} diff --git a/partiels/130311S3_tp/main.log b/partiels/130311S3_tp/main.log new file mode 100644 index 0000000..d7ff8ef --- /dev/null +++ b/partiels/130311S3_tp/main.log @@ -0,0 +1,1509 @@ +This is pdfTeX, Version 3.1415926-2.4-1.40.13 (TeX Live 2012/Debian) (format=pdflatex 2012.11.7) 5 APR 2013 09:11 +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/texlive/texmf-dist/tex/latex/base/article.cls +Document Class: article 2007/10/19 v1.4h Standard LaTeX document class +(/usr/share/texlive/texmf-dist/tex/latex/base/size11.clo +File: size11.clo 2007/10/19 v1.4h Standard LaTeX file (size option) +) +\c@part=\count79 +\c@section=\count80 +\c@subsection=\count81 +\c@subsubsection=\count82 +\c@paragraph=\count83 +\c@subparagraph=\count84 +\c@figure=\count85 +\c@table=\count86 +\abovecaptionskip=\skip41 +\belowcaptionskip=\skip42 +\bibindent=\dimen102 +) +(/usr/share/texlive/texmf-dist/tex/generic/babel/babel.sty +Package: babel 2008/07/08 v3.8m The Babel package + +(/usr/share/texlive/texmf-dist/tex/generic/babel/frenchb.ldf +Language: frenchb 2010/08/21 v2.5a French support from the babel system + +(/usr/share/texlive/texmf-dist/tex/generic/babel/babel.def +File: babel.def 2008/07/08 v3.8m Babel common definitions +\babel@savecnt=\count87 +\U@D=\dimen103 +) + +Package babel Warning: No hyphenation patterns were loaded for +(babel) the language `French' +(babel) I will use the patterns loaded for \language=0 instead. + +\l@french = a dialect from \language0 +Package babel Info: Making : an active character on input line 234. +Package babel Info: Making ; an active character on input line 235. +Package babel Info: Making ! an active character on input line 236. +Package babel Info: Making ? an active character on input line 237. +\FB@Mht=\dimen104 +\std@mcc=\count88 +\dec@mcc=\count89 +\parindentFFN=\dimen105 +************************************* +* Local config file frenchb.cfg used +* +(/usr/share/texlive/texmf-dist/tex/generic/babel/frenchb.cfg)) +(/usr/share/texlive/texmf-dist/tex/generic/babel/frenchb.ldf +Language: frenchb 2010/08/21 v2.5a French support from the babel system +)) +(/usr/share/texlive/texmf-dist/tex/latex/carlisle/scalefnt.sty) +(/usr/share/texlive/texmf-dist/tex/latex/graphics/keyval.sty +Package: keyval 1999/03/16 v1.13 key=value parser (DPC) +\KV@toks@=\toks14 +) +(/usr/share/texlive/texmf-dist/tex/latex/base/inputenc.sty +Package: inputenc 2008/03/30 v1.1d Input encoding file +\inpenc@prehook=\toks15 +\inpenc@posthook=\toks16 + +(/usr/share/texlive/texmf-dist/tex/latex/base/utf8.def +File: utf8.def 2008/04/05 v1.1m UTF-8 support for inputenc +Now handling font encoding OML ... +... no UTF-8 mapping file for font encoding OML +Now handling font encoding T1 ... +... processing UTF-8 mapping file for font encoding T1 + +(/usr/share/texlive/texmf-dist/tex/latex/base/t1enc.dfu +File: t1enc.dfu 2008/04/05 v1.1m UTF-8 support for inputenc + defining Unicode char U+00A1 (decimal 161) + defining Unicode char U+00A3 (decimal 163) + defining Unicode char U+00AB (decimal 171) + defining Unicode char U+00BB (decimal 187) + defining Unicode char U+00BF (decimal 191) + defining Unicode char U+00C0 (decimal 192) + defining Unicode char U+00C1 (decimal 193) + defining Unicode char U+00C2 (decimal 194) + defining Unicode char U+00C3 (decimal 195) + defining Unicode char U+00C4 (decimal 196) + defining Unicode char U+00C5 (decimal 197) + defining Unicode char U+00C6 (decimal 198) + defining Unicode char U+00C7 (decimal 199) + defining Unicode char U+00C8 (decimal 200) + defining Unicode char U+00C9 (decimal 201) + defining Unicode char U+00CA (decimal 202) + defining Unicode char U+00CB (decimal 203) + defining Unicode char U+00CC (decimal 204) + defining Unicode char U+00CD (decimal 205) + defining Unicode char U+00CE (decimal 206) + defining Unicode char U+00CF (decimal 207) + defining Unicode char U+00D0 (decimal 208) + defining Unicode char U+00D1 (decimal 209) + defining Unicode char U+00D2 (decimal 210) + defining Unicode char U+00D3 (decimal 211) + defining Unicode char U+00D4 (decimal 212) + defining Unicode char U+00D5 (decimal 213) + defining Unicode char U+00D6 (decimal 214) + defining Unicode char U+00D8 (decimal 216) + defining Unicode char U+00D9 (decimal 217) + defining Unicode char U+00DA (decimal 218) + defining Unicode char U+00DB (decimal 219) + defining Unicode char U+00DC (decimal 220) + defining Unicode char U+00DD (decimal 221) + defining Unicode char U+00DE (decimal 222) + defining Unicode char U+00DF (decimal 223) + defining Unicode char U+00E0 (decimal 224) + defining Unicode char U+00E1 (decimal 225) + defining Unicode char U+00E2 (decimal 226) + defining Unicode char U+00E3 (decimal 227) + defining Unicode char U+00E4 (decimal 228) + defining Unicode char U+00E5 (decimal 229) + defining Unicode char U+00E6 (decimal 230) + defining Unicode char U+00E7 (decimal 231) + defining Unicode char U+00E8 (decimal 232) + defining Unicode char U+00E9 (decimal 233) + defining Unicode char U+00EA (decimal 234) + defining Unicode char U+00EB (decimal 235) + defining Unicode char U+00EC (decimal 236) + defining Unicode char U+00ED (decimal 237) + defining Unicode char U+00EE (decimal 238) + defining Unicode char U+00EF (decimal 239) + defining Unicode char U+00F0 (decimal 240) + defining Unicode char U+00F1 (decimal 241) + defining Unicode char U+00F2 (decimal 242) + defining Unicode char U+00F3 (decimal 243) + defining Unicode char U+00F4 (decimal 244) + defining Unicode char U+00F5 (decimal 245) + defining Unicode char U+00F6 (decimal 246) + defining Unicode char U+00F8 (decimal 248) + defining Unicode char U+00F9 (decimal 249) + defining Unicode char U+00FA (decimal 250) + defining Unicode char U+00FB (decimal 251) + defining Unicode char U+00FC (decimal 252) + defining Unicode char U+00FD (decimal 253) + defining Unicode char U+00FE (decimal 254) + defining Unicode char U+00FF (decimal 255) + defining Unicode char U+0102 (decimal 258) + defining Unicode char U+0103 (decimal 259) + defining Unicode char U+0104 (decimal 260) + defining Unicode char U+0105 (decimal 261) + defining Unicode char U+0106 (decimal 262) + defining Unicode char U+0107 (decimal 263) + defining Unicode char U+010C (decimal 268) + defining Unicode char U+010D (decimal 269) + defining Unicode char U+010E (decimal 270) + defining Unicode char U+010F (decimal 271) + defining Unicode char U+0110 (decimal 272) + defining Unicode char U+0111 (decimal 273) + defining Unicode char U+0118 (decimal 280) + defining Unicode char U+0119 (decimal 281) + defining Unicode char U+011A (decimal 282) + defining Unicode char U+011B (decimal 283) + defining Unicode char U+011E (decimal 286) + defining Unicode char U+011F (decimal 287) + defining Unicode char U+0130 (decimal 304) + defining Unicode char U+0131 (decimal 305) + defining Unicode char U+0132 (decimal 306) + defining Unicode char U+0133 (decimal 307) + defining Unicode char U+0139 (decimal 313) + defining Unicode char U+013A (decimal 314) + defining Unicode char U+013D (decimal 317) + defining Unicode char U+013E (decimal 318) + defining Unicode char U+0141 (decimal 321) + defining Unicode char U+0142 (decimal 322) + defining Unicode char U+0143 (decimal 323) + defining Unicode char U+0144 (decimal 324) + defining Unicode char U+0147 (decimal 327) + defining Unicode char U+0148 (decimal 328) + defining Unicode char U+014A (decimal 330) + defining Unicode char U+014B (decimal 331) + defining Unicode char U+0150 (decimal 336) + defining Unicode char U+0151 (decimal 337) + defining Unicode char U+0152 (decimal 338) + defining Unicode char U+0153 (decimal 339) + defining Unicode char U+0154 (decimal 340) + defining Unicode char U+0155 (decimal 341) + defining Unicode char U+0158 (decimal 344) + defining Unicode char U+0159 (decimal 345) + defining Unicode char U+015A (decimal 346) + defining Unicode char U+015B (decimal 347) + defining Unicode char U+015E (decimal 350) + defining Unicode char U+015F (decimal 351) + defining Unicode char U+0160 (decimal 352) + defining Unicode char U+0161 (decimal 353) + defining Unicode char U+0162 (decimal 354) + defining Unicode char U+0163 (decimal 355) + defining Unicode char U+0164 (decimal 356) + defining Unicode char U+0165 (decimal 357) + defining Unicode char U+016E (decimal 366) + defining Unicode char U+016F (decimal 367) + defining Unicode char U+0170 (decimal 368) + defining Unicode char U+0171 (decimal 369) + defining Unicode char U+0178 (decimal 376) + defining Unicode char U+0179 (decimal 377) + defining Unicode char U+017A (decimal 378) + defining Unicode char U+017B (decimal 379) + defining Unicode char U+017C (decimal 380) + defining Unicode char U+017D (decimal 381) + defining Unicode char U+017E (decimal 382) + defining Unicode char U+200C (decimal 8204) + defining Unicode char U+2013 (decimal 8211) + defining Unicode char U+2014 (decimal 8212) + defining Unicode char U+2018 (decimal 8216) + defining Unicode char U+2019 (decimal 8217) + defining Unicode char U+201A (decimal 8218) + defining Unicode char U+201C (decimal 8220) + defining Unicode char U+201D (decimal 8221) + defining Unicode char U+201E (decimal 8222) + defining Unicode char U+2030 (decimal 8240) + defining Unicode char U+2031 (decimal 8241) + defining Unicode char U+2039 (decimal 8249) + defining Unicode char U+203A (decimal 8250) + defining Unicode char U+2423 (decimal 9251) +) +Now handling font encoding OT1 ... +... processing UTF-8 mapping file for font encoding OT1 + +(/usr/share/texlive/texmf-dist/tex/latex/base/ot1enc.dfu +File: ot1enc.dfu 2008/04/05 v1.1m UTF-8 support for inputenc + defining Unicode char U+00A1 (decimal 161) + defining Unicode char U+00A3 (decimal 163) + defining Unicode char U+00B8 (decimal 184) + defining Unicode char U+00BF (decimal 191) + defining Unicode char U+00C5 (decimal 197) + defining Unicode char U+00C6 (decimal 198) + defining Unicode char U+00D8 (decimal 216) + defining Unicode char U+00DF (decimal 223) + defining Unicode char U+00E6 (decimal 230) + defining Unicode char U+00EC (decimal 236) + defining Unicode char U+00ED (decimal 237) + defining Unicode char U+00EE (decimal 238) + defining Unicode char U+00EF (decimal 239) + defining Unicode char U+00F8 (decimal 248) + defining Unicode char U+0131 (decimal 305) + defining Unicode char U+0141 (decimal 321) + defining Unicode char U+0142 (decimal 322) + defining Unicode char U+0152 (decimal 338) + defining Unicode char U+0153 (decimal 339) + defining Unicode char U+2013 (decimal 8211) + defining Unicode char U+2014 (decimal 8212) + defining Unicode char U+2018 (decimal 8216) + defining Unicode char U+2019 (decimal 8217) + defining Unicode char U+201C (decimal 8220) + defining Unicode char U+201D (decimal 8221) +) +Now handling font encoding OMS ... +... processing UTF-8 mapping file for font encoding OMS + +(/usr/share/texlive/texmf-dist/tex/latex/base/omsenc.dfu +File: omsenc.dfu 2008/04/05 v1.1m UTF-8 support for inputenc + defining Unicode char U+00A7 (decimal 167) + defining Unicode char U+00B6 (decimal 182) + defining Unicode char U+00B7 (decimal 183) + defining Unicode char U+2020 (decimal 8224) + defining Unicode char U+2021 (decimal 8225) + defining Unicode char U+2022 (decimal 8226) +) +Now handling font encoding OMX ... +... no UTF-8 mapping file for font encoding OMX +Now handling font encoding U ... +... no UTF-8 mapping file for font encoding U + defining Unicode char U+00A9 (decimal 169) + defining Unicode char U+00AA (decimal 170) + defining Unicode char U+00AE (decimal 174) + defining Unicode char U+00BA (decimal 186) + defining Unicode char U+02C6 (decimal 710) + defining Unicode char U+02DC (decimal 732) + defining Unicode char U+200C (decimal 8204) + defining Unicode char U+2026 (decimal 8230) + defining Unicode char U+2122 (decimal 8482) + defining Unicode char U+2423 (decimal 9251) +)) +(/usr/share/texlive/texmf-dist/tex/latex/ntgclass/a4.sty +Package: a4 2004/04/15 v1.2g A4 based page layout +) +(/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsmath.sty +Package: amsmath 2000/07/18 v2.13 AMS math features +\@mathmargin=\skip43 + +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=\toks17 +\ex@=\dimen106 +)) +(/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsbsy.sty +Package: amsbsy 1999/11/29 v1.2d +\pmbraise@=\dimen107 +) +(/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsopn.sty +Package: amsopn 1999/12/14 v2.01 operator names +) +\inf@bad=\count90 +LaTeX Info: Redefining \frac on input line 211. +\uproot@=\count91 +\leftroot@=\count92 +LaTeX Info: Redefining \overline on input line 307. +\classnum@=\count93 +\DOTSCASE@=\count94 +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=\dimen108 +LaTeX Font Info: Redeclaring font encoding OML on input line 567. +LaTeX Font Info: Redeclaring font encoding OMS on input line 568. +\macc@depth=\count95 +\c@MaxMatrixCols=\count96 +\dotsspace@=\muskip10 +\c@parentequation=\count97 +\dspbrk@lvl=\count98 +\tag@help=\toks18 +\row@=\count99 +\column@=\count100 +\maxfields@=\count101 +\andhelp@=\toks19 +\eqnshift@=\dimen109 +\alignsep@=\dimen110 +\tagshift@=\dimen111 +\tagwidth@=\dimen112 +\totwidth@=\dimen113 +\lineht@=\dimen114 +\@envbody=\toks20 +\multlinegap=\skip44 +\multlinetaggap=\skip45 +\mathdisplay@stack=\toks21 +LaTeX Info: Redefining \[ on input line 2666. +LaTeX Info: Redefining \] on input line 2667. +) +(/usr/share/texlive/texmf-dist/tex/latex/amsfonts/amsfonts.sty +Package: amsfonts 2009/06/22 v3.00 Basic AMSFonts support +\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/texlive/texmf-dist/tex/latex/amsfonts/amssymb.sty +Package: amssymb 2009/06/22 v3.00 +) +(/usr/share/texlive/texmf-dist/tex/latex/framed/framed.sty +Package: framed 2011/10/22 v 0.96: framed or shaded text with page breaks +\OuterFrameSep=\skip46 +\fb@frw=\dimen115 +\fb@frh=\dimen116 +\FrameRule=\dimen117 +\FrameSep=\dimen118 +) +(/usr/share/texlive/texmf-dist/tex/latex/doublestroke/dsfont.sty +Package: dsfont 1995/08/01 v0.1 Double stroke roman fonts +) +(/usr/share/texlive/texmf-dist/tex/latex/ntheorem/ntheorem.sty +Style `ntheorem', Version 1.31 <2011/02/16> +Package: ntheorem 2011/02/16 1.31 +(/usr/share/texlive/texmf-dist/tex/latex/base/ifthen.sty +Package: ifthen 2001/05/26 v1.1c Standard LaTeX ifthen package (DPC) +) +\theorem@style=\toks22 +\theorem@@style=\toks23 +\theorembodyfont=\toks24 +\theoremnumbering=\toks25 +\theorempreskipamount=\skip47 +\theorempostskipamount=\skip48 +\theoremframepreskipamount=\skip49 +\theoremframepostskipamount=\skip50 +\theoremindent=\dimen119 +\theorem@indent=\dimen120 +\theoremheaderfont=\toks26 +\theoremseparator=\toks27 +\theoremprework=\toks28 +\theorempostwork=\toks29 +\theoremsymbol=\toks30 +\qedsymbol=\toks31 +\theoremkeyword=\toks32 +\qedsymbol=\toks33 +\thm@topsepadd=\skip51 +Package ntheorem Info: Option `thmmarks' loaded on input line 1066. +\c@endNonectr=\count102 +\c@currNonectr=\count103 +\mysavskip=\skip52 +Package ntheorem Info: Option `thref' loaded on input line 1066. +\mysavskip=\skip53 +Package ntheorem Info: option `amsmath' handling for `thref' loaded on input li +ne 1066. +Package ntheorem Info: option `amsmath' handling for `thmmarks' loaded on input + line 1066. +\thm@amstmpdepth=\dimen121 +\tagwidth=\dimen122 +\shadecolor=\toks34 +) +(/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: dvips.def on input line 91. + +(/usr/share/texlive/texmf-dist/tex/latex/graphics/dvips.def +File: dvips.def 1999/02/16 v3.0i Driver-dependant file (DPC,SPQR) +)) +(/usr/share/texlive/texmf-dist/tex/latex/graphics/epsfig.sty +Package: epsfig 1999/02/16 v1.7a (e)psfig emulation (SPQR) + +(/usr/share/texlive/texmf-dist/tex/latex/graphics/graphicx.sty +Package: graphicx 1999/02/16 v1.0f Enhanced LaTeX Graphics (DPC,SPQR) +\Gin@req@height=\dimen123 +\Gin@req@width=\dimen124 +) +\epsfxsize=\dimen125 +\epsfysize=\dimen126 +) +(/usr/share/texlive/texmf-dist/tex/latex/tools/calc.sty +Package: calc 2007/08/22 v4.3 Infix arithmetic (KKT,FJ) +\calc@Acount=\count104 +\calc@Bcount=\count105 +\calc@Adimen=\dimen127 +\calc@Bdimen=\dimen128 +\calc@Askip=\skip54 +\calc@Bskip=\skip55 +LaTeX Info: Redefining \setlength on input line 76. +LaTeX Info: Redefining \addtolength on input line 77. +\calc@Ccount=\count106 +\calc@Cskip=\skip56 +) +(/usr/share/texlive/texmf-dist/tex/latex/tabls/tabls.sty +\tablinesep=\dimen129 +\arraylinesep=\dimen130 +\extrarulesep=\dimen131 +\@arstdepth=\dimen132 +\@arstheight=\dimen133 +\@skip@bove=\dimen134 +) +(/usr/share/texlive/texmf-dist/tex/latex/psnfss/times.sty +Package: times 2005/04/12 PSNFSS-v9.2a (SPQR) +) +(/usr/share/texlive/texmf-dist/tex/latex/tools/multicol.sty +Package: multicol 2011/06/27 v1.7a multicolumn formatting (FMi) +\c@tracingmulticols=\count107 +\mult@box=\box28 +\multicol@leftmargin=\dimen135 +\c@unbalance=\count108 +\c@collectmore=\count109 +\doublecol@number=\count110 +\multicoltolerance=\count111 +\multicolpretolerance=\count112 +\full@width=\dimen136 +\page@free=\dimen137 +\premulticols=\dimen138 +\postmulticols=\dimen139 +\multicolsep=\skip57 +\multicolbaselineskip=\skip58 +\partial@page=\box29 +\last@line=\box30 +\mult@rightbox=\box31 +\mult@grightbox=\box32 +\mult@gfirstbox=\box33 +\mult@firstbox=\box34 +\@tempa=\box35 +\@tempa=\box36 +\@tempa=\box37 +\@tempa=\box38 +\@tempa=\box39 +\@tempa=\box40 +\@tempa=\box41 +\@tempa=\box42 +\@tempa=\box43 +\@tempa=\box44 +\@tempa=\box45 +\@tempa=\box46 +\@tempa=\box47 +\@tempa=\box48 +\@tempa=\box49 +\@tempa=\box50 +\@tempa=\box51 +\c@columnbadness=\count113 +\c@finalcolumnbadness=\count114 +\last@try=\dimen140 +\multicolovershoot=\dimen141 +\multicolundershoot=\dimen142 +\mult@nat@firstbox=\box52 +\colbreak@box=\box53 +\multicol@sort@counter=\count115 +) +(/usr/share/texlive/texmf-dist/tex/latex/skak/skak.sty +Package: skak 2008/10/09 v1.5 Chess typesetting + +(/usr/share/texlive/texmf-dist/tex/latex/chessfss/chessfss.sty +Package: chessfss 2006/06/14 v1.2a chess font selection scheme + +(/usr/share/texlive/texmf-dist/tex/latex/xkeyval/xkeyval.sty +Package: xkeyval 2008/08/13 v2.6a package option processing (HA) + +(/usr/share/texlive/texmf-dist/tex/generic/xkeyval/xkeyval.tex +\XKV@toks=\toks35 +\XKV@tempa@toks=\toks36 +\XKV@depth=\count116 +File: xkeyval.tex 2008/08/13 v2.6a key=value parser (HA) +)) +(/usr/share/texlive/texmf-dist/tex/latex/chessfss/lsbenc.def +File: lsbenc.def 2006/06/09 v1.2 Standard LaTeX file +Now handling font encoding LSB ... +... no UTF-8 mapping file for font encoding LSB +) +(/usr/share/texlive/texmf-dist/tex/latex/chessfss/lsfenc.def +File: lsfenc.def 2006/06/09 v1.2 Standard LaTeX file +Now handling font encoding LSF ... +... no UTF-8 mapping file for font encoding LSF +) +(/usr/share/texlive/texmf-dist/tex/latex/chessfss/lsienc.def +File: lsienc.def 2006/06/09 v1.2 Standard LaTeX file +Now handling font encoding LSI ... +... no UTF-8 mapping file for font encoding LSI +) +\len@cfss@squarewidth=\skip59 +\len@cfss@squaretotalheight=\skip60 +\len@cfss@squaredepth=\skip61 +) +(/usr/share/texlive/texmf-dist/tex/latex/skak/lambda.sty) +(/usr/share/texlive/texmf-dist/tex/latex/base/textcomp.sty +Package: textcomp 2005/09/27 v1.99g Standard LaTeX package +Package textcomp Info: Sub-encoding information: +(textcomp) 5 = only ISO-Adobe without \textcurrency +(textcomp) 4 = 5 + \texteuro +(textcomp) 3 = 4 + \textohm +(textcomp) 2 = 3 + \textestimated + \textcurrency +(textcomp) 1 = TS1 - \textcircled - \t +(textcomp) 0 = TS1 (full) +(textcomp) Font families with sub-encoding setting implement +(textcomp) only a restricted character set as indicated. +(textcomp) Family '?' is the default used for unknown fonts. +(textcomp) See the documentation for details. +Package textcomp Info: Setting ? sub-encoding to TS1/1 on input line 71. + +(/usr/share/texlive/texmf-dist/tex/latex/base/ts1enc.def +File: ts1enc.def 2001/06/05 v3.0e (jk/car/fm) Standard LaTeX file +Now handling font encoding TS1 ... +... processing UTF-8 mapping file for font encoding TS1 + +(/usr/share/texlive/texmf-dist/tex/latex/base/ts1enc.dfu +File: ts1enc.dfu 2008/04/05 v1.1m UTF-8 support for inputenc + defining Unicode char U+00A2 (decimal 162) + defining Unicode char U+00A3 (decimal 163) + defining Unicode char U+00A4 (decimal 164) + defining Unicode char U+00A5 (decimal 165) + defining Unicode char U+00A6 (decimal 166) + defining Unicode char U+00A7 (decimal 167) + defining Unicode char U+00A8 (decimal 168) + defining Unicode char U+00A9 (decimal 169) + defining Unicode char U+00AA (decimal 170) + defining Unicode char U+00AC (decimal 172) + defining Unicode char U+00AE (decimal 174) + defining Unicode char U+00AF (decimal 175) + defining Unicode char U+00B0 (decimal 176) + defining Unicode char U+00B1 (decimal 177) + defining Unicode char U+00B2 (decimal 178) + defining Unicode char U+00B3 (decimal 179) + defining Unicode char U+00B4 (decimal 180) + defining Unicode char U+00B5 (decimal 181) + defining Unicode char U+00B6 (decimal 182) + defining Unicode char U+00B7 (decimal 183) + defining Unicode char U+00B9 (decimal 185) + defining Unicode char U+00BA (decimal 186) + defining Unicode char U+00BC (decimal 188) + defining Unicode char U+00BD (decimal 189) + defining Unicode char U+00BE (decimal 190) + defining Unicode char U+00D7 (decimal 215) + defining Unicode char U+00F7 (decimal 247) + defining Unicode char U+0192 (decimal 402) + defining Unicode char U+02C7 (decimal 711) + defining Unicode char U+02D8 (decimal 728) + defining Unicode char U+02DD (decimal 733) + defining Unicode char U+0E3F (decimal 3647) + defining Unicode char U+2016 (decimal 8214) + defining Unicode char U+2020 (decimal 8224) + defining Unicode char U+2021 (decimal 8225) + defining Unicode char U+2022 (decimal 8226) + defining Unicode char U+2030 (decimal 8240) + defining Unicode char U+2031 (decimal 8241) + defining Unicode char U+203B (decimal 8251) + defining Unicode char U+203D (decimal 8253) + defining Unicode char U+2044 (decimal 8260) + defining Unicode char U+204E (decimal 8270) + defining Unicode char U+2052 (decimal 8274) + defining Unicode char U+20A1 (decimal 8353) + defining Unicode char U+20A4 (decimal 8356) + defining Unicode char U+20A6 (decimal 8358) + defining Unicode char U+20A9 (decimal 8361) + defining Unicode char U+20AB (decimal 8363) + defining Unicode char U+20AC (decimal 8364) + defining Unicode char U+20B1 (decimal 8369) + defining Unicode char U+2103 (decimal 8451) + defining Unicode char U+2116 (decimal 8470) + defining Unicode char U+2117 (decimal 8471) + defining Unicode char U+211E (decimal 8478) + defining Unicode char U+2120 (decimal 8480) + defining Unicode char U+2122 (decimal 8482) + defining Unicode char U+2126 (decimal 8486) + defining Unicode char U+2127 (decimal 8487) + defining Unicode char U+212E (decimal 8494) + defining Unicode char U+2190 (decimal 8592) + defining Unicode char U+2191 (decimal 8593) + defining Unicode char U+2192 (decimal 8594) + defining Unicode char U+2193 (decimal 8595) + defining Unicode char U+2329 (decimal 9001) + defining Unicode char U+232A (decimal 9002) + defining Unicode char U+2422 (decimal 9250) + defining Unicode char U+25E6 (decimal 9702) + defining Unicode char U+25EF (decimal 9711) + defining Unicode char U+266A (decimal 9834) +)) +LaTeX Info: Redefining \oldstylenums on input line 266. +Package textcomp Info: Setting cmr sub-encoding to TS1/0 on input line 281. +Package textcomp Info: Setting cmss sub-encoding to TS1/0 on input line 282. +Package textcomp Info: Setting cmtt sub-encoding to TS1/0 on input line 283. +Package textcomp Info: Setting cmvtt sub-encoding to TS1/0 on input line 284. +Package textcomp Info: Setting cmbr sub-encoding to TS1/0 on input line 285. +Package textcomp Info: Setting cmtl sub-encoding to TS1/0 on input line 286. +Package textcomp Info: Setting ccr sub-encoding to TS1/0 on input line 287. +Package textcomp Info: Setting ptm sub-encoding to TS1/4 on input line 288. +Package textcomp Info: Setting pcr sub-encoding to TS1/4 on input line 289. +Package textcomp Info: Setting phv sub-encoding to TS1/4 on input line 290. +Package textcomp Info: Setting ppl sub-encoding to TS1/3 on input line 291. +Package textcomp Info: Setting pag sub-encoding to TS1/4 on input line 292. +Package textcomp Info: Setting pbk sub-encoding to TS1/4 on input line 293. +Package textcomp Info: Setting pnc sub-encoding to TS1/4 on input line 294. +Package textcomp Info: Setting pzc sub-encoding to TS1/4 on input line 295. +Package textcomp Info: Setting bch sub-encoding to TS1/4 on input line 296. +Package textcomp Info: Setting put sub-encoding to TS1/5 on input line 297. +Package textcomp Info: Setting uag sub-encoding to TS1/5 on input line 298. +Package textcomp Info: Setting ugq sub-encoding to TS1/5 on input line 299. +Package textcomp Info: Setting ul8 sub-encoding to TS1/4 on input line 300. +Package textcomp Info: Setting ul9 sub-encoding to TS1/4 on input line 301. +Package textcomp Info: Setting augie sub-encoding to TS1/5 on input line 302. +Package textcomp Info: Setting dayrom sub-encoding to TS1/3 on input line 303. +Package textcomp Info: Setting dayroms sub-encoding to TS1/3 on input line 304. + +Package textcomp Info: Setting pxr sub-encoding to TS1/0 on input line 305. +Package textcomp Info: Setting pxss sub-encoding to TS1/0 on input line 306. +Package textcomp Info: Setting pxtt sub-encoding to TS1/0 on input line 307. +Package textcomp Info: Setting txr sub-encoding to TS1/0 on input line 308. +Package textcomp Info: Setting txss sub-encoding to TS1/0 on input line 309. +Package textcomp Info: Setting txtt sub-encoding to TS1/0 on input line 310. +Package textcomp Info: Setting lmr sub-encoding to TS1/0 on input line 311. +Package textcomp Info: Setting lmdh sub-encoding to TS1/0 on input line 312. +Package textcomp Info: Setting lmss sub-encoding to TS1/0 on input line 313. +Package textcomp Info: Setting lmssq sub-encoding to TS1/0 on input line 314. +Package textcomp Info: Setting lmvtt sub-encoding to TS1/0 on input line 315. +Package textcomp Info: Setting qhv sub-encoding to TS1/0 on input line 316. +Package textcomp Info: Setting qag sub-encoding to TS1/0 on input line 317. +Package textcomp Info: Setting qbk sub-encoding to TS1/0 on input line 318. +Package textcomp Info: Setting qcr sub-encoding to TS1/0 on input line 319. +Package textcomp Info: Setting qcs sub-encoding to TS1/0 on input line 320. +Package textcomp Info: Setting qpl sub-encoding to TS1/0 on input line 321. +Package textcomp Info: Setting qtm sub-encoding to TS1/0 on input line 322. +Package textcomp Info: Setting qzc sub-encoding to TS1/0 on input line 323. +Package textcomp Info: Setting qhvc sub-encoding to TS1/0 on input line 324. +Package textcomp Info: Setting futs sub-encoding to TS1/4 on input line 325. +Package textcomp Info: Setting futx sub-encoding to TS1/4 on input line 326. +Package textcomp Info: Setting futj sub-encoding to TS1/4 on input line 327. +Package textcomp Info: Setting hlh sub-encoding to TS1/3 on input line 328. +Package textcomp Info: Setting hls sub-encoding to TS1/3 on input line 329. +Package textcomp Info: Setting hlst sub-encoding to TS1/3 on input line 330. +Package textcomp Info: Setting hlct sub-encoding to TS1/5 on input line 331. +Package textcomp Info: Setting hlx sub-encoding to TS1/5 on input line 332. +Package textcomp Info: Setting hlce sub-encoding to TS1/5 on input line 333. +Package textcomp Info: Setting hlcn sub-encoding to TS1/5 on input line 334. +Package textcomp Info: Setting hlcw sub-encoding to TS1/5 on input line 335. +Package textcomp Info: Setting hlcf sub-encoding to TS1/5 on input line 336. +Package textcomp Info: Setting pplx sub-encoding to TS1/3 on input line 337. +Package textcomp Info: Setting pplj sub-encoding to TS1/3 on input line 338. +Package textcomp Info: Setting ptmx sub-encoding to TS1/4 on input line 339. +Package textcomp Info: Setting ptmj sub-encoding to TS1/4 on input line 340. +) +\c@fileFrom=\count117 +\c@rankFrom=\count118 +\c@fileTo=\count119 +\c@rankTo=\count120 +\c@ps@inverse=\count121 +\c@ps@knightangle=\count122 +\c@halfmove=\count123 +\c@move=\count124 +\c@helpgobble=\count125 +\c@helpnumber=\count126 +\c@helpnumberMove=\count127 +\squarelength=\skip62 +\square@multiplier=\count128 +\ranklift=\skip63 +LaTeX Font Info: Try loading font information for LSB+skaknew on input line +1807. + +(/usr/share/texlive/texmf-dist/tex/latex/chessfss/lsbskaknew.fd +File: lsbskaknew.fd 2006/03/31 v1.0 Chess font definitions +) +LaTeX Font Info: Try loading font information for OT1+phv on input line 1807 +. + +(/usr/share/texlive/texmf-dist/tex/latex/psnfss/ot1phv.fd +File: ot1phv.fd 2001/06/04 scalable font definitions for OT1/phv. +) +\store@toks=\toks37 +) +(/usr/share/texlive/texmf-dist/tex/latex/chessboard/chessboard.sty +Package: chessboard 2007/12/20 v1.5 print chessboards + +(/usr/share/texlive/texmf-dist/tex/latex/xifthen/xifthen.sty +Package: xifthen 2009/04/17 v1.3 Extended ifthen features + +(/usr/share/texlive/texmf-dist/tex/latex/etex-pkg/etex.sty +Package: etex 1998/03/26 v2.0 eTeX basic definition package (PEB) +\et@xins=\count129 +) +(/usr/share/texlive/texmf-dist/tex/latex/ifmtarg/ifmtarg.sty +Package: ifmtarg 2009/09/02 v1.2a check for an empty argument +)) +(/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/texmf/tex/latex/pgf/basiclayer/pgfcore.sty +(/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=\toks38 +) +(/usr/share/texmf/tex/generic/pgf/utilities/pgfutil-latex.def +\pgfutil@abb=\box54 + +(/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=\toks39 +\pgfkeys@temptoks=\toks40 + +(/usr/share/texmf/tex/generic/pgf/utilities/pgfkeysfiltered.code.tex +\pgfkeys@tmptoks=\toks41 +)) +\pgf@x=\dimen143 +\pgf@y=\dimen144 +\pgf@xa=\dimen145 +\pgf@ya=\dimen146 +\pgf@xb=\dimen147 +\pgf@yb=\dimen148 +\pgf@xc=\dimen149 +\pgf@yc=\dimen150 +\w@pgf@writea=\write3 +\r@pgf@reada=\read1 +\c@pgf@counta=\count130 +\c@pgf@countb=\count131 +\c@pgf@countc=\count132 +\c@pgf@countd=\count133 + +(/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-dvips.def on input line 900. + +(/usr/share/texmf/tex/generic/pgf/systemlayer/pgfsys-dvips.def +File: pgfsys-dvips.def 2008/04/03 (rcs-revision 1.20) + +(/usr/share/texmf/tex/generic/pgf/systemlayer/pgfsys-common-postscript.def +File: pgfsys-common-postscript.def 2008/10/01 (rcs-revision 1.22) +\pgf@objectcount=\count134 +))) +(/usr/share/texmf/tex/generic/pgf/systemlayer/pgfsyssoftpath.code.tex +File: pgfsyssoftpath.code.tex 2008/07/18 (rcs-revision 1.7) +\pgfsyssoftpath@smallbuffer@items=\count135 +\pgfsyssoftpath@bigbuffer@items=\count136 +) +(/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. + +(/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/error messages (HO) +) +(/usr/share/texlive/texmf-dist/tex/generic/oberdiek/ltxcmds.sty +Package: ltxcmds 2011/11/09 v1.22 LaTeX kernel commands for general use (HO) +) +\Gread@gobject=\count137 +) +Package xcolor Info: Model `cmy' substituted by `cmy0' on input line 1337. +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=\dimen151 +\pgfmath@count=\count138 +\pgfmath@box=\box55 +\pgfmath@toks=\toks42 +\pgfmath@stack@operand=\toks43 +\pgfmath@stack@operation=\toks44 +) +(/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=\count139 +)) +(/usr/share/texmf/tex/generic/pgf/basiclayer/pgfcorepoints.code.tex +File: pgfcorepoints.code.tex 2010/04/09 (rcs-revision 1.20) +\pgf@picminx=\dimen152 +\pgf@picmaxx=\dimen153 +\pgf@picminy=\dimen154 +\pgf@picmaxy=\dimen155 +\pgf@pathminx=\dimen156 +\pgf@pathmaxx=\dimen157 +\pgf@pathminy=\dimen158 +\pgf@pathmaxy=\dimen159 +\pgf@xx=\dimen160 +\pgf@xy=\dimen161 +\pgf@yx=\dimen162 +\pgf@yy=\dimen163 +\pgf@zx=\dimen164 +\pgf@zy=\dimen165 +) +(/usr/share/texmf/tex/generic/pgf/basiclayer/pgfcorepathconstruct.code.tex +File: pgfcorepathconstruct.code.tex 2010/08/03 (rcs-revision 1.24) +\pgf@path@lastx=\dimen166 +\pgf@path@lasty=\dimen167 +) +(/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=\dimen168 +\pgf@shorten@start@additional=\dimen169 +) +(/usr/share/texmf/tex/generic/pgf/basiclayer/pgfcorescopes.code.tex +File: pgfcorescopes.code.tex 2010/09/08 (rcs-revision 1.34) +\pgfpic=\box56 +\pgf@hbox=\box57 +\pgf@layerbox@main=\box58 +\pgf@picture@serial@count=\count140 +) +(/usr/share/texmf/tex/generic/pgf/basiclayer/pgfcoregraphicstate.code.tex +File: pgfcoregraphicstate.code.tex 2008/04/22 (rcs-revision 1.9) +\pgflinewidth=\dimen170 +) +(/usr/share/texmf/tex/generic/pgf/basiclayer/pgfcoretransformations.code.tex +File: pgfcoretransformations.code.tex 2009/06/10 (rcs-revision 1.11) +\pgf@pt@x=\dimen171 +\pgf@pt@y=\dimen172 +\pgf@pt@temp=\dimen173 +) +(/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=\dimen174 +\pgf@sys@shading@range@num=\count141 +) +(/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=\box59 +)) +(/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/basiclayer/pgfbaseshapes.sty + +Package pgf Warning: This package is obsolete. Use \usepgfmodule{shapes} instea +d on input line 13. + +(/usr/share/texmf/tex/generic/pgf/modules/pgfmoduleshapes.code.tex +File: pgfmoduleshapes.code.tex 2010/09/09 (rcs-revision 1.13) +\pgfnodeparttextbox=\box60 +)) +\len@board@tempx=\skip64 +\len@board@tempy=\skip65 +\c@cnt@board@file=\count142 +\c@cnt@board@rank=\count143 +\c@cnt@board=\count144 +\c@filelabel=\count145 +\c@ranklabel=\count146 + +(/usr/share/texlive/texmf-dist/tex/latex/chessboard/chessboard-keys-main.sty +File: chessboard-keys-main.sty 2007/12/20 key definitions for chessboard.sty v1 +.5 +) +(/usr/share/texlive/texmf-dist/tex/latex/chessboard/chessboard-keys-pgf.sty +File: chessboard-keys-pgf.sty 2007/12/20 key definitions for chessboard.sty v1. +5 +) +(/usr/share/texlive/texmf-dist/tex/latex/chessboard/chessboard-pgf.sty +File: chessboard-pgf.sty 2007/12/20 pgf code for chessboard v1.5 +)) +(/usr/share/texlive/texmf-dist/tex/latex/pstricks/pst-all.sty +Package: pst-all 2008/01/01 the main pstricks tools + +(/usr/share/texlive/texmf-dist/tex/latex/pstricks/pstricks.sty +Package: pstricks 2011/10/31 v0.52 LaTeX wrapper for `PSTricks' (RN,HV) + +(/usr/share/texlive/texmf-dist/tex/generic/pstricks/pstricks.tex +(/usr/share/texlive/texmf-dist/tex/generic/xkeyval/pst-xkey.tex +File: pst-xkey.tex 2005/11/25 v1.6 PSTricks specialization of xkeyval (HA) +) +(/usr/share/texlive/texmf-dist/tex/generic/pstricks/pst-fp.tex +`pst-fp' v0.05, 2010/01/17 (hv) +\pstFP@xs=\count147 +\pstFP@xia=\count148 +\pstFP@xib=\count149 +\pstFP@xfa=\count150 +\pstFP@xfb=\count151 +\pstFP@rega=\count152 +\pstFP@regb=\count153 +\pstFP@regs=\count154 +\pstFP@times=\count155 +) +\psLoopIndex=\count156 + +`PSTricks' v2.29 <2012/06/04> (tvz) +\pst@dima=\dimen175 +\pst@dimb=\dimen176 +\pst@dimc=\dimen177 +\pst@dimd=\dimen178 +\pst@dimg=\dimen179 +\pst@dimh=\dimen180 +\pst@dimm=\dimen181 +\pst@dimn=\dimen182 +\pst@dimo=\dimen183 +\pst@dimp=\dimen184 +\pst@hbox=\box61 +\pst@ibox=\box62 +\pst@boxg=\box63 +\pst@cnta=\count157 +\pst@cntb=\count158 +\pst@cntc=\count159 +\pst@cntd=\count160 +\pst@cntg=\count161 +\pst@cnth=\count162 +\pst@cntm=\count163 +\pst@cntn=\count164 +\pst@cnto=\count165 +\pst@cntp=\count166 +\@zero=\count167 +\pst@toks=\toks45 +(/usr/share/texlive/texmf-dist/tex/generic/pstricks/pstricks.con) +\psunit=\dimen185 +\psxunit=\dimen186 +\psyunit=\dimen187 +\pst@C@@rType=\count168 +\pslinewidth=\dimen188 +\psk@startLW=\dimen189 +\psk@endLW=\dimen190 +\pst@customdefs=\toks46 +\pslinearc=\dimen191 +\pst@symbolStep=\dimen192 +\pst@symbolWidth=\dimen193 +\pst@symbolLinewidth=\dimen194 +\everypsbox=\toks47 +\psframesep=\dimen195 +\pslabelsep=\dimen196 +\pst@shift=\dimen197 +\theoverlaybox=\box64 +) +File: pstricks.tex 2012/06/04 v2.29 `PSTricks' (tvz,hv) + +(/usr/share/texlive/texmf-dist/tex/generic/pstricks/pst-fp.tex) +File: pst-fp.tex 2012/06/04 v2.29 `PST-fp' (hv) +) +(/usr/share/texlive/texmf-dist/tex/latex/pst-plot/pst-plot.sty +Package: pst-plot 2011/06/05 v1.00 LaTeX wrapper for `pst-plot' (HV) + +(/usr/share/texlive/texmf-dist/tex/latex/xkeyval/pst-xkey.sty +Package: pst-xkey 2005/11/25 v1.6 package wrapper for pst-xkey.tex (HA) +) +(/usr/share/texlive/texmf-dist/tex/latex/multido/multido.sty +Package: multido 2004/05/17 package wrapper for PSTricks `multido.tex', (HV/RN) + + +(/usr/share/texlive/texmf-dist/tex/generic/multido/multido.tex + v1.42, 2010/05/14 +\multido@count=\count169 +\multidocount=\count170 +\multido@stuff=\toks48 +) +File: multido.tex 2010/05/14 v1.42 `multido' (tvz,hv) +) +Package: pst-plot 2011/04/13 package wrapper for pst-plot.tex (hv) + +(/usr/share/texlive/texmf-dist/tex/generic/pst-plot/pst-plot.tex + v1.42, 2012/05/03 (tvz,hv) +\pstRadUnit=\dimen198 +\pstRadUnitInv=\dimen199 +\pst@linecnt=\count171 +\psxlabelsep=\dimen200 +\psylabelsep=\dimen201 +\psk@subticksize=\dimen202 +\pst@xticksizeA=\dimen203 +\pst@xticksizeB=\dimen204 +\pst@xticksizeC=\dimen205 +\pst@yticksizeA=\dimen206 +\pst@yticksizeB=\dimen207 +\pst@yticksizeC=\dimen208 +\@digitcounter=\count172 +\psk@llx=\dimen209 +\psk@lly=\dimen210 +\psk@urx=\dimen211 +\psk@ury=\dimen212 +\pst@xunit=\dimen213 +\pst@yunit=\dimen214 +) +File: pst-plot.tex 2012/05/03 1.42 `pst-plot' (tvz,hv) +) +(/usr/share/texlive/texmf-dist/tex/latex/pst-node/pst-node.sty +Package: pst-node 2011/06/05 v1.00 LaTeX wrapper for `pst-node' (HV) +Package: pst-node 2010/04/22 package wrapper for pst-node.tex + +(/usr/share/texlive/texmf-dist/tex/generic/pst-node/pst-node.tex + v1.22, 2012/02/12 +\psrow=\count173 +\pscol=\count174 +\psmatrixcnt=\count175 +\psrowsep=\skip66 +\pscolsep=\skip67 +\pst@args=\count176 +\num@pts=\count177 +\pst@argcnt=\count178 +) +File: pst-node.tex 2012/02/12 1.22 `pst-node' (tvz) +) +(/usr/share/texlive/texmf-dist/tex/latex/pst-tree/pst-tree.sty +Package: pst-tree 2009/01/25 package wrapper for pst-tree.tex + +(/usr/share/texlive/texmf-dist/tex/generic/pst-tree/pst-tree.tex + v1.12, 2011/02/28(tvz,dg,hv) +\pstree@rootbox=\box65 +\pstree@box=\box66 +\psnodecnt=\count179 +\pstreelevel=\count180 +\pstreecnt=\count181 +\pstree@cnt=\count182 +\pstree@stop=\count183 +) +File: pst-tree.tex 2011/02/28 1.12 `pst-tree' (tvz,hv) +) +(/usr/share/texlive/texmf-dist/tex/latex/pst-grad/pst-grad.sty +Package: pst-grad 2004/07/15 package wrapper for pst-grad.tex (hv) + +(/usr/share/texlive/texmf-dist/tex/generic/pst-grad/pst-grad.tex +`pst-grad' v1.06, 2006/11/27 (tvz,dg,hv)) +File: pst-grad.tex 2006/11/27 1.06 `pst-grad' (tvz) +) +(/usr/share/texlive/texmf-dist/tex/latex/pst-coil/pst-coil.sty +Package: pst-coil 2010/02/01 package wrapper for pst-coil.tex (hv) + +(/usr/share/texlive/texmf-dist/tex/generic/pst-coil/pst-coil.tex + v1.06, 2006/11/27 +(/usr/share/texlive/texmf-dist/tex/generic/pst-node/pst-node.tex)) +File: pst-coil.tex 2011/09/17 v1.06 `PST-coil' (tvz,hv) +) +(/usr/share/texlive/texmf-dist/tex/latex/pst-text/pst-text.sty +Package: pst-text 2006/01/01 package wrapper for pst-text.tex (hv) + +(/usr/share/texlive/texmf-dist/tex/generic/pst-text/pst-text.tex + v1.00, 2006/11/05(tvz,hv)) +File: pst-text.tex 2006/11/05 1.00 `pst-text' (tvz) +) +(/usr/share/texlive/texmf-dist/tex/latex/pst-3d/pst-3d.sty +Package: pst-3d 2009/07/28 package wrapper for pst-3d.tex (hv) + +(/usr/share/texlive/texmf-dist/tex/generic/pst-3d/pst-3d.tex +`PST-3d' v1.11, 2010/02/14 (tvz)) +File: pst-3d.tex 2010/02/14 v1.11 `PST-3d' (hv) +) +(/usr/share/texlive/texmf-dist/tex/latex/pst-eps/pst-eps.sty +Package: pst-eps 2005/05/20 package wrapper for pst-eps.tex (hv) + +(/usr/share/texlive/texmf-dist/tex/generic/pst-eps/pst-eps.tex + v1.00, 2006/11/04 +\pst@epsout=\write4 +\pst@tempout=\write5 +) +File: pst-eps.tex 2006/11/04 1.00 `pst-eps' (tvz) +) +(/usr/share/texlive/texmf-dist/tex/latex/pst-fill/pst-fill.sty +Package: pst-fill 2005/09/13 package wrapper for pst-fill.tex (hv) + +(/usr/share/texlive/texmf-dist/tex/generic/pst-fill/pst-fill.tex +`PST-Fill' v1.01, 2007/03/10 (tvz,dg,hv) +\pst@fillbox=\box67 +) +File: pst-fill.tex 2007/03/10 v1.01 `PST-fill' (tvz,dg) +) +(/usr/share/texlive/texmf-dist/tex/latex/pstricks-add/pstricks-add.sty +(/usr/share/texlive/texmf-dist/tex/latex/pst-math/pst-math.sty +Package: pst-math 2009/01/20 package wrapper for PSTricks pst-math.tex + +(/usr/share/texlive/texmf-dist/tex/generic/pst-math/pst-math.tex +`pst-math' v0.62 , (CJ,hv)) +File: pst-math.tex 2010/10/20 v0.62 `PST-math' (hv) +) +Package: pstricks-add 2010/02/11 v. 0.14 package wrapper for pstricks-add.tex ( +hv) + +(/usr/share/texlive/texmf-dist/tex/generic/pstricks-add/pstricks-add.tex +`pstricks-add' v3.55, 2011/12/11 (dr,hv) +\pshooklength=\dimen215 +\pshookwidth=\dimen216 +\pst@cntC=\count184 +\chart@ColorIndex=\dimen217 +\chart@ColorStep=\dimen218 +\pst@chartHeight=\dimen219 +\pst@chartStackDepth=\dimen220 +\pst@chartStackWidth=\dimen221 +\chart@Toggle=\count185 +\psVectorCtr=\count186 +) +File: pstricks-add.tex 2011/12/11 v3.55 `PSTricks-add' (hv) +)) +(/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/ifvtex.sty +Package: ifvtex 2010/03/01 v1.5 Detect VTeX and its facilities (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=\count187 +\Gm@cntv=\count188 +\c@Gm@tempcnt=\count189 +\Gm@bindingoffset=\dimen222 +\Gm@wd@mp=\dimen223 +\Gm@odd@mp=\dimen224 +\Gm@even@mp=\dimen225 +\Gm@layoutwidth=\dimen226 +\Gm@layoutheight=\dimen227 +\Gm@layouthoffset=\dimen228 +\Gm@layoutvoffset=\dimen229 +\Gm@dimlist=\toks49 +) +No file main.aux. +\openout1 = `main.aux'. + +LaTeX Font Info: Checking defaults for OML/cmm/m/it on input line 29. +LaTeX Font Info: ... okay on input line 29. +LaTeX Font Info: Checking defaults for T1/cmr/m/n on input line 29. +LaTeX Font Info: ... okay on input line 29. +LaTeX Font Info: Checking defaults for OT1/cmr/m/n on input line 29. +LaTeX Font Info: ... okay on input line 29. +LaTeX Font Info: Checking defaults for OMS/cmsy/m/n on input line 29. +LaTeX Font Info: ... okay on input line 29. +LaTeX Font Info: Checking defaults for OMX/cmex/m/n on input line 29. +LaTeX Font Info: ... okay on input line 29. +LaTeX Font Info: Checking defaults for U/cmr/m/n on input line 29. +LaTeX Font Info: ... okay on input line 29. +LaTeX Font Info: Checking defaults for LSB/skaknew/m/n on input line 29. +LaTeX Font Info: ... okay on input line 29. +LaTeX Font Info: Checking defaults for LSF/skaknew/m/n on input line 29. +LaTeX Font Info: Try loading font information for LSF+skaknew on input line +29. +(/usr/share/texlive/texmf-dist/tex/latex/chessfss/lsfskaknew.fd +File: lsfskaknew.fd 2006/03/31 v1.0 Chess font definitions +) +LaTeX Font Info: ... okay on input line 29. +LaTeX Font Info: Checking defaults for LSI/skaknew/m/n on input line 29. +LaTeX Font Info: Try loading font information for LSI+skaknew on input line +29. + +(/usr/share/texlive/texmf-dist/tex/latex/chessfss/lsiskaknew.fd +File: lsiskaknew.fd 2006/03/31 v1.0 Chess font definitions +) +LaTeX Font Info: ... okay on input line 29. +LaTeX Font Info: Checking defaults for TS1/cmr/m/n on input line 29. +LaTeX Font Info: Try loading font information for TS1+cmr on input line 29. + +(/usr/share/texlive/texmf-dist/tex/latex/base/ts1cmr.fd +File: ts1cmr.fd 1999/05/25 v2.5h Standard LaTeX font definitions +) +LaTeX Font Info: ... okay on input line 29. +LaTeX Font Info: Try loading font information for OT1+ptm on input line 29. + +(/usr/share/texlive/texmf-dist/tex/latex/psnfss/ot1ptm.fd +File: ot1ptm.fd 2001/06/04 font definitions for OT1/ptm. +) +LaTeX Info: Redefining \degres on input line 29. +LaTeX Info: Redefining \dots on input line 29. +LaTeX Info: Redefining \up on input line 29. + + +Package frenchb.ldf Warning: OT1 encoding should not be used for French. +(frenchb.ldf) Add \usepackage[T1]{fontenc} to the preamble +(frenchb.ldf) of your document, on input line 29. + +(/usr/share/texlive/texmf-dist/tex/generic/oberdiek/pdftexcmds.sty +Package: pdftexcmds 2011/11/29 v0.20 Utility functions of pdfTeX for LuaTeX (HO +) + +(/usr/share/texlive/texmf-dist/tex/generic/oberdiek/ifluatex.sty +Package: ifluatex 2010/03/01 v1.3 Provides the ifluatex switch (HO) +Package ifluatex Info: LuaTeX not detected. +) +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. +) +(/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 Manage graphics extensions (HO) + +(/usr/share/texlive/texmf-dist/tex/generic/oberdiek/kvdefinekeys.sty +Package: kvdefinekeys 2011/04/07 v1.3 Define keys (HO) +)) +(/usr/share/texlive/texmf-dist/tex/latex/oberdiek/kvoptions.sty +Package: kvoptions 2011/06/30 v3.11 Key value format for package options (HO) + +(/usr/share/texlive/texmf-dist/tex/generic/oberdiek/kvsetkeys.sty +Package: kvsetkeys 2012/04/25 v1.16 Key value parser (HO) + +(/usr/share/texlive/texmf-dist/tex/generic/oberdiek/etexcmds.sty +Package: etexcmds 2011/02/16 v1.5 Avoid name clashes with e-TeX commands (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 epstopdf-base Info: Redefining graphics rule for `.eps' on input line 4 +34. +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 +(/usr/share/texlive/texmf-dist/tex/context/base/supp-pdf.mkii +[Loading MPS to PDF converter (version 2006.09.02).] +\scratchcounter=\count190 +\scratchdimen=\dimen230 +\scratchbox=\box68 +\nofMPsegments=\count191 +\nofMParguments=\count192 +\everyMPshowfont=\toks50 +\MPscratchCnt=\count193 +\MPscratchDim=\dimen231 +\MPnumerator=\count194 +\makeMPintoPDFobject=\count195 +\everyMPtoPDFconversion=\toks51 +) +*geometry* driver: auto-detecting +*geometry* detected driver: pdftex +*geometry* verbose mode - [ preamble ] result: +* driver: pdftex +* paper: a4paper +* layout: +* layoutoffset:(h,v)=(0.0pt,0.0pt) +* modes: +* h-part:(L,W,R)=(28.45274pt, 540.60239pt, 28.45274pt) +* v-part:(T,H,B)=(28.45274pt, 773.91498pt, 42.67912pt) +* \paperwidth=597.50787pt +* \paperheight=845.04684pt +* \textwidth=540.60239pt +* \textheight=773.91498pt +* \oddsidemargin=-43.81725pt +* \evensidemargin=-43.81725pt +* \topmargin=-80.81725pt +* \headheight=12.0pt +* \headsep=25.0pt +* \topskip=11.0pt +* \footskip=30.0pt +* \marginparwidth=72.26999pt +* \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) + +LaTeX Font Info: Try loading font information for U+msa on input line 30. +(/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 30. + +(/usr/share/texlive/texmf-dist/tex/latex/amsfonts/umsb.fd +File: umsb.fd 2009/06/22 v3.00 AMS symbols B +) + +LaTeX Warning: No \author given. + +LaTeX Font Info: Font shape `OT1/ptm/bx/n' in size <14.4> not available +(Font) Font shape `OT1/ptm/b/n' tried instead on input line 41. +LaTeX Font Info: Calculating math sizes for size <20> on input line 52. + +LaTeX Font Warning: Font shape `OT1/cmr/m/n' in size <20> not available +(Font) size <20.74> substituted on input line 52. + + +LaTeX Font Warning: Font shape `OT1/cmr/m/n' in size <13.99994> not available +(Font) size <14.4> substituted on input line 52. + + +LaTeX Font Warning: Font shape `OML/cmm/m/it' in size <20> not available +(Font) size <20.74> substituted on input line 52. + + +LaTeX Font Warning: Font shape `OML/cmm/m/it' in size <13.99994> not available +(Font) size <14.4> substituted on input line 52. + + +LaTeX Font Warning: Font shape `OMS/cmsy/m/n' in size <20> not available +(Font) size <20.74> substituted on input line 52. + + +LaTeX Font Warning: Font shape `OMS/cmsy/m/n' in size <13.99994> not available +(Font) size <14.4> substituted on input line 52. + +LaTeX Font Info: Try loading font information for OT1+pcr on input line 78. +(/usr/share/texlive/texmf-dist/tex/latex/psnfss/ot1pcr.fd +File: ot1pcr.fd 2001/06/04 font definitions for OT1/pcr. +) +Overfull \hbox (4.17198pt too wide) in paragraph at lines 84--89 +\OT1/ptm/m/n/10.95 nom-bre d'oc-cur-rences de ce car-act[]ere dans []\OT1/pcr/m +/n/10.95 u\OT1/ptm/m/n/10.95 . Par ex-em-ple []\OT1/pcr/m/n/10.95 nbre(initial, +'b') \OT1/ptm/m/n/10.95 vaut 2 et []\OT1/pcr/m/n/10.95 nbre(initial,'v') + [] + +[1 +Non-PDF special ignored! +Non-PDF special ignored! +Non-PDF special ignored! +Non-PDF special ignored! +Non-PDF special ignored! +Non-PDF special ignored! +Non-PDF special ignored! +Non-PDF special ignored! +Non-PDF special ignored! +Non-PDF special ignored! +Non-PDF special ignored! +Non-PDF special ignored! +Non-PDF special ignored! +Non-PDF special ignored! +Non-PDF special ignored! +Non-PDF special ignored! +Non-PDF special ignored! +Non-PDF special ignored! + + +Non-PDF special ignored! +Non-PDF special ignored! +Non-PDF special ignored!{/var/lib/texmf/fonts/map/pdftex/updmap/pdftex.map} +Non-PDF special ignored! +Non-PDF special ignored! +Non-PDF special ignored! +Non-PDF special ignored! +Non-PDF special ignored! +Non-PDF special ignored! +Non-PDF special ignored! +Non-PDF special ignored! +Non-PDF special ignored! +Non-PDF special ignored! +Non-PDF special ignored! +Non-PDF special ignored! +Non-PDF special ignored! +Non-PDF special ignored! +Non-PDF special ignored! +Non-PDF special ignored! +Non-PDF special ignored! +Non-PDF special ignored! +Non-PDF special ignored! +Non-PDF special ignored! +Non-PDF special ignored! +Non-PDF special ignored! +Non-PDF special ignored! +Non-PDF special ignored! +Non-PDF special ignored! +Non-PDF special ignored! +Non-PDF special ignored! +Non-PDF special ignored! +Non-PDF special ignored! +Non-PDF special ignored! +Non-PDF special ignored! +Non-PDF special ignored! +Non-PDF special ignored! +Non-PDF special ignored! +Non-PDF special ignored! +Non-PDF special ignored! +Non-PDF special ignored! +Non-PDF special ignored! +Non-PDF special ignored! +Non-PDF special ignored! +Non-PDF special ignored! +Non-PDF special ignored! +Non-PDF special ignored! +Non-PDF special ignored! +Non-PDF special ignored! +Non-PDF special ignored! +Non-PDF special ignored! +Non-PDF special ignored! +Non-PDF special ignored! +Non-PDF special ignored! +Non-PDF special ignored! +Non-PDF special ignored! +Non-PDF special ignored! +Non-PDF special ignored! +Non-PDF special ignored! +Non-PDF special ignored!] +\tf@thm=\write6 +\openout6 = `main.thm'. + + [2] (./main.aux) + +LaTeX Font Warning: Size substitutions with differences +(Font) up to 0.74pt have occurred. + + ) +Here is how much of TeX's memory you used: + 18526 strings out of 495059 + 310610 string characters out of 3182030 + 447784 words of memory out of 3000000 + 21246 multiletter control sequences out of 15000+200000 + 22599 words of font info for 68 fonts, out of 3000000 for 9000 + 14 hyphenation exceptions out of 8191 + 49i,8n,85p,595b,797s stack positions out of 5000i,500n,10000p,200000b,50000s +{/usr/share/texlive/texmf-dist/fonts/enc/dvips/base/8r.enc} +Output written on main.pdf (2 pages, 90070 bytes). +PDF statistics: + 52 PDF objects out of 1000 (max. 8388607) + 37 compressed objects within 1 object stream + 0 named destinations out of 1000 (max. 500000) + 1 words of extra memory for PDF output out of 10000 (max. 10000000) + diff --git a/partiels/130311S3_tp/main.pdf b/partiels/130311S3_tp/main.pdf new file mode 100644 index 0000000..5a8a505 Binary files /dev/null and b/partiels/130311S3_tp/main.pdf differ diff --git a/partiels/130311S3_tp/main.thm b/partiels/130311S3_tp/main.thm new file mode 100644 index 0000000..e69de29 diff --git a/partiels/131003S1/controle.aux b/partiels/131003S1/controle.aux new file mode 100644 index 0000000..3e13b09 --- /dev/null +++ b/partiels/131003S1/controle.aux @@ -0,0 +1,13 @@ +\relax +\catcode`:\active +\catcode`;\active +\catcode`!\active +\catcode`?\active +\select@language{french} +\@writefile{toc}{\select@language{french}} +\@writefile{lof}{\select@language{french}} +\@writefile{lot}{\select@language{french}} +\@writefile{toc}{\contentsline {section}{\numberline {1}Cours}{1}} +\@writefile{toc}{\contentsline {section}{\numberline {2}Forme canonique disjonctive}{1}} +\@writefile{toc}{\contentsline {section}{\numberline {3}Table de Karnaugh}{1}} +\@writefile{toc}{\contentsline {section}{\numberline {4}Op\IeC {\'e}rateur de Peirce}{1}} diff --git a/partiels/131003S1/controle.log b/partiels/131003S1/controle.log new file mode 100644 index 0000000..6e43bdc --- /dev/null +++ b/partiels/131003S1/controle.log @@ -0,0 +1,1101 @@ +This is pdfTeX, Version 3.1415926-2.4-1.40.13 (TeX Live 2012/Debian) (format=pdflatex 2013.4.28) 1 OCT 2013 11:39 +entering extended mode + restricted \write18 enabled. + %&-line parsing enabled. +**controle.tex +(./controle.tex +LaTeX2e <2011/06/27> +Babel and hyphenation patterns for english, dumylang, nohyphenation, lo +aded. +(/usr/share/texlive/texmf-dist/tex/latex/base/article.cls +Document Class: article 2007/10/19 v1.4h Standard LaTeX document class +(/usr/share/texlive/texmf-dist/tex/latex/base/size11.clo +File: size11.clo 2007/10/19 v1.4h Standard LaTeX file (size option) +) +\c@part=\count79 +\c@section=\count80 +\c@subsection=\count81 +\c@subsubsection=\count82 +\c@paragraph=\count83 +\c@subparagraph=\count84 +\c@figure=\count85 +\c@table=\count86 +\abovecaptionskip=\skip41 +\belowcaptionskip=\skip42 +\bibindent=\dimen102 +) +(/usr/share/texlive/texmf-dist/tex/generic/babel/babel.sty +Package: babel 2008/07/08 v3.8m The Babel package + +(/usr/share/texlive/texmf-dist/tex/generic/babel/frenchb.ldf +Language: frenchb 2010/08/21 v2.5a French support from the babel system + +(/usr/share/texlive/texmf-dist/tex/generic/babel/babel.def +File: babel.def 2008/07/08 v3.8m Babel common definitions +\babel@savecnt=\count87 +\U@D=\dimen103 +) + +Package babel Warning: No hyphenation patterns were loaded for +(babel) the language `French' +(babel) I will use the patterns loaded for \language=0 instead. + +\l@french = a dialect from \language0 +Package babel Info: Making : an active character on input line 234. +Package babel Info: Making ; an active character on input line 235. +Package babel Info: Making ! an active character on input line 236. +Package babel Info: Making ? an active character on input line 237. +\FB@Mht=\dimen104 +\std@mcc=\count88 +\dec@mcc=\count89 +\parindentFFN=\dimen105 +************************************* +* Local config file frenchb.cfg used +* +(/usr/share/texlive/texmf-dist/tex/generic/babel/frenchb.cfg)) +(/usr/share/texlive/texmf-dist/tex/generic/babel/frenchb.ldf +Language: frenchb 2010/08/21 v2.5a French support from the babel system +)) +(/usr/share/texlive/texmf-dist/tex/latex/carlisle/scalefnt.sty) +(/usr/share/texlive/texmf-dist/tex/latex/graphics/keyval.sty +Package: keyval 1999/03/16 v1.13 key=value parser (DPC) +\KV@toks@=\toks14 +) +(/usr/share/texlive/texmf-dist/tex/latex/base/inputenc.sty +Package: inputenc 2008/03/30 v1.1d Input encoding file +\inpenc@prehook=\toks15 +\inpenc@posthook=\toks16 + +(/usr/share/texlive/texmf-dist/tex/latex/base/utf8.def +File: utf8.def 2008/04/05 v1.1m UTF-8 support for inputenc +Now handling font encoding OML ... +... no UTF-8 mapping file for font encoding OML +Now handling font encoding T1 ... +... processing UTF-8 mapping file for font encoding T1 + +(/usr/share/texlive/texmf-dist/tex/latex/base/t1enc.dfu +File: t1enc.dfu 2008/04/05 v1.1m UTF-8 support for inputenc + defining Unicode char U+00A1 (decimal 161) + defining Unicode char U+00A3 (decimal 163) + defining Unicode char U+00AB (decimal 171) + defining Unicode char U+00BB (decimal 187) + defining Unicode char U+00BF (decimal 191) + defining Unicode char U+00C0 (decimal 192) + defining Unicode char U+00C1 (decimal 193) + defining Unicode char U+00C2 (decimal 194) + defining Unicode char U+00C3 (decimal 195) + defining Unicode char U+00C4 (decimal 196) + defining Unicode char U+00C5 (decimal 197) + defining Unicode char U+00C6 (decimal 198) + defining Unicode char U+00C7 (decimal 199) + defining Unicode char U+00C8 (decimal 200) + defining Unicode char U+00C9 (decimal 201) + defining Unicode char U+00CA (decimal 202) + defining Unicode char U+00CB (decimal 203) + defining Unicode char U+00CC (decimal 204) + defining Unicode char U+00CD (decimal 205) + defining Unicode char U+00CE (decimal 206) + defining Unicode char U+00CF (decimal 207) + defining Unicode char U+00D0 (decimal 208) + defining Unicode char U+00D1 (decimal 209) + defining Unicode char U+00D2 (decimal 210) + defining Unicode char U+00D3 (decimal 211) + defining Unicode char U+00D4 (decimal 212) + defining Unicode char U+00D5 (decimal 213) + defining Unicode char U+00D6 (decimal 214) + defining Unicode char U+00D8 (decimal 216) + defining Unicode char U+00D9 (decimal 217) + defining Unicode char U+00DA (decimal 218) + defining Unicode char U+00DB (decimal 219) + defining Unicode char U+00DC (decimal 220) + defining Unicode char U+00DD (decimal 221) + defining Unicode char U+00DE (decimal 222) + defining Unicode char U+00DF (decimal 223) + defining Unicode char U+00E0 (decimal 224) + defining Unicode char U+00E1 (decimal 225) + defining Unicode char U+00E2 (decimal 226) + defining Unicode char U+00E3 (decimal 227) + defining Unicode char U+00E4 (decimal 228) + defining Unicode char U+00E5 (decimal 229) + defining Unicode char U+00E6 (decimal 230) + defining Unicode char U+00E7 (decimal 231) + defining Unicode char U+00E8 (decimal 232) + defining Unicode char U+00E9 (decimal 233) + defining Unicode char U+00EA (decimal 234) + defining Unicode char U+00EB (decimal 235) + defining Unicode char U+00EC (decimal 236) + defining Unicode char U+00ED (decimal 237) + defining Unicode char U+00EE (decimal 238) + defining Unicode char U+00EF (decimal 239) + defining Unicode char U+00F0 (decimal 240) + defining Unicode char U+00F1 (decimal 241) + defining Unicode char U+00F2 (decimal 242) + defining Unicode char U+00F3 (decimal 243) + defining Unicode char U+00F4 (decimal 244) + defining Unicode char U+00F5 (decimal 245) + defining Unicode char U+00F6 (decimal 246) + defining Unicode char U+00F8 (decimal 248) + defining Unicode char U+00F9 (decimal 249) + defining Unicode char U+00FA (decimal 250) + defining Unicode char U+00FB (decimal 251) + defining Unicode char U+00FC (decimal 252) + defining Unicode char U+00FD (decimal 253) + defining Unicode char U+00FE (decimal 254) + defining Unicode char U+00FF (decimal 255) + defining Unicode char U+0102 (decimal 258) + defining Unicode char U+0103 (decimal 259) + defining Unicode char U+0104 (decimal 260) + defining Unicode char U+0105 (decimal 261) + defining Unicode char U+0106 (decimal 262) + defining Unicode char U+0107 (decimal 263) + defining Unicode char U+010C (decimal 268) + defining Unicode char U+010D (decimal 269) + defining Unicode char U+010E (decimal 270) + defining Unicode char U+010F (decimal 271) + defining Unicode char U+0110 (decimal 272) + defining Unicode char U+0111 (decimal 273) + defining Unicode char U+0118 (decimal 280) + defining Unicode char U+0119 (decimal 281) + defining Unicode char U+011A (decimal 282) + defining Unicode char U+011B (decimal 283) + defining Unicode char U+011E (decimal 286) + defining Unicode char U+011F (decimal 287) + defining Unicode char U+0130 (decimal 304) + defining Unicode char U+0131 (decimal 305) + defining Unicode char U+0132 (decimal 306) + defining Unicode char U+0133 (decimal 307) + defining Unicode char U+0139 (decimal 313) + defining Unicode char U+013A (decimal 314) + defining Unicode char U+013D (decimal 317) + defining Unicode char U+013E (decimal 318) + defining Unicode char U+0141 (decimal 321) + defining Unicode char U+0142 (decimal 322) + defining Unicode char U+0143 (decimal 323) + defining Unicode char U+0144 (decimal 324) + defining Unicode char U+0147 (decimal 327) + defining Unicode char U+0148 (decimal 328) + defining Unicode char U+014A (decimal 330) + defining Unicode char U+014B (decimal 331) + defining Unicode char U+0150 (decimal 336) + defining Unicode char U+0151 (decimal 337) + defining Unicode char U+0152 (decimal 338) + defining Unicode char U+0153 (decimal 339) + defining Unicode char U+0154 (decimal 340) + defining Unicode char U+0155 (decimal 341) + defining Unicode char U+0158 (decimal 344) + defining Unicode char U+0159 (decimal 345) + defining Unicode char U+015A (decimal 346) + defining Unicode char U+015B (decimal 347) + defining Unicode char U+015E (decimal 350) + defining Unicode char U+015F (decimal 351) + defining Unicode char U+0160 (decimal 352) + defining Unicode char U+0161 (decimal 353) + defining Unicode char U+0162 (decimal 354) + defining Unicode char U+0163 (decimal 355) + defining Unicode char U+0164 (decimal 356) + defining Unicode char U+0165 (decimal 357) + defining Unicode char U+016E (decimal 366) + defining Unicode char U+016F (decimal 367) + defining Unicode char U+0170 (decimal 368) + defining Unicode char U+0171 (decimal 369) + defining Unicode char U+0178 (decimal 376) + defining Unicode char U+0179 (decimal 377) + defining Unicode char U+017A (decimal 378) + defining Unicode char U+017B (decimal 379) + defining Unicode char U+017C (decimal 380) + defining Unicode char U+017D (decimal 381) + defining Unicode char U+017E (decimal 382) + defining Unicode char U+200C (decimal 8204) + defining Unicode char U+2013 (decimal 8211) + defining Unicode char U+2014 (decimal 8212) + defining Unicode char U+2018 (decimal 8216) + defining Unicode char U+2019 (decimal 8217) + defining Unicode char U+201A (decimal 8218) + defining Unicode char U+201C (decimal 8220) + defining Unicode char U+201D (decimal 8221) + defining Unicode char U+201E (decimal 8222) + defining Unicode char U+2030 (decimal 8240) + defining Unicode char U+2031 (decimal 8241) + defining Unicode char U+2039 (decimal 8249) + defining Unicode char U+203A (decimal 8250) + defining Unicode char U+2423 (decimal 9251) +) +Now handling font encoding OT1 ... +... processing UTF-8 mapping file for font encoding OT1 + +(/usr/share/texlive/texmf-dist/tex/latex/base/ot1enc.dfu +File: ot1enc.dfu 2008/04/05 v1.1m UTF-8 support for inputenc + defining Unicode char U+00A1 (decimal 161) + defining Unicode char U+00A3 (decimal 163) + defining Unicode char U+00B8 (decimal 184) + defining Unicode char U+00BF (decimal 191) + defining Unicode char U+00C5 (decimal 197) + defining Unicode char U+00C6 (decimal 198) + defining Unicode char U+00D8 (decimal 216) + defining Unicode char U+00DF (decimal 223) + defining Unicode char U+00E6 (decimal 230) + defining Unicode char U+00EC (decimal 236) + defining Unicode char U+00ED (decimal 237) + defining Unicode char U+00EE (decimal 238) + defining Unicode char U+00EF (decimal 239) + defining Unicode char U+00F8 (decimal 248) + defining Unicode char U+0131 (decimal 305) + defining Unicode char U+0141 (decimal 321) + defining Unicode char U+0142 (decimal 322) + defining Unicode char U+0152 (decimal 338) + defining Unicode char U+0153 (decimal 339) + defining Unicode char U+2013 (decimal 8211) + defining Unicode char U+2014 (decimal 8212) + defining Unicode char U+2018 (decimal 8216) + defining Unicode char U+2019 (decimal 8217) + defining Unicode char U+201C (decimal 8220) + defining Unicode char U+201D (decimal 8221) +) +Now handling font encoding OMS ... +... processing UTF-8 mapping file for font encoding OMS + +(/usr/share/texlive/texmf-dist/tex/latex/base/omsenc.dfu +File: omsenc.dfu 2008/04/05 v1.1m UTF-8 support for inputenc + defining Unicode char U+00A7 (decimal 167) + defining Unicode char U+00B6 (decimal 182) + defining Unicode char U+00B7 (decimal 183) + defining Unicode char U+2020 (decimal 8224) + defining Unicode char U+2021 (decimal 8225) + defining Unicode char U+2022 (decimal 8226) +) +Now handling font encoding OMX ... +... no UTF-8 mapping file for font encoding OMX +Now handling font encoding U ... +... no UTF-8 mapping file for font encoding U + defining Unicode char U+00A9 (decimal 169) + defining Unicode char U+00AA (decimal 170) + defining Unicode char U+00AE (decimal 174) + defining Unicode char U+00BA (decimal 186) + defining Unicode char U+02C6 (decimal 710) + defining Unicode char U+02DC (decimal 732) + defining Unicode char U+200C (decimal 8204) + defining Unicode char U+2026 (decimal 8230) + defining Unicode char U+2122 (decimal 8482) + defining Unicode char U+2423 (decimal 9251) +)) +(/usr/share/texlive/texmf-dist/tex/latex/ntgclass/a4.sty +Package: a4 2004/04/15 v1.2g A4 based page layout +) +(/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsmath.sty +Package: amsmath 2000/07/18 v2.13 AMS math features +\@mathmargin=\skip43 + +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=\toks17 +\ex@=\dimen106 +)) +(/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsbsy.sty +Package: amsbsy 1999/11/29 v1.2d +\pmbraise@=\dimen107 +) +(/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsopn.sty +Package: amsopn 1999/12/14 v2.01 operator names +) +\inf@bad=\count90 +LaTeX Info: Redefining \frac on input line 211. +\uproot@=\count91 +\leftroot@=\count92 +LaTeX Info: Redefining \overline on input line 307. +\classnum@=\count93 +\DOTSCASE@=\count94 +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=\dimen108 +LaTeX Font Info: Redeclaring font encoding OML on input line 567. +LaTeX Font Info: Redeclaring font encoding OMS on input line 568. +\macc@depth=\count95 +\c@MaxMatrixCols=\count96 +\dotsspace@=\muskip10 +\c@parentequation=\count97 +\dspbrk@lvl=\count98 +\tag@help=\toks18 +\row@=\count99 +\column@=\count100 +\maxfields@=\count101 +\andhelp@=\toks19 +\eqnshift@=\dimen109 +\alignsep@=\dimen110 +\tagshift@=\dimen111 +\tagwidth@=\dimen112 +\totwidth@=\dimen113 +\lineht@=\dimen114 +\@envbody=\toks20 +\multlinegap=\skip44 +\multlinetaggap=\skip45 +\mathdisplay@stack=\toks21 +LaTeX Info: Redefining \[ on input line 2666. +LaTeX Info: Redefining \] on input line 2667. +) +(/usr/share/texlive/texmf-dist/tex/latex/amsfonts/amsfonts.sty +Package: amsfonts 2009/06/22 v3.00 Basic AMSFonts support +\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/texlive/texmf-dist/tex/latex/amsfonts/amssymb.sty +Package: amssymb 2009/06/22 v3.00 +) +(/usr/share/texlive/texmf-dist/tex/latex/framed/framed.sty +Package: framed 2011/10/22 v 0.96: framed or shaded text with page breaks +\OuterFrameSep=\skip46 +\fb@frw=\dimen115 +\fb@frh=\dimen116 +\FrameRule=\dimen117 +\FrameSep=\dimen118 +) +(/usr/share/texlive/texmf-dist/tex/latex/ntheorem/ntheorem.sty +Style `ntheorem', Version 1.31 <2011/02/16> +Package: ntheorem 2011/02/16 1.31 +(/usr/share/texlive/texmf-dist/tex/latex/base/ifthen.sty +Package: ifthen 2001/05/26 v1.1c Standard LaTeX ifthen package (DPC) +) +\theorem@style=\toks22 +\theorem@@style=\toks23 +\theorembodyfont=\toks24 +\theoremnumbering=\toks25 +\theorempreskipamount=\skip47 +\theorempostskipamount=\skip48 +\theoremframepreskipamount=\skip49 +\theoremframepostskipamount=\skip50 +\theoremindent=\dimen119 +\theorem@indent=\dimen120 +\theoremheaderfont=\toks26 +\theoremseparator=\toks27 +\theoremprework=\toks28 +\theorempostwork=\toks29 +\theoremsymbol=\toks30 +\qedsymbol=\toks31 +\theoremkeyword=\toks32 +\qedsymbol=\toks33 +\thm@topsepadd=\skip51 +Package ntheorem Info: Option `thmmarks' loaded on input line 1066. +\c@endNonectr=\count102 +\c@currNonectr=\count103 +\mysavskip=\skip52 +Package ntheorem Info: Option `thref' loaded on input line 1066. +\mysavskip=\skip53 +Package ntheorem Info: option `amsmath' handling for `thref' loaded on input li +ne 1066. +Package ntheorem Info: option `amsmath' handling for `thmmarks' loaded on input + line 1066. +\thm@amstmpdepth=\dimen121 +\tagwidth=\dimen122 +\shadecolor=\toks34 +) +(/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: dvips.def on input line 91. + +(/usr/share/texlive/texmf-dist/tex/latex/graphics/dvips.def +File: dvips.def 1999/02/16 v3.0i Driver-dependant file (DPC,SPQR) +)) +(/usr/share/texlive/texmf-dist/tex/latex/graphics/epsfig.sty +Package: epsfig 1999/02/16 v1.7a (e)psfig emulation (SPQR) + +(/usr/share/texlive/texmf-dist/tex/latex/graphics/graphicx.sty +Package: graphicx 1999/02/16 v1.0f Enhanced LaTeX Graphics (DPC,SPQR) +\Gin@req@height=\dimen123 +\Gin@req@width=\dimen124 +) +\epsfxsize=\dimen125 +\epsfysize=\dimen126 +) +(/usr/share/texlive/texmf-dist/tex/latex/tools/calc.sty +Package: calc 2007/08/22 v4.3 Infix arithmetic (KKT,FJ) +\calc@Acount=\count104 +\calc@Bcount=\count105 +\calc@Adimen=\dimen127 +\calc@Bdimen=\dimen128 +\calc@Askip=\skip54 +\calc@Bskip=\skip55 +LaTeX Info: Redefining \setlength on input line 76. +LaTeX Info: Redefining \addtolength on input line 77. +\calc@Ccount=\count106 +\calc@Cskip=\skip56 +) +(/usr/share/texlive/texmf-dist/tex/latex/tabls/tabls.sty +\tablinesep=\dimen129 +\arraylinesep=\dimen130 +\extrarulesep=\dimen131 +\@arstdepth=\dimen132 +\@arstheight=\dimen133 +\@skip@bove=\dimen134 +) +(/usr/share/texlive/texmf-dist/tex/latex/psnfss/times.sty +Package: times 2005/04/12 PSNFSS-v9.2a (SPQR) +) +(/usr/share/texlive/texmf-dist/tex/latex/tools/tabularx.sty +Package: tabularx 1999/01/07 v2.07 `tabularx' package (DPC) + +(/usr/share/texlive/texmf-dist/tex/latex/tools/array.sty +Package: array 2008/09/09 v2.4c Tabular extension package (FMi) +\col@sep=\dimen135 +\extrarowheight=\dimen136 +\NC@list=\toks35 +\extratabsurround=\skip57 +\backup@length=\skip58 + + +LaTeX Warning: Command \@xhline has changed. + Check if current package is valid. + +) +\TX@col@width=\dimen137 +\TX@old@table=\dimen138 +\TX@old@col=\dimen139 +\TX@target=\dimen140 +\TX@delta=\dimen141 +\TX@cols=\count107 +\TX@ftn=\toks36 +) (/usr/share/texlive/texmf-dist/tex/latex/base/textcomp.sty +Package: textcomp 2005/09/27 v1.99g Standard LaTeX package +Package textcomp Info: Sub-encoding information: +(textcomp) 5 = only ISO-Adobe without \textcurrency +(textcomp) 4 = 5 + \texteuro +(textcomp) 3 = 4 + \textohm +(textcomp) 2 = 3 + \textestimated + \textcurrency +(textcomp) 1 = TS1 - \textcircled - \t +(textcomp) 0 = TS1 (full) +(textcomp) Font families with sub-encoding setting implement +(textcomp) only a restricted character set as indicated. +(textcomp) Family '?' is the default used for unknown fonts. +(textcomp) See the documentation for details. +Package textcomp Info: Setting ? sub-encoding to TS1/1 on input line 71. + +(/usr/share/texlive/texmf-dist/tex/latex/base/ts1enc.def +File: ts1enc.def 2001/06/05 v3.0e (jk/car/fm) Standard LaTeX file +Now handling font encoding TS1 ... +... processing UTF-8 mapping file for font encoding TS1 + +(/usr/share/texlive/texmf-dist/tex/latex/base/ts1enc.dfu +File: ts1enc.dfu 2008/04/05 v1.1m UTF-8 support for inputenc + defining Unicode char U+00A2 (decimal 162) + defining Unicode char U+00A3 (decimal 163) + defining Unicode char U+00A4 (decimal 164) + defining Unicode char U+00A5 (decimal 165) + defining Unicode char U+00A6 (decimal 166) + defining Unicode char U+00A7 (decimal 167) + defining Unicode char U+00A8 (decimal 168) + defining Unicode char U+00A9 (decimal 169) + defining Unicode char U+00AA (decimal 170) + defining Unicode char U+00AC (decimal 172) + defining Unicode char U+00AE (decimal 174) + defining Unicode char U+00AF (decimal 175) + defining Unicode char U+00B0 (decimal 176) + defining Unicode char U+00B1 (decimal 177) + defining Unicode char U+00B2 (decimal 178) + defining Unicode char U+00B3 (decimal 179) + defining Unicode char U+00B4 (decimal 180) + defining Unicode char U+00B5 (decimal 181) + defining Unicode char U+00B6 (decimal 182) + defining Unicode char U+00B7 (decimal 183) + defining Unicode char U+00B9 (decimal 185) + defining Unicode char U+00BA (decimal 186) + defining Unicode char U+00BC (decimal 188) + defining Unicode char U+00BD (decimal 189) + defining Unicode char U+00BE (decimal 190) + defining Unicode char U+00D7 (decimal 215) + defining Unicode char U+00F7 (decimal 247) + defining Unicode char U+0192 (decimal 402) + defining Unicode char U+02C7 (decimal 711) + defining Unicode char U+02D8 (decimal 728) + defining Unicode char U+02DD (decimal 733) + defining Unicode char U+0E3F (decimal 3647) + defining Unicode char U+2016 (decimal 8214) + defining Unicode char U+2020 (decimal 8224) + defining Unicode char U+2021 (decimal 8225) + defining Unicode char U+2022 (decimal 8226) + defining Unicode char U+2030 (decimal 8240) + defining Unicode char U+2031 (decimal 8241) + defining Unicode char U+203B (decimal 8251) + defining Unicode char U+203D (decimal 8253) + defining Unicode char U+2044 (decimal 8260) + defining Unicode char U+204E (decimal 8270) + defining Unicode char U+2052 (decimal 8274) + defining Unicode char U+20A1 (decimal 8353) + defining Unicode char U+20A4 (decimal 8356) + defining Unicode char U+20A6 (decimal 8358) + defining Unicode char U+20A9 (decimal 8361) + defining Unicode char U+20AB (decimal 8363) + defining Unicode char U+20AC (decimal 8364) + defining Unicode char U+20B1 (decimal 8369) + defining Unicode char U+2103 (decimal 8451) + defining Unicode char U+2116 (decimal 8470) + defining Unicode char U+2117 (decimal 8471) + defining Unicode char U+211E (decimal 8478) + defining Unicode char U+2120 (decimal 8480) + defining Unicode char U+2122 (decimal 8482) + defining Unicode char U+2126 (decimal 8486) + defining Unicode char U+2127 (decimal 8487) + defining Unicode char U+212E (decimal 8494) + defining Unicode char U+2190 (decimal 8592) + defining Unicode char U+2191 (decimal 8593) + defining Unicode char U+2192 (decimal 8594) + defining Unicode char U+2193 (decimal 8595) + defining Unicode char U+2329 (decimal 9001) + defining Unicode char U+232A (decimal 9002) + defining Unicode char U+2422 (decimal 9250) + defining Unicode char U+25E6 (decimal 9702) + defining Unicode char U+25EF (decimal 9711) + defining Unicode char U+266A (decimal 9834) +)) +LaTeX Info: Redefining \oldstylenums on input line 266. +Package textcomp Info: Setting cmr sub-encoding to TS1/0 on input line 281. +Package textcomp Info: Setting cmss sub-encoding to TS1/0 on input line 282. +Package textcomp Info: Setting cmtt sub-encoding to TS1/0 on input line 283. +Package textcomp Info: Setting cmvtt sub-encoding to TS1/0 on input line 284. +Package textcomp Info: Setting cmbr sub-encoding to TS1/0 on input line 285. +Package textcomp Info: Setting cmtl sub-encoding to TS1/0 on input line 286. +Package textcomp Info: Setting ccr sub-encoding to TS1/0 on input line 287. +Package textcomp Info: Setting ptm sub-encoding to TS1/4 on input line 288. +Package textcomp Info: Setting pcr sub-encoding to TS1/4 on input line 289. +Package textcomp Info: Setting phv sub-encoding to TS1/4 on input line 290. +Package textcomp Info: Setting ppl sub-encoding to TS1/3 on input line 291. +Package textcomp Info: Setting pag sub-encoding to TS1/4 on input line 292. +Package textcomp Info: Setting pbk sub-encoding to TS1/4 on input line 293. +Package textcomp Info: Setting pnc sub-encoding to TS1/4 on input line 294. +Package textcomp Info: Setting pzc sub-encoding to TS1/4 on input line 295. +Package textcomp Info: Setting bch sub-encoding to TS1/4 on input line 296. +Package textcomp Info: Setting put sub-encoding to TS1/5 on input line 297. +Package textcomp Info: Setting uag sub-encoding to TS1/5 on input line 298. +Package textcomp Info: Setting ugq sub-encoding to TS1/5 on input line 299. +Package textcomp Info: Setting ul8 sub-encoding to TS1/4 on input line 300. +Package textcomp Info: Setting ul9 sub-encoding to TS1/4 on input line 301. +Package textcomp Info: Setting augie sub-encoding to TS1/5 on input line 302. +Package textcomp Info: Setting dayrom sub-encoding to TS1/3 on input line 303. +Package textcomp Info: Setting dayroms sub-encoding to TS1/3 on input line 304. + +Package textcomp Info: Setting pxr sub-encoding to TS1/0 on input line 305. +Package textcomp Info: Setting pxss sub-encoding to TS1/0 on input line 306. +Package textcomp Info: Setting pxtt sub-encoding to TS1/0 on input line 307. +Package textcomp Info: Setting txr sub-encoding to TS1/0 on input line 308. +Package textcomp Info: Setting txss sub-encoding to TS1/0 on input line 309. +Package textcomp Info: Setting txtt sub-encoding to TS1/0 on input line 310. +Package textcomp Info: Setting lmr sub-encoding to TS1/0 on input line 311. +Package textcomp Info: Setting lmdh sub-encoding to TS1/0 on input line 312. +Package textcomp Info: Setting lmss sub-encoding to TS1/0 on input line 313. +Package textcomp Info: Setting lmssq sub-encoding to TS1/0 on input line 314. +Package textcomp Info: Setting lmvtt sub-encoding to TS1/0 on input line 315. +Package textcomp Info: Setting qhv sub-encoding to TS1/0 on input line 316. +Package textcomp Info: Setting qag sub-encoding to TS1/0 on input line 317. +Package textcomp Info: Setting qbk sub-encoding to TS1/0 on input line 318. +Package textcomp Info: Setting qcr sub-encoding to TS1/0 on input line 319. +Package textcomp Info: Setting qcs sub-encoding to TS1/0 on input line 320. +Package textcomp Info: Setting qpl sub-encoding to TS1/0 on input line 321. +Package textcomp Info: Setting qtm sub-encoding to TS1/0 on input line 322. +Package textcomp Info: Setting qzc sub-encoding to TS1/0 on input line 323. +Package textcomp Info: Setting qhvc sub-encoding to TS1/0 on input line 324. +Package textcomp Info: Setting futs sub-encoding to TS1/4 on input line 325. +Package textcomp Info: Setting futx sub-encoding to TS1/4 on input line 326. +Package textcomp Info: Setting futj sub-encoding to TS1/4 on input line 327. +Package textcomp Info: Setting hlh sub-encoding to TS1/3 on input line 328. +Package textcomp Info: Setting hls sub-encoding to TS1/3 on input line 329. +Package textcomp Info: Setting hlst sub-encoding to TS1/3 on input line 330. +Package textcomp Info: Setting hlct sub-encoding to TS1/5 on input line 331. +Package textcomp Info: Setting hlx sub-encoding to TS1/5 on input line 332. +Package textcomp Info: Setting hlce sub-encoding to TS1/5 on input line 333. +Package textcomp Info: Setting hlcn sub-encoding to TS1/5 on input line 334. +Package textcomp Info: Setting hlcw sub-encoding to TS1/5 on input line 335. +Package textcomp Info: Setting hlcf sub-encoding to TS1/5 on input line 336. +Package textcomp Info: Setting pplx sub-encoding to TS1/3 on input line 337. +Package textcomp Info: Setting pplj sub-encoding to TS1/3 on input line 338. +Package textcomp Info: Setting ptmx sub-encoding to TS1/4 on input line 339. +Package textcomp Info: Setting ptmj sub-encoding to TS1/4 on input line 340. +) +(/usr/share/texlive/texmf-dist/tex/latex/pstricks/pst-all.sty +Package: pst-all 2008/01/01 the main pstricks tools + +(/usr/share/texlive/texmf-dist/tex/latex/pstricks/pstricks.sty +Package: pstricks 2011/10/31 v0.52 LaTeX wrapper for `PSTricks' (RN,HV) + +(/usr/share/texlive/texmf-dist/tex/generic/pstricks/pstricks.tex +(/usr/share/texlive/texmf-dist/tex/generic/xkeyval/pst-xkey.tex +File: pst-xkey.tex 2005/11/25 v1.6 PSTricks specialization of xkeyval (HA) + +(/usr/share/texlive/texmf-dist/tex/latex/xkeyval/xkeyval.sty +Package: xkeyval 2008/08/13 v2.6a package option processing (HA) + +(/usr/share/texlive/texmf-dist/tex/generic/xkeyval/xkeyval.tex +\XKV@toks=\toks37 +\XKV@tempa@toks=\toks38 +\XKV@depth=\count108 +File: xkeyval.tex 2008/08/13 v2.6a key=value parser (HA) +))) +(/usr/share/texlive/texmf-dist/tex/generic/pstricks/pst-fp.tex +`pst-fp' v0.05, 2010/01/17 (hv) +\pstFP@xs=\count109 +\pstFP@xia=\count110 +\pstFP@xib=\count111 +\pstFP@xfa=\count112 +\pstFP@xfb=\count113 +\pstFP@rega=\count114 +\pstFP@regb=\count115 +\pstFP@regs=\count116 +\pstFP@times=\count117 +) +\psLoopIndex=\count118 + +`PSTricks' v2.29 <2012/06/04> (tvz) +\pst@dima=\dimen142 +\pst@dimb=\dimen143 +\pst@dimc=\dimen144 +\pst@dimd=\dimen145 +\pst@dimg=\dimen146 +\pst@dimh=\dimen147 +\pst@dimm=\dimen148 +\pst@dimn=\dimen149 +\pst@dimo=\dimen150 +\pst@dimp=\dimen151 +\pst@hbox=\box28 +\pst@ibox=\box29 +\pst@boxg=\box30 +\pst@cnta=\count119 +\pst@cntb=\count120 +\pst@cntc=\count121 +\pst@cntd=\count122 +\pst@cntg=\count123 +\pst@cnth=\count124 +\pst@cntm=\count125 +\pst@cntn=\count126 +\pst@cnto=\count127 +\pst@cntp=\count128 +\@zero=\count129 +\pst@toks=\toks39 +(/usr/share/texlive/texmf-dist/tex/generic/pstricks/pstricks.con) +\psunit=\dimen152 +\psxunit=\dimen153 +\psyunit=\dimen154 +\pst@C@@rType=\count130 +\pslinewidth=\dimen155 +\psk@startLW=\dimen156 +\psk@endLW=\dimen157 +\pst@customdefs=\toks40 +\pslinearc=\dimen158 +\pst@symbolStep=\dimen159 +\pst@symbolWidth=\dimen160 +\pst@symbolLinewidth=\dimen161 +\everypsbox=\toks41 +\psframesep=\dimen162 +\pslabelsep=\dimen163 +\pst@shift=\dimen164 +\theoverlaybox=\box31 +) +File: pstricks.tex 2012/06/04 v2.29 `PSTricks' (tvz,hv) + +(/usr/share/texlive/texmf-dist/tex/generic/pstricks/pst-fp.tex) +File: pst-fp.tex 2012/06/04 v2.29 `PST-fp' (hv) + +(/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. + +(/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/error messages (HO) +) +(/usr/share/texlive/texmf-dist/tex/generic/oberdiek/ltxcmds.sty +Package: ltxcmds 2011/11/09 v1.22 LaTeX kernel commands for general use (HO) +) +\Gread@gobject=\count131 +) +Package xcolor Info: Model `cmy' substituted by `cmy0' on input line 1337. +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/texlive/texmf-dist/tex/latex/pst-plot/pst-plot.sty +Package: pst-plot 2011/06/05 v1.00 LaTeX wrapper for `pst-plot' (HV) + +(/usr/share/texlive/texmf-dist/tex/latex/xkeyval/pst-xkey.sty +Package: pst-xkey 2005/11/25 v1.6 package wrapper for pst-xkey.tex (HA) +) +(/usr/share/texlive/texmf-dist/tex/latex/multido/multido.sty +Package: multido 2004/05/17 package wrapper for PSTricks `multido.tex', (HV/RN) + + +(/usr/share/texlive/texmf-dist/tex/generic/multido/multido.tex + v1.42, 2010/05/14 +\multido@count=\count132 +\multidocount=\count133 +\multido@stuff=\toks42 +) +File: multido.tex 2010/05/14 v1.42 `multido' (tvz,hv) +) +Package: pst-plot 2011/04/13 package wrapper for pst-plot.tex (hv) + +(/usr/share/texlive/texmf-dist/tex/generic/pst-plot/pst-plot.tex + v1.42, 2012/05/03 (tvz,hv) +\pstRadUnit=\dimen165 +\pstRadUnitInv=\dimen166 +\pst@linecnt=\count134 +\psxlabelsep=\dimen167 +\psylabelsep=\dimen168 +\psk@subticksize=\dimen169 +\pst@xticksizeA=\dimen170 +\pst@xticksizeB=\dimen171 +\pst@xticksizeC=\dimen172 +\pst@yticksizeA=\dimen173 +\pst@yticksizeB=\dimen174 +\pst@yticksizeC=\dimen175 +\@digitcounter=\count135 +\psk@llx=\dimen176 +\psk@lly=\dimen177 +\psk@urx=\dimen178 +\psk@ury=\dimen179 +\pst@xunit=\dimen180 +\pst@yunit=\dimen181 +) +File: pst-plot.tex 2012/05/03 1.42 `pst-plot' (tvz,hv) +) +(/usr/share/texlive/texmf-dist/tex/latex/pst-node/pst-node.sty +Package: pst-node 2011/06/05 v1.00 LaTeX wrapper for `pst-node' (HV) +Package: pst-node 2010/04/22 package wrapper for pst-node.tex + +(/usr/share/texlive/texmf-dist/tex/generic/pst-node/pst-node.tex + v1.22, 2012/02/12 +\psrow=\count136 +\pscol=\count137 +\psmatrixcnt=\count138 +\psrowsep=\skip59 +\pscolsep=\skip60 +\pst@args=\count139 +\num@pts=\count140 +\pst@argcnt=\count141 +) +File: pst-node.tex 2012/02/12 1.22 `pst-node' (tvz) +) +(/usr/share/texlive/texmf-dist/tex/latex/pst-tree/pst-tree.sty +Package: pst-tree 2009/01/25 package wrapper for pst-tree.tex + +(/usr/share/texlive/texmf-dist/tex/generic/pst-tree/pst-tree.tex + v1.12, 2011/02/28(tvz,dg,hv) +\pstree@rootbox=\box32 +\pstree@box=\box33 +\psnodecnt=\count142 +\pstreelevel=\count143 +\pstreecnt=\count144 +\pstree@cnt=\count145 +\pstree@stop=\count146 +) +File: pst-tree.tex 2011/02/28 1.12 `pst-tree' (tvz,hv) +) +(/usr/share/texlive/texmf-dist/tex/latex/pst-grad/pst-grad.sty +Package: pst-grad 2004/07/15 package wrapper for pst-grad.tex (hv) + +(/usr/share/texlive/texmf-dist/tex/generic/pst-grad/pst-grad.tex +`pst-grad' v1.06, 2006/11/27 (tvz,dg,hv)) +File: pst-grad.tex 2006/11/27 1.06 `pst-grad' (tvz) +) +(/usr/share/texlive/texmf-dist/tex/latex/pst-coil/pst-coil.sty +Package: pst-coil 2010/02/01 package wrapper for pst-coil.tex (hv) + +(/usr/share/texlive/texmf-dist/tex/generic/pst-coil/pst-coil.tex + v1.06, 2006/11/27 +(/usr/share/texlive/texmf-dist/tex/generic/pst-node/pst-node.tex)) +File: pst-coil.tex 2011/09/17 v1.06 `PST-coil' (tvz,hv) +) +(/usr/share/texlive/texmf-dist/tex/latex/pst-text/pst-text.sty +Package: pst-text 2006/01/01 package wrapper for pst-text.tex (hv) + +(/usr/share/texlive/texmf-dist/tex/generic/pst-text/pst-text.tex + v1.00, 2006/11/05(tvz,hv)) +File: pst-text.tex 2006/11/05 1.00 `pst-text' (tvz) +) +(/usr/share/texlive/texmf-dist/tex/latex/pst-3d/pst-3d.sty +Package: pst-3d 2009/07/28 package wrapper for pst-3d.tex (hv) + +(/usr/share/texlive/texmf-dist/tex/generic/pst-3d/pst-3d.tex +`PST-3d' v1.11, 2010/02/14 (tvz)) +File: pst-3d.tex 2010/02/14 v1.11 `PST-3d' (hv) +) +(/usr/share/texlive/texmf-dist/tex/latex/pst-eps/pst-eps.sty +Package: pst-eps 2005/05/20 package wrapper for pst-eps.tex (hv) + +(/usr/share/texlive/texmf-dist/tex/generic/pst-eps/pst-eps.tex + v1.00, 2006/11/04 +\pst@epsout=\write3 +\pst@tempout=\write4 +) +File: pst-eps.tex 2006/11/04 1.00 `pst-eps' (tvz) +) +(/usr/share/texlive/texmf-dist/tex/latex/pst-fill/pst-fill.sty +Package: pst-fill 2005/09/13 package wrapper for pst-fill.tex (hv) + +(/usr/share/texlive/texmf-dist/tex/generic/pst-fill/pst-fill.tex +`PST-Fill' v1.01, 2007/03/10 (tvz,dg,hv) +\pst@fillbox=\box34 +) +File: pst-fill.tex 2007/03/10 v1.01 `PST-fill' (tvz,dg) +) +(/usr/share/texlive/texmf-dist/tex/latex/pstricks-add/pstricks-add.sty +(/usr/share/texlive/texmf-dist/tex/latex/pst-math/pst-math.sty +Package: pst-math 2009/01/20 package wrapper for PSTricks pst-math.tex + +(/usr/share/texlive/texmf-dist/tex/generic/pst-math/pst-math.tex +`pst-math' v0.62 , (CJ,hv)) +File: pst-math.tex 2010/10/20 v0.62 `PST-math' (hv) +) +Package: pstricks-add 2010/02/11 v. 0.14 package wrapper for pstricks-add.tex ( +hv) + +(/usr/share/texlive/texmf-dist/tex/generic/pstricks-add/pstricks-add.tex +`pstricks-add' v3.55, 2011/12/11 (dr,hv) +\pshooklength=\dimen182 +\pshookwidth=\dimen183 +\pst@cntC=\count147 +\chart@ColorIndex=\dimen184 +\chart@ColorStep=\dimen185 +\pst@chartHeight=\dimen186 +\pst@chartStackDepth=\dimen187 +\pst@chartStackWidth=\dimen188 +\chart@Toggle=\count148 +\psVectorCtr=\count149 +) +File: pstricks-add.tex 2011/12/11 v3.55 `PSTricks-add' (hv) +)) +(/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 Detect VTeX and its facilities (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=\count150 +\Gm@cntv=\count151 +\c@Gm@tempcnt=\count152 +\Gm@bindingoffset=\dimen189 +\Gm@wd@mp=\dimen190 +\Gm@odd@mp=\dimen191 +\Gm@even@mp=\dimen192 +\Gm@layoutwidth=\dimen193 +\Gm@layoutheight=\dimen194 +\Gm@layouthoffset=\dimen195 +\Gm@layoutvoffset=\dimen196 +\Gm@dimlist=\toks43 +) +(./symboles.sty) (./controle.aux) +\openout1 = `controle.aux'. + +LaTeX Font Info: Checking defaults for OML/cmm/m/it on input line 29. +LaTeX Font Info: ... okay on input line 29. +LaTeX Font Info: Checking defaults for T1/cmr/m/n on input line 29. +LaTeX Font Info: ... okay on input line 29. +LaTeX Font Info: Checking defaults for OT1/cmr/m/n on input line 29. +LaTeX Font Info: ... okay on input line 29. +LaTeX Font Info: Checking defaults for OMS/cmsy/m/n on input line 29. +LaTeX Font Info: ... okay on input line 29. +LaTeX Font Info: Checking defaults for OMX/cmex/m/n on input line 29. +LaTeX Font Info: ... okay on input line 29. +LaTeX Font Info: Checking defaults for U/cmr/m/n on input line 29. +LaTeX Font Info: ... okay on input line 29. +LaTeX Font Info: Checking defaults for TS1/cmr/m/n on input line 29. +LaTeX Font Info: Try loading font information for TS1+cmr on input line 29. + +(/usr/share/texlive/texmf-dist/tex/latex/base/ts1cmr.fd +File: ts1cmr.fd 1999/05/25 v2.5h Standard LaTeX font definitions +) +LaTeX Font Info: ... okay on input line 29. +LaTeX Font Info: Try loading font information for OT1+ptm on input line 29. + +(/usr/share/texlive/texmf-dist/tex/latex/psnfss/ot1ptm.fd +File: ot1ptm.fd 2001/06/04 font definitions for OT1/ptm. +) +LaTeX Info: Redefining \degres on input line 29. +LaTeX Info: Redefining \dots on input line 29. +LaTeX Info: Redefining \up on input line 29. + + +Package frenchb.ldf Warning: OT1 encoding should not be used for French. +(frenchb.ldf) Add \usepackage[T1]{fontenc} to the preamble +(frenchb.ldf) of your document, on input line 29. + +(/usr/share/texlive/texmf-dist/tex/generic/oberdiek/pdftexcmds.sty +Package: pdftexcmds 2011/11/29 v0.20 Utility functions of pdfTeX for LuaTeX (HO +) + +(/usr/share/texlive/texmf-dist/tex/generic/oberdiek/ifluatex.sty +Package: ifluatex 2010/03/01 v1.3 Provides the ifluatex switch (HO) +Package ifluatex Info: LuaTeX not detected. +) +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. +) +(/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 Manage graphics extensions (HO) + +(/usr/share/texlive/texmf-dist/tex/generic/oberdiek/kvdefinekeys.sty +Package: kvdefinekeys 2011/04/07 v1.3 Define keys (HO) +)) +(/usr/share/texlive/texmf-dist/tex/latex/oberdiek/kvoptions.sty +Package: kvoptions 2011/06/30 v3.11 Key value format for package options (HO) + +(/usr/share/texlive/texmf-dist/tex/generic/oberdiek/kvsetkeys.sty +Package: kvsetkeys 2012/04/25 v1.16 Key value parser (HO) + +(/usr/share/texlive/texmf-dist/tex/generic/oberdiek/etexcmds.sty +Package: etexcmds 2011/02/16 v1.5 Avoid name clashes with e-TeX commands (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 epstopdf-base Info: Redefining graphics rule for `.eps' on input line 4 +34. +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 +)) +(/usr/share/texlive/texmf-dist/tex/context/base/supp-pdf.mkii +[Loading MPS to PDF converter (version 2006.09.02).] +\scratchcounter=\count153 +\scratchdimen=\dimen197 +\scratchbox=\box35 +\nofMPsegments=\count154 +\nofMParguments=\count155 +\everyMPshowfont=\toks44 +\MPscratchCnt=\count156 +\MPscratchDim=\dimen198 +\MPnumerator=\count157 +\makeMPintoPDFobject=\count158 +\everyMPtoPDFconversion=\toks45 +) +*geometry* driver: auto-detecting +*geometry* detected driver: pdftex +*geometry* verbose mode - [ preamble ] result: +* driver: pdftex +* paper: a4paper +* layout: +* layoutoffset:(h,v)=(0.0pt,0.0pt) +* modes: +* h-part:(L,W,R)=(28.45274pt, 540.60239pt, 28.45274pt) +* v-part:(T,H,B)=(42.67912pt, 759.6886pt, 42.67912pt) +* \paperwidth=597.50787pt +* \paperheight=845.04684pt +* \textwidth=540.60239pt +* \textheight=759.6886pt +* \oddsidemargin=-43.81725pt +* \evensidemargin=-43.81725pt +* \topmargin=-66.59087pt +* \headheight=12.0pt +* \headsep=25.0pt +* \topskip=11.0pt +* \footskip=30.0pt +* \marginparwidth=72.26999pt +* \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) + +LaTeX Font Info: Try loading font information for U+msa on input line 30. +(/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 30. + +(/usr/share/texlive/texmf-dist/tex/latex/amsfonts/umsb.fd +File: umsb.fd 2009/06/22 v3.00 AMS symbols B +) + +LaTeX Warning: No \author given. + +LaTeX Font Info: Font shape `OT1/ptm/bx/n' in size <14.4> not available +(Font) Font shape `OT1/ptm/b/n' tried instead on input line 40. +\tf@thm=\write5 +\openout5 = `controle.thm'. + +[1 +Non-PDF special ignored! +Non-PDF special ignored! +Non-PDF special ignored! +Non-PDF special ignored! +Non-PDF special ignored! +Non-PDF special ignored! +Non-PDF special ignored! +Non-PDF special ignored! +Non-PDF special ignored! +Non-PDF special ignored! +Non-PDF special ignored! + + +Non-PDF special ignored! +Non-PDF special ignored! +Non-PDF special ignored!{/var/lib/texmf/fonts/map/pdftex/updmap/pdftex.map}] +(./controle.aux) ) +Here is how much of TeX's memory you used: + 9205 strings out of 495059 + 131059 string characters out of 3182030 + 278180 words of memory out of 3000000 + 12136 multiletter control sequences out of 15000+200000 + 15942 words of font info for 47 fonts, out of 3000000 for 9000 + 14 hyphenation exceptions out of 8191 + 44i,7n,64p,599b,199s stack positions out of 5000i,500n,10000p,200000b,50000s +{/usr/share/texlive/texmf-dist/fonts/enc/dvips/base/8r.enc} +Output written on controle.pdf (1 page, 70188 bytes). +PDF statistics: + 37 PDF objects out of 1000 (max. 8388607) + 26 compressed objects within 1 object stream + 0 named destinations out of 1000 (max. 500000) + 1 words of extra memory for PDF output out of 10000 (max. 10000000) + diff --git a/partiels/131003S1/controle.pdf b/partiels/131003S1/controle.pdf new file mode 100644 index 0000000..159b58b Binary files /dev/null and b/partiels/131003S1/controle.pdf differ diff --git a/partiels/131003S1/controle.tex b/partiels/131003S1/controle.tex new file mode 100644 index 0000000..0435c0c --- /dev/null +++ b/partiels/131003S1/controle.tex @@ -0,0 +1,101 @@ +\documentclass[11pt,a4paper,french]{article} +\usepackage[francais]{babel} +\usepackage[utf8]{inputenc} +\usepackage{a4} +\usepackage{amsmath} +\usepackage{amsfonts} +\usepackage{amssymb} +\usepackage{framed} +\usepackage[amsmath,thmmarks,thref,framed]{ntheorem} +\usepackage[dvips]{graphics} +\usepackage{epsfig} +\usepackage{calc} +\usepackage{tabls} +\usepackage{times} +\usepackage{tabularx} +\usepackage{textcomp} +\usepackage{pst-all} +\usepackage[a4paper]{geometry} + +\input{symboles.sty} +\geometry{hmargin=1cm, vmargin=1.5cm} + +\title{ +DUT d'informatique. Contrôle de mathématiques discrètes.\\ +Semestre 1 (Octobre 2013). Durée 1h.} + +\date{} + +\begin{document} +\maketitle + +\noindent Seule une fiche manuscrite de format A5 est autorisée. +Tous les exercices de ce sujet sont indépendants les uns des autres. +Dans tout ce qui suit, on considère une algèbre de Boole +munie des opérateurs classiques ``+'', ``.'', +``$\overline{\begin{array}{l}~\end{array}}$'' et des variables booléennes +$a$, $b$, $c$, $d$. + + +\section{Cours} + +\begin{enumerate} +\item La première règle de suppression de la redondance est: ``dans une somme booléenne, tout terme absorbe ses multiples''. Démontrer cette règle (sans se servir des règles de suppression de redondance naturellement). +\item Donner la définition de \og la forme cannonique disjonctive d'une expression\fg{}. +\item Démontrer qu'il y a 1024 mintermes à 10 variables. +Si vous utilisez un théorème pour faire la preuve, il faudra le prouver. +\item Que dire des colonnes adjacentes d'une table de Karnaugh? Et les lignes ? + +\end{enumerate} + + + + +\section{Forme canonique disjonctive} +Donner la forme canonique disjonctive de l'expression suivante en détaillant les calculs: +$$ +(a + b + \overline{c}).\overline{(\overline{a} + bc)}. +$$ + +\section{Table de Karnaugh} +On considère les deux expressions booléennes $E_1$ et $E_2$ suivantes: + +$$ +\begin{array}{rcl} +E_1 &= &\overline{a}.\overline{b} + a.c+ a.\overline{b}.\overline{c},\\ +E_2 &=& a.\overline{b} + a.c.d + a.b.c +\overline{a}.\overline{b}.\overline{c}. +\end{array} +$$ + +\begin{enumerate} +\item A l'aide d'une table de Karnaugh donner l'expression $K_1$ qui + serait la forme la plus réduite de $E_1$. + +\item A l'aide d'une autre table de Karnaugh donner l'expression + $K_2$ qui serait la forme la plus réduite de $E_2$. + +\item Justifier algébriquement que l'on a l'égalité $E_1 = K_1$. + +\item Justifier algébriquement que l'on a l'égalité $E_2 = K_2$. +\end{enumerate} + +\section{Opérateur de Peirce} +On considère l'opérateur binaire de Peirce +défini pour toute paire de variables booléennes $(a,b)$ par +$$ +a \downarrow b = \overline{a}.\overline{b} +$$. + +\begin{enumerate} +\item Que valent +$a \downarrow 0$ puis $0 \downarrow 0$ et enfin $1 \downarrow 1$? +\item Que valent $(a \downarrow 0) \downarrow (b \downarrow 0)$ et + $(a \downarrow b ) \downarrow 0$ ? +\item Réécrire l'expression $\overline{a}.(b+c)$ sans utiliser +les opérateurs ``+'', ``.'' et +``$\overline{\begin{array}{l}~\end{array}}$'' mais en +n'utilisant que l'opérateur de Peirce et des parenthèses. +\item L'opérateur de Peirce est-il associatif? Le prouver. +\end{enumerate} + +\end{document} diff --git a/partiels/131003S1/controle.tex.bak b/partiels/131003S1/controle.tex.bak new file mode 100644 index 0000000..97e056d --- /dev/null +++ b/partiels/131003S1/controle.tex.bak @@ -0,0 +1,102 @@ +\documentclass[11pt,a4paper,french]{article} +\usepackage[francais]{babel} +\usepackage[utf8]{inputenc} +\usepackage{a4} +\usepackage{amsmath} +\usepackage{amsfonts} +\usepackage{amssymb} +\usepackage{framed} +\usepackage[amsmath,thmmarks,thref,framed]{ntheorem} +\usepackage[dvips]{graphics} +\usepackage{epsfig} +\usepackage{calc} +\usepackage{tabls} +\usepackage{times} +\usepackage{tabularx} +\usepackage{textcomp} +\usepackage{pst-all} +\usepackage[a4paper]{geometry} + +\input{symboles.sty} +\geometry{hmargin=1cm, vmargin=1.5cm} + +\title{ +DUT d'informatique. Contrôle de mathématiques discrètes.\\ +Semestre 1 (Octobre 2013). Durée 1h\\ +} + +\date{} + +\begin{document} +\maketitle + +\noindent Seule une fiche manuscrite de format A5 est autorisée. +Tous les exercices de ce sujet sont indépendants les uns des autres. +Dans tout ce qui suit, on considère une algèbre de Boole +munie des opérateurs classiques ``+'', ``.'', +``$\overline{\begin{array}{l}~\end{array}}$'' et des variables booléennes +$a$, $b$, $c$, $d$\ldots + + +\section{Cours} + +\begin{enumerate} +\item La première règle de suppression de la redondance est: ``Dans une somme booléenne, tout terme absorbe ses multiples: $a + a.b = a$.''. Démontrer cette règles (sans se servir des règles de suppression de redondance naturellement). +\item Donner la définition de \og la forme cannonique disjonctive d'une expression\fg{}. +\item Démontrer qu'il y a 1024 mintermes à 10 variables. +Si vous utilisez un théorème pour faire la preuve, il faudra le prouver. +\item Que dire des colonnes adjacentes d'une table de Karnaugh? Et les lignes ? + +\end{enumerate} + + + + +\section{Forme canonique disjonctive} +Donner la forme canonique disjonctive de l'expression suivante en détaillant les calculs: +$$ +(a + b + \overline{c}).\overline{(\overline{a} + bc)}. +$$ + +\section{Table de Karnaugh} +On considère les deux expressions booléennes $E_1$ et $E_2$ suivantes: + +$$ +\begin{array}{rcl} +E_1 &= &\overline{a}.\overline{b} + a.c+ a.\overline{b}.\overline{c},\\ +E_2 &=& a.\overline{b} + a.c.d + a.b.c +\overline{a}.\overline{b}.\overline{c}. +\end{array} +$$ + +\begin{enumerate} +\item A l'aide d'une table de Karnaugh donner l'expression $K_1$ qui + serait la forme la plus réduite de $E_1$. + +\item A l'aide d'une autre table de Karnaugh donner l'expression + $K_2$ qui serait la forme la plus réduite de $E_2$. + +\item Justifier algébriquement que l'on a l'égalité $E_1 = K_1$. + +\item Justifier algébriquement que l'on a l'égalité $E_2 = K_2$. +\end{enumerate} + +\section{Opérateur de Peirce} +On condidère l'opérateur binaire de Peirce +défini pour toute paire de variables booléenne $(a,b)$ par +$$ +a \downarrow b = \overline{a}.\overline{b} +$$. + +\begin{enumerate} +\item Que valent +$a \downarrow 0$ puis $0 \downarrow 0$ et enfin $1 \downarrow 1$? +\item Que valent $(a \downarrow 0) \downarrow (b \downarrow 0)$ et + $(a \downarrow b ) \downarrow 0$ ? +\item Réécrire l'expression $\overline{a}.(b+c)$ sans utiliser +les opérateurs ``+'', ``.'' et +``$\overline{\begin{array}{l}~\end{array}}$'' mais en +n'utilisant que l'opérateur de Peirce et des parenthèses. +\item L'opéreteur de Peirce est-il associatif? Le prouver. +\end{enumerate} + +\end{document} diff --git a/partiels/131003S1/controle.tex~ b/partiels/131003S1/controle.tex~ new file mode 100644 index 0000000..7c54d59 --- /dev/null +++ b/partiels/131003S1/controle.tex~ @@ -0,0 +1,102 @@ +\documentclass[11pt,a4paper,french]{article} +\usepackage[francais]{babel} +\usepackage[utf8]{inputenc} +\usepackage{a4} +\usepackage{amsmath} +\usepackage{amsfonts} +\usepackage{amssymb} +\usepackage{framed} +\usepackage[amsmath,thmmarks,thref,framed]{ntheorem} +\usepackage[dvips]{graphics} +\usepackage{epsfig} +\usepackage{calc} +\usepackage{tabls} +\usepackage{times} +\usepackage{tabularx} +\usepackage{textcomp} +\usepackage{pst-all} +\usepackage[a4paper]{geometry} + +\input{symboles.sty} +\geometry{hmargin=1cm, vmargin=1.5cm} + +\title{ +DUT d'informatique. Contrôle de mathématiques discrètes.\\ +Semestre 1 (Octobre 2013). Durée 1h\\ +} + +\date{} + +\begin{document} +\maketitle + +\noindent Seule une fiche manuscrite de format A5 est autorisée. +Tous les exercices de ce sujet sont indépendants les uns des autres. +Dans tout ce qui suit, on considère une algèbre de Boole +munie des opérateurs classiques ``+'', ``.'', +``$\overline{\begin{array}{l}~\end{array}}$'' et des variables booléennes +$a$, $b$, $c$, $d$\ldots + + +\section{Cours} + +\begin{enumerate} +\item La première règle de suppression de la redondance est: ``Dans une somme booléenne, tout terme absorbe ses multiples: $a + a.b = a$.''. Démontrer cette règles (sans se servir des règles de suppression de redondance naturellement). +\item Donner la définition de \og la forme cannonique disjonctive d'une expression\fg{}. +\item Démontrer qu'il y a 1024 mintermes à 10 variables. +Si vous utilisez un théorème pour faire la preuve, il faudra le prouver. +\item Que dire des colonnes adjacentes d'une table de Karnaugh? Et les lignes ? + +\end{enumerate} + + + + +\section{Forme canonique disjonctive} +Donner la forme canonique disjonctive de l'expression suivante en détaillant les calculs: +$$ +(a + b + \overline{c}).\overline{(\overline{a} + bc)}. +$$ + +\section{Table de Karnaugh} +On considère les deux expressions booléennes $E_1$ et $E_2$ suivantes: + +$$ +\begin{array}{rcl} +E_1 &= &\overline{a}.\overline{b} + a.c+ a.\overline{b}.\overline{c},\\ +E_2 &=& a.\overline{b} + a.c.d + a.b.c +\overline{a}.\overline{b}.\overline{c}. +\end{array} +$$ + +\begin{enumerate} +\item A l'aide d'une table de Karnaugh donner l'expression $K_1$ qui + serait la forme la plus réduite de $E_1$. + +\item A l'aide d'une autre table de Karnaugh donner l'expression + $K_2$ qui serait la forme la plus réduite de $E_2$. + +\item Justifier algébriquement que l'on a l'égalité $E_1 = K_1$. + +\item Justifier algébriquement que l'on a l'égalité $E_2 = K_2$. +\end{enumerate} + +\section{Opérateur de Peirce} +On considère l'opérateur binaire de Peirce +défini pour toute paire de variables booléenne $(a,b)$ par +$$ +a \downarrow b = \overline{a}.\overline{b} +$$. + +\begin{enumerate} +\item Que valent +$a \downarrow 0$ puis $0 \downarrow 0$ et enfin $1 \downarrow 1$? +\item Que valent $(a \downarrow 0) \downarrow (b \downarrow 0)$ et + $(a \downarrow b ) \downarrow 0$ ? +\item Réécrire l'expression $\overline{a}.(b+c)$ sans utiliser +les opérateurs ``+'', ``.'' et +``$\overline{\begin{array}{l}~\end{array}}$'' mais en +n'utilisant que l'opérateur de Peirce et des parenthèses. +\item L'opérateur de Peirce est-il associatif? Le prouver. +\end{enumerate} + +\end{document} diff --git a/partiels/131003S1/controle.thm b/partiels/131003S1/controle.thm new file mode 100644 index 0000000..e69de29 diff --git a/partiels/131003S1/symboles.sty b/partiels/131003S1/symboles.sty new file mode 120000 index 0000000..a4e1afa --- /dev/null +++ b/partiels/131003S1/symboles.sty @@ -0,0 +1 @@ +/home/couchot/enseignement/stats/partiels/111103/symboles.sty \ No newline at end of file