This is pdfTeX, Version 3.1415926-1.40.10 (TeX Live 2009/Debian) (format=pdflatex 2011.5.7) 22 NOV 2011 15:37 entering extended mode %&-line parsing enabled. **fondamenti.tex (./fondamenti.tex LaTeX2e <2009/09/24> Babel and hyphenation patterns for english, usenglishmax, dumylang, noh yphenation, loaded. (/usr/share/texmf-texlive/tex/latex/base/article.cls Document Class: article 2007/10/19 v1.4h Standard LaTeX document class (/usr/share/texmf-texlive/tex/latex/base/size10.clo File: size10.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 ) (./amath.sty (./prova.sty \pfindent=\skip43 \pftopsep=\skip44 \pfbotsep=\skip45 \pfsep=\skip46 \stepsep=\skip47 \pfbox=\box26 \c@pfhidelevel=\count87 \pfshortNumberLevel=\count88 \c@pf@sidenumberdepth=\count89 \pf@sidenumberoutdent=\skip48 \pfLevelCount=\count90 \pfStepCount=\count91 \pf@outdent=\skip49 \c@pf@conjCounter=\count92 \c@pfenum=\count93 \c@pfenumdepth=\count94 \enumindent=\skip50 \c@pfenumi=\count95 \c@pfenumii=\count96 \c@pfenumiii=\count97 ) (/usr/share/texmf-texlive/tex/latex/graphics/color.sty Package: color 2005/11/14 v1.0j Standard LaTeX Color (DPC) (/etc/texmf/tex/latex/config/color.cfg File: color.cfg 2007/01/18 v1.5 color configuration of teTeX/TeXLive ) Package color Info: Driver file: pdftex.def on input line 130. (/usr/share/texmf-texlive/tex/latex/pdftex-def/pdftex.def File: pdftex.def 2009/08/25 v0.04m Graphics/color for pdfTeX \Gread@gobject=\count98 )) (/usr/share/texmf-texlive/tex/latex/graphics/graphicx.sty Package: graphicx 1999/02/16 v1.0f Enhanced LaTeX Graphics (DPC,SPQR) (/usr/share/texmf-texlive/tex/latex/graphics/keyval.sty Package: keyval 1999/03/16 v1.13 key=value parser (DPC) \KV@toks@=\toks14 ) (/usr/share/texmf-texlive/tex/latex/graphics/graphics.sty Package: graphics 2009/02/05 v1.0o Standard LaTeX Graphics (DPC,SPQR) (/usr/share/texmf-texlive/tex/latex/graphics/trig.sty Package: trig 1999/03/16 v1.09 sin cos tan (DPC) ) (/etc/texmf/tex/latex/config/graphics.cfg File: graphics.cfg 2009/08/28 v1.8 graphics configuration of TeX Live ) Package graphics Info: Driver file: pdftex.def on input line 91. ) \Gin@req@height=\dimen103 \Gin@req@width=\dimen104 ) (/usr/share/texmf-texlive/tex/latex/amsmath/amsmath.sty Package: amsmath 2000/07/18 v2.13 AMS math features \@mathmargin=\skip51 For additional information on amsmath, use the `?' option. (/usr/share/texmf-texlive/tex/latex/amsmath/amstext.sty Package: amstext 2000/06/29 v2.01 (/usr/share/texmf-texlive/tex/latex/amsmath/amsgen.sty File: amsgen.sty 1999/11/30 v2.0 \@emptytoks=\toks15 \ex@=\dimen105 )) (/usr/share/texmf-texlive/tex/latex/amsmath/amsbsy.sty Package: amsbsy 1999/11/29 v1.2d \pmbraise@=\dimen106 ) (/usr/share/texmf-texlive/tex/latex/amsmath/amsopn.sty Package: amsopn 1999/12/14 v2.01 operator names ) \inf@bad=\count99 LaTeX Info: Redefining \frac on input line 211. \uproot@=\count100 \leftroot@=\count101 LaTeX Info: Redefining \overline on input line 307. \classnum@=\count102 \DOTSCASE@=\count103 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@=\box27 \strutbox@=\box28 \big@size=\dimen107 LaTeX Font Info: Redeclaring font encoding OML on input line 567. LaTeX Font Info: Redeclaring font encoding OMS on input line 568. \macc@depth=\count104 \c@MaxMatrixCols=\count105 \dotsspace@=\muskip10 \c@parentequation=\count106 \dspbrk@lvl=\count107 \tag@help=\toks16 \row@=\count108 \column@=\count109 \maxfields@=\count110 \andhelp@=\toks17 \eqnshift@=\dimen108 \alignsep@=\dimen109 \tagshift@=\dimen110 \tagwidth@=\dimen111 \totwidth@=\dimen112 \lineht@=\dimen113 \@envbody=\toks18 \multlinegap=\skip52 \multlinetaggap=\skip53 \mathdisplay@stack=\toks19 LaTeX Info: Redefining \[ on input line 2666. LaTeX Info: Redefining \] on input line 2667. ) (/usr/share/texmf-texlive/tex/latex/amscls/amsthm.sty Package: amsthm 2004/08/06 v2.20 \thm@style=\toks20 \thm@bodyfont=\toks21 \thm@headfont=\toks22 \thm@notefont=\toks23 \thm@headpunct=\toks24 \thm@preskip=\skip54 \thm@postskip=\skip55 \thm@headsep=\skip56 \dth@everypar=\toks25 LaTeX Info: Redefining \qed on input line 283. ) (/usr/share/texmf-texlive/tex/latex/amsfonts/amssymb.sty Package: amssymb 2009/06/22 v3.00 (/usr/share/texmf-texlive/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/texmf-texlive/tex/latex/jknapltx/mathrsfs.sty Package: mathrsfs 1996/01/01 Math RSFS package v1.0 (jk) \symrsfs=\mathgroup6 ) (/usr/share/texmf-texlive/tex/generic/xypic/xypic.sty (/usr/share/texmf-texlive/tex/generic/xypic/xy.sty (/usr/share/texmf-texlive/tex/generic/xypic/xy.tex Bootstrap'ing: catcodes, docmode, (/usr/share/texmf-texlive/tex/generic/xypic/xyrecat.tex) (/usr/share/texmf-texlive/tex/generic/xypic/xyidioms.tex) Xy-pic version 3.7 <1999/02/16> Copyright (c) 1991-1998 by Kristoffer H. Rose Xy-pic is free software: see the User's Guide for details. Loading kernel: messages; fonts; allocations: state, \X@c=\dimen114 \Y@c=\dimen115 \U@c=\dimen116 \D@c=\dimen117 \L@c=\dimen118 \R@c=\dimen119 \Edge@c=\toks26 \X@p=\dimen120 \Y@p=\dimen121 \U@p=\dimen122 \D@p=\dimen123 \L@p=\dimen124 \R@p=\dimen125 \Edge@p=\toks27 \X@origin=\dimen126 \Y@origin=\dimen127 \X@xbase=\dimen128 \Y@xbase=\dimen129 \X@ybase=\dimen130 \Y@ybase=\dimen131 \X@min=\dimen132 \Y@min=\dimen133 \X@max=\dimen134 \Y@max=\dimen135 \lastobjectbox@=\box29 \zerodotbox@=\box30 \almostz@=\dimen136 direction, \d@X=\dimen137 \d@Y=\dimen138 \K@=\count111 \KK@=\count112 \Direction=\count113 \K@dXdY=\dimen139 \K@dYdX=\dimen140 \xyread@=\read1 \xywrite@=\write3 \csp@=\count114 \quotPTK@=\dimen141 utility macros; pictures: \xy, positions, \swaptoks@@=\toks28 \connectobjectbox@@=\box31 objects, \styletoks@=\toks29 decorations; kernel objects: directionals, circles, text; options; algorithms: directions, edges, connections; Xy-pic loaded) LaTeX Warning: You have requested package `xypic', but the package provides `xy'. Package: xy 1999/02/16 Xy-pic version 3.7 ) (/usr/share/texmf-texlive/tex/generic/xypic/xyv2.tex Xy-pic option: Version 2 Compatibility v.3.4 Xy-pic Warning: `\stop' redefined. (/usr/share/texmf-texlive/tex/generic/xypic/xyframe.tex Xy-pic option: Frame and Bracket extension v.3.7 loaded) (/usr/share/texmf-texlive/tex/generic/xypic/xymatrix.tex Xy-pic option: Matrix feature v.3.4 \Row=\count115 \Col=\count116 \queue@=\toks30 \queue@@=\toks31 \qcount@=\count117 \qcount@@=\count118 \matrixsize@=\count119 loaded) (/usr/share/texmf-texlive/tex/generic/xypic/xyarrow.tex Xy-pic option: Arrow and Path feature v.3.5 path, \ar, loaded) loaded)) (/usr/share/texmf-texlive/tex/latex/pstricks/pst-node.sty (/usr/share/texmf-texlive/tex/latex/pstricks/pstricks.sty Package: pstricks 2008/11/26 v0.40 LaTeX wrapper for `PSTricks' (RN,HV) (/usr/share/texmf-texlive/tex/generic/pstricks/pstricks.tex `PSTricks' v1.29 <2009/05/19> (tvz) \pst@dima=\dimen142 \pst@dimb=\dimen143 \pst@dimc=\dimen144 \pst@dimd=\dimen145 \pst@dimg=\dimen146 \pst@dimh=\dimen147 \pst@hbox=\box32 \pst@boxg=\box33 \pst@cnta=\count120 \pst@cntb=\count121 \pst@cntc=\count122 \pst@cntd=\count123 \pst@cntg=\count124 \pst@cnth=\count125 \pst@toks=\toks32 (/usr/share/texmf-texlive/tex/generic/pstricks/pstricks.con) \psunit=\dimen148 \psxunit=\dimen149 \psyunit=\dimen150 \pslinewidth=\dimen151 \pst@customdefs=\toks33 \pslinearc=\dimen152 \everypsbox=\toks34 \psframesep=\dimen153 \pslabelsep=\dimen154 \pst@shift=\dimen155 \theoverlaybox=\box34 ) File: pstricks.tex 2009/05/19 v1.29 `PSTricks' (tvz,hv) (/usr/share/texmf/tex/latex/xcolor/xcolor.sty Package: xcolor 2007/01/21 v2.11 LaTeX color extensions (UK) (/etc/texmf/tex/latex/config/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. LaTeX Info: Redefining \color on input line 702. Package xcolor Info: Model `cmy' substituted by `cmy0' on input line 1337. Package xcolor Info: Model `hsb' substituted by `rgb' on input line 1341. Package xcolor Info: Model `RGB' extended on input line 1353. Package xcolor Info: Model `HTML' substituted by `rgb' on input line 1355. Package xcolor Info: Model `Hsb' substituted by `hsb' on input line 1356. Package xcolor Info: Model `tHsb' substituted by `hsb' on input line 1357. Package xcolor Info: Model `HSB' substituted by `hsb' on input line 1358. Package xcolor Info: Model `Gray' substituted by `gray' on input line 1359. Package xcolor Info: Model `wave' substituted by `hsb' on input line 1360. )) Package: pst-node 2006/01/01 package wrapper for pst-node.tex (/usr/share/texmf-texlive/tex/generic/pstricks/pst-node.tex v1.01, 2008/11/26 \psrow=\count126 \pscol=\count127 \psmatrixcnt=\count128 \psrowsep=\skip57 \pscolsep=\skip58 ) File: pst-node.tex 2008/11/26 1.01 `pst-node' (tvz) ) (/usr/share/texmf-texlive/tex/latex/tools/verbatim.sty Package: verbatim 2003/08/22 v1.5q LaTeX2e package for verbatim enhancements \every@verbatim=\toks35 \verbatim@line=\toks36 \verbatim@in@stream=\read2 ) (/usr/share/texmf-texlive/tex/latex/geometry/geometry.sty Package: geometry 2008/12/21 v4.2 Page Geometry (/usr/share/texmf-texlive/tex/generic/oberdiek/ifpdf.sty Package: ifpdf 2009/04/10 v2.0 Provides the ifpdf switch (HO) Package ifpdf Info: pdfTeX in pdf mode detected. ) (/usr/share/texmf-texlive/tex/generic/oberdiek/ifvtex.sty Package: ifvtex 2008/11/04 v1.4 Switches for detecting VTeX and its modes (HO) Package ifvtex Info: VTeX not detected. ) \Gm@cnth=\count129 \Gm@cntv=\count130 \c@Gm@tempcnt=\count131 \Gm@bindingoffset=\dimen156 \Gm@wd@mp=\dimen157 \Gm@odd@mp=\dimen158 \Gm@even@mp=\dimen159 \Gm@dimlist=\toks37 ) (/usr/share/texmf-texlive/tex/latex/base/makeidx.sty Package: makeidx 2000/03/29 v1.0m Standard LaTeX package ) \@indexfile=\write4 \openout4 = `fondamenti.idx'. Writing index file fondamenti.idx (/usr/share/texmf-texlive/tex/latex/hyperref/hyperref.sty Package: hyperref 2009/10/09 v6.79a Hypertext links for LaTeX (/usr/share/texmf-texlive/tex/generic/ifxetex/ifxetex.sty Package: ifxetex 2009/01/23 v0.5 Provides ifxetex conditional ) (/usr/share/texmf-texlive/tex/latex/oberdiek/hycolor.sty Package: hycolor 2009/10/02 v1.5 Code for color options of hyperref/bookmark (H O) (/usr/share/texmf-texlive/tex/latex/oberdiek/xcolor-patch.sty Package: xcolor-patch 2009/10/02 xcolor patch )) \@linkdim=\dimen160 \Hy@linkcounter=\count132 \Hy@pagecounter=\count133 (/usr/share/texmf-texlive/tex/latex/hyperref/pd1enc.def File: pd1enc.def 2009/10/09 v6.79a Hyperref: PDFDocEncoding definition (HO) ) (/usr/share/texmf-texlive/tex/generic/oberdiek/etexcmds.sty Package: etexcmds 2007/12/12 v1.2 Prefix for e-TeX command names (HO) (/usr/share/texmf-texlive/tex/generic/oberdiek/infwarerr.sty Package: infwarerr 2007/09/09 v1.2 Providing info/warning/message (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. ) (/usr/share/texmf-texlive/tex/latex/latexconfig/hyperref.cfg File: hyperref.cfg 2002/06/06 v1.2 hyperref configuration of TeXLive ) (/usr/share/texmf-texlive/tex/latex/oberdiek/kvoptions.sty Package: kvoptions 2009/08/13 v3.4 Keyval support for LaTeX options (HO) (/usr/share/texmf-texlive/tex/generic/oberdiek/kvsetkeys.sty Package: kvsetkeys 2009/07/30 v1.5 Key value parser with default handler suppor t (HO) )) Package hyperref Info: Option `bookmarks' set `true' on input line 2864. Package hyperref Info: Option `bookmarksnumbered' set `false' on input line 286 4. Package hyperref Info: Option `bookmarksopen' set `true' on input line 2864. Package hyperref Info: Option `colorlinks' set `true' on input line 2864. Package hyperref Info: Hyper figures OFF on input line 2975. Package hyperref Info: Link nesting OFF on input line 2980. Package hyperref Info: Hyper index ON on input line 2983. Package hyperref Info: Plain pages OFF on input line 2990. Package hyperref Info: Backreferencing OFF on input line 2995. Implicit mode ON; LaTeX internals redefined Package hyperref Info: Bookmarks ON on input line 3191. (/usr/share/texmf-texlive/tex/latex/ltxmisc/url.sty \Urlmuskip=\muskip11 Package: url 2006/04/12 ver 3.3 Verb mode for urls, etc. ) LaTeX Info: Redefining \url on input line 3428. (/usr/share/texmf-texlive/tex/generic/oberdiek/bitset.sty Package: bitset 2007/09/28 v1.0 Data type bit set (HO) (/usr/share/texmf-texlive/tex/generic/oberdiek/intcalc.sty Package: intcalc 2007/09/27 v1.1 Expandable integer calculations (HO) ) (/usr/share/texmf-texlive/tex/generic/oberdiek/bigintcalc.sty Package: bigintcalc 2007/11/11 v1.1 Expandable big integer calculations (HO) (/usr/share/texmf-texlive/tex/generic/oberdiek/pdftexcmds.sty Package: pdftexcmds 2009/09/23 v0.6 LuaTeX support for pdfTeX utility functions (HO) (/usr/share/texmf-texlive/tex/generic/oberdiek/ifluatex.sty Package: ifluatex 2009/04/17 v1.2 Provides the ifluatex switch (HO) Package ifluatex Info: LuaTeX not detected. ) (/usr/share/texmf-texlive/tex/generic/oberdiek/ltxcmds.sty Package: ltxcmds 2009/08/05 v1.0 Some LaTeX kernel commands for general use (HO ) ) Package pdftexcmds Info: LuaTeX not detected. Package pdftexcmds Info: \pdf@primitive is available. Package pdftexcmds Info: \pdf@ifprimitive is available. ))) \Fld@menulength=\count134 \Field@Width=\dimen161 \Fld@charsize=\dimen162 \Field@toks=\toks38 Package hyperref Info: Hyper figures OFF on input line 4377. Package hyperref Info: Link nesting OFF on input line 4382. Package hyperref Info: Hyper index ON on input line 4385. Package hyperref Info: backreferencing OFF on input line 4392. Package hyperref Info: Link coloring ON on input line 4395. Package hyperref Info: Link coloring with OCG OFF on input line 4402. Package hyperref Info: PDF/A mode OFF on input line 4407. (/usr/share/texmf-texlive/tex/generic/oberdiek/atbegshi.sty Package: atbegshi 2008/07/31 v1.9 At begin shipout hook (HO) ) \Hy@abspage=\count135 \c@Item=\count136 \c@Hfootnote=\count137 ) *hyperref using driver hpdftex* (/usr/share/texmf-texlive/tex/latex/hyperref/hpdftex.def File: hpdftex.def 2009/10/09 v6.79a Hyperref driver for pdfTeX \Fld@listcount=\count138 ) \c@thm=\count139 \c@ax=\count140 \c@algo=\count141 \c@domanda=\count142 \c@question=\count143 \c@paradox=\count144 \c@oss=\count145 \c@data=\count146 \c@rem=\count147 ) (/usr/share/texmf-texlive/tex/latex/pdfpages/pdfpages.sty Package: pdfpages 2009/02/07 v0.4g Insert pages of external PDF documents (AM) (/usr/share/texmf-texlive/tex/latex/base/ifthen.sty Package: ifthen 2001/05/26 v1.1c Standard LaTeX ifthen package (DPC) ) (/usr/share/texmf-texlive/tex/latex/tools/calc.sty Package: calc 2007/08/22 v4.3 Infix arithmetic (KKT,FJ) \calc@Acount=\count148 \calc@Bcount=\count149 \calc@Adimen=\dimen163 \calc@Bdimen=\dimen164 \calc@Askip=\skip59 \calc@Bskip=\skip60 LaTeX Info: Redefining \setlength on input line 76. LaTeX Info: Redefining \addtolength on input line 77. \calc@Ccount=\count150 \calc@Cskip=\skip61 ) (/usr/share/texmf-texlive/tex/latex/eso-pic/eso-pic.sty Package: eso-pic 2006/07/14 v1.1d eso-pic (RN) (/usr/share/texmf-texlive/tex/latex/ms/everyshi.sty Package: everyshi 2001/05/15 v3.00 EveryShipout Package (MS) )) (/usr/share/texmf-texlive/tex/latex/pdfpages/pppdftex.def File: pppdftex.def 2009/02/07 v0.4g Pdfpages driver for pdfTeX (AM) ) \AM@pagebox=\box35 \AM@toc@title=\toks39 \c@AM@survey=\count151 \AM@templatesizebox=\box36 ) (./fondamenti.aux) \openout1 = `fondamenti.aux'. LaTeX Font Info: Checking defaults for OML/cmm/m/it on input line 45. LaTeX Font Info: ... okay on input line 45. LaTeX Font Info: Checking defaults for T1/cmr/m/n on input line 45. LaTeX Font Info: ... okay on input line 45. LaTeX Font Info: Checking defaults for OT1/cmr/m/n on input line 45. LaTeX Font Info: ... okay on input line 45. LaTeX Font Info: Checking defaults for OMS/cmsy/m/n on input line 45. LaTeX Font Info: ... okay on input line 45. LaTeX Font Info: Checking defaults for OMX/cmex/m/n on input line 45. LaTeX Font Info: ... okay on input line 45. LaTeX Font Info: Checking defaults for U/cmr/m/n on input line 45. LaTeX Font Info: ... okay on input line 45. LaTeX Font Info: Checking defaults for PD1/pdf/m/n on input line 45. LaTeX Font Info: ... okay on input line 45. (/usr/share/texmf-texlive/tex/context/base/supp-pdf.mkii [Loading MPS to PDF converter (version 2006.09.02).] \scratchcounter=\count152 \scratchdimen=\dimen165 \scratchbox=\box37 \nofMPsegments=\count153 \nofMParguments=\count154 \everyMPshowfont=\toks40 \MPscratchCnt=\count155 \MPscratchDim=\dimen166 \MPnumerator=\count156 \everyMPtoPDFconversion=\toks41 ) *geometry detected driver: dvips* -------------------- Geometry parameters paper: a4paper landscape: -- twocolumn: -- twoside: -- asymmetric: -- h-parts: 89.62709pt, 0.7\paperwidth , 89.6271pt (default) v-parts: 101.40665pt, 0.7\paperheight , 152.11pt (default) hmarginratio: 1:1 vmarginratio: 2:3 lines: -- heightrounded: -- bindingoffset: 0.0pt truedimen: -- includehead: -- includefoot: -- includemp: -- driver: dvips -------------------- Page layout dimensions and switches \paperwidth 597.50787pt \paperheight 845.04684pt \textwidth 418.25368pt \textheight 591.5302pt \oddsidemargin 17.3571pt \evensidemargin 17.3571pt \topmargin -7.86334pt \headheight 12.0pt \headsep 25.0pt \footskip 30.0pt \marginparwidth 57.0pt \marginparsep 11.0pt \columnsep 10.0pt \skip\footins 9.0pt plus 4.0pt minus 2.0pt \hoffset 0.0pt \voffset 0.0pt \mag 1000 (1in=72.27pt, 1cm=28.45pt) ----------------------- Package hyperref Info: Link coloring ON on input line 45. (/usr/share/texmf-texlive/tex/latex/hyperref/nameref.sty Package: nameref 2007/05/29 v2.31 Cross-referencing by name of section (/usr/share/texmf-texlive/tex/latex/oberdiek/refcount.sty Package: refcount 2008/08/11 v3.1 Data extraction from references (HO) ) \c@section@level=\count157 ) LaTeX Info: Redefining \ref on input line 45. LaTeX Info: Redefining \pageref on input line 45. (./fondamenti.out) (./fondamenti.out) \@outlinefile=\write5 \openout5 = `fondamenti.out'. \AtBeginShipoutBox=\box38 ABD: EveryShipout initializing macros LaTeX Font Info: Try loading font information for U+msa on input line 55. (/usr/share/texmf-texlive/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 55. (/usr/share/texmf-texlive/tex/latex/amsfonts/umsb.fd File: umsb.fd 2009/06/22 v3.00 AMS symbols B ) LaTeX Font Info: Try loading font information for U+rsfs on input line 55. (/usr/share/texmf-texlive/tex/latex/jknapltx/ursfs.fd File: ursfs.fd 1998/03/24 rsfs font definition file (jk) ) (./gpl.tex [1 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}] LaTeX Font Info: Try loading font information for OMS+cmr on input line 3. (/usr/share/texmf-texlive/tex/latex/base/omscmr.fd File: omscmr.fd 1999/05/25 v2.5h Standard LaTeX font definitions ) LaTeX Font Info: Font shape `OMS/cmr/m/n' in size <9> not available (Font) Font shape `OMS/cmsy/m/n' tried instead on input line 3. ) [2] (./fondamenti.toc) \tf@toc=\write6 \openout6 = `fondamenti.toc'. [3 ] Overfull \hbox (21.51115pt too wide) in paragraph at lines 102--102 [] [] Underfull \hbox (badness 10000) in paragraph at lines 111--113 [] WARNING: prova step "" (<1>2) already defined [1 ] WARNING: prova step "" (<1>3) already defined Underfull \hbox (badness 10000) in paragraph at lines 174--176 [] WARNING: prova step "" (<1>2) already defined Overfull \hbox (58.41168pt too wide) in paragraph at lines 222--222 [] [] [2] Overfull \hbox (20.08017pt too wide) in paragraph at lines 259--259 [] [] Overfull \hbox (3.05237pt too wide) in paragraph at lines 269--269 [] [] [3] WARNING: prova step "" (<1>2) already defined WARNING: prova step "" (<2>1) already defined WARNING: prova step "" (<2>2) already defined [4] Overfull \hbox (46.35037pt too wide) in paragraph at lines 423--423 [] [] [5] Underfull \hbox (badness 10000) in paragraph at lines 474--482 [] [6] Overfull \hbox (52.60487pt too wide) in paragraph at lines 540--540 [] [] [7] WARNING: prova step "" (<1>2) already defined WARNING: prova step "" (<2>1) already defined Overfull \hbox (12.49391pt too wide) in paragraph at lines 566--566 [] [] Overfull \hbox (45.32915pt too wide) in paragraph at lines 586--586 [] [] WARNING: prova step "" (<1>2) already defined [8] Overfull \hbox (71.97217pt too wide) in paragraph at lines 654--654 [] [] WARNING: prova step "" (<1>2) already defined [9] WARNING: prova step "" (<1>3) already defined WARNING: prova step "" (<2>1) already defined [10] WARNING: prova step "" (<1>2) already defined WARNING: prova step "" (<2>1) already defined WARNING: prova step "" (<3>1) already defined WARNING: prova step "" (<4>1) already defined Overfull \hbox (1.37962pt too wide) in paragraph at lines 800--800 [] [] [11] WARNING: prova step "" (<5>3) already defined Overfull \hbox (27.33252pt too wide) in paragraph at lines 828--828 [] [] WARNING: prova step "" (<4>3) already defined WARNING: prova step "" (<5>1) already defined WARNING: prova step "" (<6>1) already defined WARNING: prova step "" (<6>2) already defined [12] WARNING: prova step "" (<4>4) already defined WARNING: prova step "" (<5>1) already defined [13] [14] WARNING: prova step "" (<1>2) already defined WARNING: prova step "" (<1>2) already defined WARNING: prova step "" (<1>3) already defined Underfull \hbox (badness 10000) in paragraph at lines 1056--1061 [] [15] WARNING: prova step "" (<1>4) already defined WARNING: prova step "" (<2>1) already defined WARNING: prova step "" (<3>1) already defined WARNING: prova step "" (<3>2) already defined WARNING: prova step "" (<3>3) already defined WARNING: prova step "" (<2>2) already defined [16] WARNING: prova step "" (<1>2) already defined [17] WARNING: prova step "" (<1>2) already defined WARNING: prova step "" (<1>3) already defined WARNING: prova step "" (<1>2) already defined WARNING: prova step "" (<1>3) already defined WARNING: prova step "" (<1>4) already defined Overfull \hbox (42.79413pt too wide) in paragraph at lines 1261--1261 [] [] [18] [19] WARNING: prova step "" (<1>2) already defined WARNING: prova step "" (<1>3) already defined [20] WARNING: prova step "" (<1>2) already defined WARNING: prova step "" (<1>3) already defined Underfull \hbox (badness 10000) in paragraph at lines 1404--1410 [] WARNING: prova step "" (<3>2) already defined [21] WARNING: prova step "" (<1>2) already defined [22] WARNING: prova step "" (<2>1) already defined WARNING: prova step "" (<2>2) already defined [23] WARNING: prova step "" (<2>3) already defined WARNING: prova step "" (<1>2) already defined WARNING: prova step "" (<2>1) already defined WARNING: prova step "" (<2>2) already defined WARNING: prova step "" (<2>3) already defined WARNING: prova step "" (<3>1) already defined Overfull \hbox (7.43231pt too wide) in paragraph at lines 1592--1596 []\OT1/cmr/m/n/10 Dimostriamo che $\OML/cmm/m/it/10 S \OT1/cmr/m/n/10 = [][] \O ML/cmm/m/it/10 []$ \OT1/cmr/m/n/10 e' ben or-di-nato sec-ondo $\OMS/cmsy/m/n/1 0 2$ \OT1/cmr/m/n/10 uti-liz-zando di-ret-ta-mente la definizione [] WARNING: prova step "" (<3>2) already defined WARNING: prova step "" (<4>1) already defined [24] WARNING: prova step "" (<1>2) already defined WARNING: prova step "" (<1>3) already defined WARNING: prova step "" (<2>1) already defined WARNING: prova step "" (<2>2) already defined [25] WARNING: prova step "" (<1>2) already defined WARNING: prova step "" (<1>2) already defined WARNING: prova step "" (<1>3) already defined Underfull \hbox (badness 10000) in paragraph at lines 1762--1765 [] [26] Underfull \hbox (badness 10000) in paragraph at lines 1793--1802 [] [27] WARNING: prova step "" (<1>2) already defined [28] Overfull \hbox (40.5931pt too wide) in paragraph at lines 1952--1952 [] [] [29] WARNING: prova step "" (<1>2) already defined WARNING: prova step "" (<1>3) already defined WARNING: prova step "" (<1>4) already defined [30] Overfull \hbox (27.77962pt too wide) in paragraph at lines 2030--2030 [] [] WARNING: prova step "" (<2>1) already defined [31] WARNING: prova step "" (<2>2) already defined WARNING: prova step "" (<1>2) already defined [32] WARNING: prova step "" (<1>2) already defined WARNING: prova step "" (<1>3) already defined WARNING: prova step "" (<2>1) already defined WARNING: prova step "" (<2>2) already defined WARNING: prova step "" (<1>4) already defined WARNING: prova step "" (<2>1) already defined WARNING: prova step "" (<2>2) already defined WARNING: prova step "" (<1>5) already defined WARNING: prova step "" (<2>1) already defined [33] WARNING: prova step "" (<2>2) already defined [34] WARNING: prova step "" (<1>2) already defined Overfull \hbox (5.79335pt too wide) in paragraph at lines 2321--2328 []\OT1/cmr/m/n/10 Dimostriamo in-tanto che $[] \OMS/cmsy/m/n/10 @ \OT1/cmr/m/n/ 10 = []$. Pro-ce-di-amo per in-duzione trans-finita (vedi [[][]4.27[][],pg.[][] 28[][]]): [] [35] Overfull \hbox (23.60399pt too wide) in paragraph at lines 2341--2341 [] [] WARNING: prova step "" (<1>3) already defined WARNING: prova step "" (<1>4) already defined WARNING: prova step "" (<1>5) already defined [36] Overfull \hbox (65.70227pt too wide) in paragraph at lines 2421--2421 [] [] [37] Underfull \hbox (badness 10000) in paragraph at lines 2463--2465 [] [38] File: QUADERNO/QUADERNO-6mag09.pdf Graphic file (type pdf) File: QUADERNO/QUADERNO-6mag09.pdf Graphic file (type pdf) File: QUADERNO/QUADERNO-6mag09.pdf Graphic file (type pdf) File: QUADERNO/QUADERNO-6mag09.pdf Graphic file (type pdf) File: QUADERNO/QUADERNO-6mag09.pdf Graphic file (type pdf) [39 <./QUADERNO/QUADERNO-6mag09.pdf> ] File: QUADERNO/QUADERNO-6mag09.pdf Graphic file (type pdf) File: QUADERNO/QUADERNO-6mag09.pdf Graphic file (type pdf) File: QUADERNO/QUADERNO-6mag09.pdf Graphic file (type pdf) [40 <./QUADERNO/QUADERNO-6mag09.pdf> ] File: QUADERNO/QUADERNO-6mag09.pdf Graphic file (type pdf) File: QUADERNO/QUADERNO-6mag09.pdf Graphic file (type pdf) File: QUADERNO/QUADERNO-6mag09.pdf Graphic file (type pdf) [41 <./QUADERNO/QUADERNO-6mag09.pdf> ] File: QUADERNO/QUADERNO-6mag09.pdf Graphic file (type pdf) File: QUADERNO/QUADERNO-6mag09.pdf Graphic file (type pdf) File: QUADERNO/QUADERNO-6mag09.pdf Graphic file (type pdf) [42 <./QUADERNO/QUADERNO-6mag09.pdf, page is rotated 90 degrees>] File: QUADERNO/QUADERNO-6mag09.pdf Graphic file (type pdf) File: QUADERNO/QUADERNO-6mag09.pdf Graphic file (type pdf) File: QUADERNO/QUADERNO-6mag09.pdf Graphic file (type pdf) [43 <./QUADERNO/QUADERNO-6mag09.pdf, page is rotated 90 degrees>] File: QUADERNO/QUADERNO-6mag09.pdf Graphic file (type pdf) File: QUADERNO/QUADERNO-6mag09.pdf Graphic file (type pdf) File: QUADERNO/QUADERNO-6mag09.pdf Graphic file (type pdf) [44 <./QUADERNO/QUADERNO-6mag09.pdf, page is rotated 90 degrees>] File: QUADERNO/QUADERNO-6mag09.pdf Graphic file (type pdf) File: QUADERNO/QUADERNO-6mag09.pdf Graphic file (type pdf) File: QUADERNO/QUADERNO-6mag09.pdf Graphic file (type pdf) [45 <./QUADERNO/QUADERNO-6mag09.pdf, page is rotated 90 degrees>] File: QUADERNO/QUADERNO-6mag09.pdf Graphic file (type pdf) File: QUADERNO/QUADERNO-6mag09.pdf Graphic file (type pdf) File: QUADERNO/QUADERNO-6mag09.pdf Graphic file (type pdf) [46 <./QUADERNO/QUADERNO-6mag09.pdf, page is rotated 90 degrees>] File: QUADERNO/QUADERNO-6mag09.pdf Graphic file (type pdf) File: QUADERNO/QUADERNO-6mag09.pdf Graphic file (type pdf) File: QUADERNO/QUADERNO-6mag09.pdf Graphic file (type pdf) [47 <./QUADERNO/QUADERNO-6mag09.pdf, page is rotated 90 degrees>] File: QUADERNO/QUADERNO-6mag09.pdf Graphic file (type pdf) File: QUADERNO/QUADERNO-6mag09.pdf Graphic file (type pdf) File: QUADERNO/QUADERNO-6mag09.pdf Graphic file (type pdf) [48 <./QUADERNO/QUADERNO-6mag09.pdf , page is rotated 90 degrees>] File: QUADERNO/QUADERNO-6mag09.pdf Graphic file (type pdf) File: QUADERNO/QUADERNO-6mag09.pdf Graphic file (type pdf) File: QUADERNO/QUADERNO-6mag09.pdf Graphic file (type pdf) [49 <./QUADERNO/QUADERNO-6mag09.pdf , page is rotated 90 degrees>] File: QUADERNO/QUADERNO-6mag09.pdf Graphic file (type pdf) File: QUADERNO/QUADERNO-6mag09.pdf Graphic file (type pdf) File: QUADERNO/QUADERNO-6mag09.pdf Graphic file (type pdf) [50 <./QUADERNO/QUADERNO-6mag09.pdf , page is rotated 90 degrees>] File: QUADERNO/QUADERNO-6mag09.pdf Graphic file (type pdf) File: QUADERNO/QUADERNO-6mag09.pdf Graphic file (type pdf) File: QUADERNO/QUADERNO-6mag09.pdf Graphic file (type pdf) [51 <./QUADERNO/QUADERNO-6mag09.pdf , page is rotated 90 degrees>] File: QUADERNO/QUADERNO-6mag09.pdf Graphic file (type pdf) File: QUADERNO/QUADERNO-6mag09.pdf Graphic file (type pdf) File: QUADERNO/QUADERNO-6mag09.pdf Graphic file (type pdf) [52 <./QUADERNO/QUADERNO-6mag09.pdf , page is rotated 90 degrees>] File: QUADERNO/QUADERNO-6mag09.pdf Graphic file (type pdf) File: QUADERNO/QUADERNO-6mag09.pdf Graphic file (type pdf) File: QUADERNO/QUADERNO-6mag09.pdf Graphic file (type pdf) [53 <./QUADERNO/QUADERNO-6mag09.pdf , page is rotated 90 degrees>] File: QUADERNO/QUADERNO-6mag09.pdf Graphic file (type pdf) File: QUADERNO/QUADERNO-6mag09.pdf Graphic file (type pdf) File: QUADERNO/QUADERNO-6mag09.pdf Graphic file (type pdf) [54 <./QUADERNO/QUADERNO-6mag09.pdf , page is rotated 90 degrees>] File: QUADERNO/QUADERNO-6mag09-pagina-17-corretta.pdf Graphic file (type pdf) File: QUADERNO/QUADERNO-6mag09-pagina-17-corretta.pdf Graphic file (type pdf) File: QUADERNO/QUADERNO-6mag09-pagina-17-corretta.pdf Graphic file (type pdf) File: QUADERNO/QUADERNO-6mag09-pagina-17-corretta.pdf Graphic file (type pdf) File: QUADERNO/QUADERNO-6mag09-pagina-17-corretta.pdf Graphic file (type pdf) [55 <./QUADERNO/Q UADERNO-6mag09-pagina-17-corretta.pdf>] File: QUADERNO/QUADERNO-6mag09.pdf Graphic file (type pdf) File: QUADERNO/QUADERNO-6mag09.pdf Graphic file (type pdf) File: QUADERNO/QUADERNO-6mag09.pdf Graphic file (type pdf) File: QUADERNO/QUADERNO-6mag09.pdf Graphic file (type pdf) File: QUADERNO/QUADERNO-6mag09.pdf Graphic file (type pdf) [56 <./QUADERNO/QUADERNO-6mag09.pdf , page is rotated 90 degrees>] File: QUADERNO/QUADERNO-6mag09.pdf Graphic file (type pdf) File: QUADERNO/QUADERNO-6mag09.pdf Graphic file (type pdf) File: QUADERNO/QUADERNO-6mag09.pdf Graphic file (type pdf) File: QUADERNO/QUADERNO-6mag09.pdf Graphic file (type pdf) File: QUADERNO/QUADERNO-6mag09.pdf Graphic file (type pdf) [57 <./QUADERNO/QUADERNO-6mag09.pdf , page is rotated 90 degrees>] File: QUADERNO/QUADERNO-6mag09.pdf Graphic file (type pdf) File: QUADERNO/QUADERNO-6mag09.pdf Graphic file (type pdf) File: QUADERNO/QUADERNO-6mag09.pdf Graphic file (type pdf) File: QUADERNO/QUADERNO-6mag09.pdf Graphic file (type pdf) File: QUADERNO/QUADERNO-6mag09.pdf Graphic file (type pdf) [58 <./QUADERNO/QUADERNO-6mag09.pdf , page is rotated 90 degrees>] File: QUADERNO/QUADERNO-6mag09.pdf Graphic file (type pdf) File: QUADERNO/QUADERNO-6mag09.pdf Graphic file (type pdf) File: QUADERNO/QUADERNO-6mag09.pdf Graphic file (type pdf) [59 <./QUADERNO/QUADERNO-6mag09.pdf , page is rotated 90 degrees>] File: QUADERNO/QUADERNO-6mag09.pdf Graphic file (type pdf) File: QUADERNO/QUADERNO-6mag09.pdf Graphic file (type pdf) File: QUADERNO/QUADERNO-6mag09.pdf Graphic file (type pdf) [60 <./QUADERNO/QUADERNO-6mag09.pdf , page is rotated 90 degrees>] File: QUADERNO/QUADERNO-6mag09.pdf Graphic file (type pdf) File: QUADERNO/QUADERNO-6mag09.pdf Graphic file (type pdf) File: QUADERNO/QUADERNO-6mag09.pdf Graphic file (type pdf) [61 <./QUADERNO/QUADERNO-6mag09.pdf , page is rotated 90 degrees>] File: QUADERNO/QUADERNO-6mag09.pdf Graphic file (type pdf) File: QUADERNO/QUADERNO-6mag09.pdf Graphic file (type pdf) File: QUADERNO/QUADERNO-6mag09.pdf Graphic file (type pdf) [62 <./QUADERNO/QUADERNO-6mag09.pdf , page is rotated 90 degrees>] File: QUADERNO/QUADERNO-6mag09.pdf Graphic file (type pdf) File: QUADERNO/QUADERNO-6mag09.pdf Graphic file (type pdf) File: QUADERNO/QUADERNO-6mag09.pdf Graphic file (type pdf) [63 <./QUADERNO/QUADERNO-6mag09.pdf , page is rotated 90 degrees>] File: QUADERNO/QUADERNO-6mag09.pdf Graphic file (type pdf) File: QUADERNO/QUADERNO-6mag09.pdf Graphic file (type pdf) File: QUADERNO/QUADERNO-6mag09.pdf Graphic file (type pdf) [64 <./QUADERNO/QUADERNO-6mag09.pdf , page is rotated 90 degrees>] File: QUADERNO/QUADERNO-6mag09.pdf Graphic file (type pdf) File: QUADERNO/QUADERNO-6mag09.pdf Graphic file (type pdf) File: QUADERNO/QUADERNO-6mag09.pdf Graphic file (type pdf) [65 <./QUADERNO/QUADERNO-6mag09.pdf , page is rotated 90 degrees>] File: QUADERNO/QUADERNO-6mag09.pdf Graphic file (type pdf) File: QUADERNO/QUADERNO-6mag09.pdf Graphic file (type pdf) File: QUADERNO/QUADERNO-6mag09.pdf Graphic file (type pdf) [66 <./QUADERNO/QUADERNO-6mag09.pdf , page is rotated 90 degrees>] File: QUADERNO/QUADERNO-6mag09.pdf Graphic file (type pdf) File: QUADERNO/QUADERNO-6mag09.pdf Graphic file (type pdf) File: QUADERNO/QUADERNO-6mag09.pdf Graphic file (type pdf) [67 <./QUADERNO/QUADERNO-6mag09.pdf , page is rotated 90 degrees>] File: QUADERNO/QUADERNO-6mag09.pdf Graphic file (type pdf) File: QUADERNO/QUADERNO-6mag09.pdf Graphic file (type pdf) File: QUADERNO/QUADERNO-6mag09.pdf Graphic file (type pdf) [68 <./QUADERNO/QUADERNO-6mag09.pdf , page is rotated 90 degrees>] File: QUADERNO/QUADERNO-6mag09.pdf Graphic file (type pdf) File: QUADERNO/QUADERNO-6mag09.pdf Graphic file (type pdf) File: QUADERNO/QUADERNO-6mag09.pdf Graphic file (type pdf) [69 <./QUADERNO/QUADERNO-6mag09.pdf , page is rotated 90 degrees>] File: QUADERNO/QUADERNO-6mag09.pdf Graphic file (type pdf) File: QUADERNO/QUADERNO-6mag09.pdf Graphic file (type pdf) File: QUADERNO/QUADERNO-6mag09.pdf Graphic file (type pdf) [70 <./QUADERNO/QUADERNO-6mag09.pdf , page is rotated 90 degrees>] File: QUADERNO/QUADERNO-6mag09.pdf Graphic file (type pdf) File: QUADERNO/QUADERNO-6mag09.pdf Graphic file (type pdf) File: QUADERNO/QUADERNO-6mag09.pdf Graphic file (type pdf) [71 <./QUADERNO/QUADERNO-6mag09.pdf , page is rotated 90 degrees>] File: QUADERNO/QUADERNO-6mag09.pdf Graphic file (type pdf) File: QUADERNO/QUADERNO-6mag09.pdf Graphic file (type pdf) File: QUADERNO/QUADERNO-6mag09.pdf Graphic file (type pdf) [72 <./QUADERNO/QUADERNO-6mag09.pdf , page is rotated 90 degrees>] File: QUADERNO/QUADERNO-6mag09.pdf Graphic file (type pdf) File: QUADERNO/QUADERNO-6mag09.pdf Graphic file (type pdf) File: QUADERNO/QUADERNO-6mag09.pdf Graphic file (type pdf) [73 <./QUADERNO/QUADERNO-6mag09.pdf , page is rotated 90 degrees>] File: QUADERNO/QUADERNO-6mag09.pdf Graphic file (type pdf) File: QUADERNO/QUADERNO-6mag09.pdf Graphic file (type pdf) File: QUADERNO/QUADERNO-6mag09.pdf Graphic file (type pdf) [74 <./QUADERNO/QUADERNO-6mag09.pdf , page is rotated 90 degrees>] File: QUADERNO/QUADERNO-6mag09.pdf Graphic file (type pdf) File: QUADERNO/QUADERNO-6mag09.pdf Graphic file (type pdf) File: QUADERNO/QUADERNO-6mag09.pdf Graphic file (type pdf) [75 <./QUADERNO/QUADERNO-6mag09.pdf , page is rotated 90 degrees>] File: QUADERNO/QUADERNO-6mag09.pdf Graphic file (type pdf) File: QUADERNO/QUADERNO-6mag09.pdf Graphic file (type pdf) File: QUADERNO/QUADERNO-6mag09.pdf Graphic file (type pdf) [76 <./QUADERNO/QUADERNO-6mag09.pdf , page is rotated 90 degrees>] File: QUADERNO/QUADERNO-6mag09.pdf Graphic file (type pdf) File: QUADERNO/QUADERNO-6mag09.pdf Graphic file (type pdf) File: QUADERNO/QUADERNO-6mag09.pdf Graphic file (type pdf) [77 <./QUADERNO/QUADERNO-6mag09.pdf , page is rotated 90 degrees>] File: QUADERNO/QUADERNO-6mag09.pdf Graphic file (type pdf) File: QUADERNO/QUADERNO-6mag09.pdf Graphic file (type pdf) File: QUADERNO/QUADERNO-6mag09.pdf Graphic file (type pdf) [78 <./QUADERNO/QUADERNO-6mag09.pdf , page is rotated 90 degrees>] (./fondamenti.ind Overfull \hbox (1.95702pt too wide) in paragraph at lines 11--12 []\OT1/cmr/m/n/10 AlphaInOrdAlloraAlphaLessEqualF(Alpha), 29 [] [79 ] [80 ]) (./fondamenti.aux) ) Here is how much of TeX's memory you used: 10407 strings out of 495061 135241 string characters out of 1182622 278698 words of memory out of 3000000 13201 multiletter control sequences out of 15000+50000 16883 words of font info for 69 fonts, out of 3000000 for 9000 28 hyphenation exceptions out of 8191 45i,21n,41p,336b,734s stack positions out of 5000i,500n,10000p,200000b,50000s < /usr/share/texmf-texlive/fonts/type1/public/amsfonts/cm/cmr6.pfb>< /usr/share/texmf-texlive/fonts/type1/public/amsfonts/symbols/msam10.pfb> Output written on fondamenti.pdf (83 pages, 5312110 bytes). PDF statistics: 2242 PDF objects out of 2487 (max. 8388607) 180 named destinations out of 1000 (max. 500000) 323 words of extra memory for PDF output out of 10000 (max. 10000000)