This is pdfTeXk, Version 3.141592-1.40.3 (Web2C 7.5.6) (format=latex 2009.10.27) 12 FEB 2010 10:45 entering extended mode %&-line parsing enabled. **379.tex (./379.tex LaTeX2e <2005/12/01> Babel and hyphenation patterns for english, usenglishmax, dumylang, noh yphenation, german, ngerman, pinyin, loaded. (/usr/share/texmf-texlive/tex/latex/amscls/amsart.cls Document Class: amsart 2004/08/06 v2.20 \linespacing=\dimen102 \normalparindent=\dimen103 \normaltopskip=\skip41 (/usr/share/texmf-texlive/tex/latex/amsmath/amsmath.sty Package: amsmath 2000/07/18 v2.13 AMS math features \@mathmargin=\skip42 For additional information on amsmath, use the `?' option. (/usr/share/texmf-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=\toks14 \ex@=\dimen104 )) (/usr/share/texmf-texlive/tex/latex/amsmath/amsbsy.sty Package: amsbsy 1999/11/29 v1.2d \pmbraise@=\dimen105 ) (/usr/share/texmf-texlive/tex/latex/amsmath/amsopn.sty Package: amsopn 1999/12/14 v2.01 operator names ) \inf@bad=\count79 LaTeX Info: Redefining \frac on input line 211. \uproot@=\count80 \leftroot@=\count81 LaTeX Info: Redefining \overline on input line 307. \classnum@=\count82 \DOTSCASE@=\count83 LaTeX Info: Redefining \ldots on input line 379. LaTeX Info: Redefining \dots on input line 382. LaTeX Info: Redefining \cdots on input line 467. \Mathstrutbox@=\box26 \strutbox@=\box27 \big@size=\dimen106 LaTeX Font Info: Redeclaring font encoding OML on input line 567. LaTeX Font Info: Redeclaring font encoding OMS on input line 568. \macc@depth=\count84 \c@MaxMatrixCols=\count85 \dotsspace@=\muskip10 \c@parentequation=\count86 \dspbrk@lvl=\count87 \tag@help=\toks15 \row@=\count88 \column@=\count89 \maxfields@=\count90 \andhelp@=\toks16 \eqnshift@=\dimen107 \alignsep@=\dimen108 \tagshift@=\dimen109 \tagwidth@=\dimen110 \totwidth@=\dimen111 \lineht@=\dimen112 \@envbody=\toks17 \multlinegap=\skip43 \multlinetaggap=\skip44 \mathdisplay@stack=\toks18 LaTeX Info: Redefining \[ on input line 2666. LaTeX Info: Redefining \] on input line 2667. ) LaTeX Font Info: Try loading font information for U+msa on input line 407. (/usr/share/texmf-texlive/tex/latex/amsfonts/umsa.fd File: umsa.fd 2002/01/19 v2.2g AMS font definitions ) (/usr/share/texmf-texlive/tex/latex/amsfonts/amsfonts.sty Package: amsfonts 2001/10/25 v2.2f \symAMSa=\mathgroup4 \symAMSb=\mathgroup5 LaTeX Font Info: Overwriting math alphabet `\mathfrak' in version `bold' (Font) U/euf/m/n --> U/euf/b/n on input line 132. ) \copyins=\insert233 \abstractbox=\box28 \listisep=\skip45 \c@part=\count91 \c@section=\count92 \c@subsection=\count93 \c@subsubsection=\count94 \c@paragraph=\count95 \c@subparagraph=\count96 \c@figure=\count97 \c@table=\count98 \abovecaptionskip=\skip46 \belowcaptionskip=\skip47 \captionindent=\dimen113 \thm@style=\toks19 \thm@bodyfont=\toks20 \thm@headfont=\toks21 \thm@notefont=\toks22 \thm@headpunct=\toks23 \thm@preskip=\skip48 \thm@postskip=\skip49 \thm@headsep=\skip50 \dth@everypar=\toks24 ) \c@prop=\count99 (./379.aux) \openout1 = `379.aux'. LaTeX Font Info: Checking defaults for OML/cmm/m/it on input line 47. LaTeX Font Info: ... okay on input line 47. LaTeX Font Info: Checking defaults for T1/cmr/m/n on input line 47. LaTeX Font Info: ... okay on input line 47. LaTeX Font Info: Checking defaults for OT1/cmr/m/n on input line 47. LaTeX Font Info: ... okay on input line 47. LaTeX Font Info: Checking defaults for OMS/cmsy/m/n on input line 47. LaTeX Font Info: ... okay on input line 47. LaTeX Font Info: Checking defaults for OMX/cmex/m/n on input line 47. LaTeX Font Info: ... okay on input line 47. LaTeX Font Info: Checking defaults for U/cmr/m/n on input line 47. LaTeX Font Info: ... okay on input line 47. LaTeX Font Info: Try loading font information for U+msa on input line 47. (/usr/share/texmf-texlive/tex/latex/amsfonts/umsa.fd File: umsa.fd 2002/01/19 v2.2g AMS font definitions ) LaTeX Font Info: Try loading font information for U+msb on input line 47. (/usr/share/texmf-texlive/tex/latex/amsfonts/umsb.fd File: umsb.fd 2002/01/19 v2.2g AMS font definitions ) [1] LaTeX Font Info: Try loading font information for OMS+cmr on input line 123. (/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 <10> not available (Font) Font shape `OMS/cmsy/m/n' tried instead on input line 123. [2] [3] [4] [5] [6] LaTeX Font Info: Try loading font information for U+euf on input line 542. (/usr/share/texmf-texlive/tex/latex/amsfonts/ueuf.fd File: ueuf.fd 2002/01/19 v2.2g AMS font definitions ) Overfull \hbox (6.50996pt too wide) in paragraph at lines 555--562 \OT1/cmr/m/n/10 classes of even-dimensional non-sin-gu-lar qua-dratic forms; se e [[], \OMS/cmsy/m/n/10 x\OT1/cmr/m/n/10 8.B]. From Lemma 6[], [] [7] [8] [9] Overfull \hbox (2.13463pt too wide) in paragraph at lines 885--891 \OT1/cmr/m/n/10 We check this for-mula case-by-case: if $\OML/cmm/m/it/10 v[]q\ OT1/cmr/m/n/10 (\OML/cmm/m/it/10 x[]\OT1/cmr/m/n/10 )[] = \OML/cmm/m/it/10 v[]q \OT1/cmr/m/n/10 (\OML/cmm/m/it/10 x[]\OT1/cmr/m/n/10 )[]$, then $\OML/cmm/m/it/ 10 v[]q\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 x[]\OT1/cmr/m/n/10 ) \OMS/cmsy/m/n/10 ^^@ \OML/cmm/m/it/10 uq\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 x[]\OT1/cmr/m/n/10 )[] \OMS/cmsy/m/n/10 ^^U [] [10] [11] [12] Overfull \hbox (4.69505pt too wide) in paragraph at lines 1160--1165 \OT1/cmr/m/n/10 with gen-er-a-tors the Witt classes of the fol-low-ing forms: $ \OMS/cmsy/m/n/10 h\OT1/cmr/m/n/10 1\OML/cmm/m/it/10 ; \OMS/cmsy/m/n/10 ^^@\OT1/ cmr/m/n/10 5\OMS/cmsy/m/n/10 i$\OT1/cmr/m/n/10 , $\OMS/cmsy/m/n/10 h\OT1/cmr/m/ n/10 2\OMS/cmsy/m/n/10 ih\OT1/cmr/m/n/10 1\OML/cmm/m/it/10 ; \OMS/cmsy/m/n/10 ^ ^@\OT1/cmr/m/n/10 5\OMS/cmsy/m/n/10 i$\OT1/cmr/m/n/10 , $\OMS/cmsy/m/n/10 h\OML /cmm/m/it/10 t\OMS/cmsy/m/n/10 ih\OT1/cmr/m/n/10 1\OML/cmm/m/it/10 ; \OMS/cmsy/ m/n/10 ^^@\OT1/cmr/m/n/10 5\OMS/cmsy/m/n/10 i$\OT1/cmr/m/n/10 , [] Overfull \hbox (3.33392pt too wide) in paragraph at lines 1172--1180 \OT1/cmr/m/n/10 with gen-er-a-tors the Witt classes of $\OMS/cmsy/m/n/10 h\OT1/ cmr/m/n/10 1\OMS/cmsy/m/n/10 i$\OT1/cmr/m/n/10 , $\OMS/cmsy/m/n/10 h\OML/cmm/m/ it/10 t\OMS/cmsy/m/n/10 i$\OT1/cmr/m/n/10 , $\OMS/cmsy/m/n/10 h\OT1/cmr/m/n/10 1\OML/cmm/m/it/10 ; \OMS/cmsy/m/n/10 ^^@\OT1/cmr/m/n/10 2\OMS/cmsy/m/n/10 i$\OT 1/cmr/m/n/10 , $\OMS/cmsy/m/n/10 h\OML/cmm/m/it/10 t\OMS/cmsy/m/n/10 ih\OT1/cmr /m/n/10 1\OML/cmm/m/it/10 ; \OMS/cmsy/m/n/10 ^^@\OT1/cmr/m/n/10 2\OMS/cmsy/m/n/ 10 i$\OT1/cmr/m/n/10 , $\OMS/cmsy/m/n/10 h\OT1/cmr/m/n/10 1\OML/cmm/m/it/10 ; \ OMS/cmsy/m/n/10 ^^@\OT1/cmr/m/n/10 5\OMS/cmsy/m/n/10 i$\OT1/cmr/m/n/10 , and $\ OMS/cmsy/m/n/10 h\OML/cmm/m/it/10 t\OMS/cmsy/m/n/10 ih\OT1/cmr/m/n/10 1\OML/cmm /m/it/10 ; \OMS/cmsy/m/n/10 ^^@\OT1/cmr/m/n/10 5\OMS/cmsy/m/n/10 i$\OT1/cmr/m/n /10 . [] [13] [14] (./379.aux) ) Here is how much of TeX's memory you used: 1496 strings out of 95065 16415 string characters out of 1182544 71527 words of memory out of 1500000 4535 multiletter control sequences out of 10000+50000 13916 words of font info for 53 fonts, out of 1200000 for 2000 189 hyphenation exceptions out of 8191 34i,11n,32p,240b,264s stack positions out of 5000i,500n,6000p,200000b,5000s Output written on 379.dvi (14 pages, 76356 bytes).