This is TeX, Version 3.14159 (Web2C 7.4.5) (format=latex 2004.2.16) 1 MAR 2005 00:36 **factoring_poly_mod_p (./factoring_poly_mod_p.tex LaTeX2e <2001/06/01> Babel and hyphenation patterns for american, french, german, ngerman, b asque, italian, portuges, russian, spanish, nohyphenation, loaded. (/usr/share/texmf/tex/latex/base/article.cls Document Class: article 2001/04/21 v1.4e Standard LaTeX document class (/usr/share/texmf/tex/latex/base/size12.clo File: size12.clo 2001/04/21 v1.4e 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 ) \@input{macros.aux} \openout2 = `macros.aux'. (./macros.tex (/usr/share/texmf/tex/latex/srcltx/srcltx.sty Package: srcltx 2001/07/14 v1.1a DVI Search \src@pg@top=\count87 \src@lastline=\count88 \src@ta=\toks14 \src@tb=\toks15 \everypar=\toks16 ) (/usr/share/texmf/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/texmf/tex/latex/amsmath/amstext.sty Package: amstext 2000/06/29 v2.01 (/usr/share/texmf/tex/latex/amsmath/amsgen.sty File: amsgen.sty 1999/11/30 v2.0 \@emptytoks=\toks17 \ex@=\dimen103 )) (/usr/share/texmf/tex/latex/amsmath/amsbsy.sty Package: amsbsy 1999/11/29 v1.2d \pmbraise@=\dimen104 ) (/usr/share/texmf/tex/latex/amsmath/amsopn.sty Package: amsopn 1999/12/14 v2.01 operator names ) \inf@bad=\count89 LaTeX Info: Redefining \frac on input line 211. \uproot@=\count90 \leftroot@=\count91 LaTeX Info: Redefining \overline on input line 307. \classnum@=\count92 \DOTSCASE@=\count93 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=\dimen105 LaTeX Font Info: Redeclaring font encoding OML on input line 567. LaTeX Font Info: Redeclaring font encoding OMS on input line 568. \macc@depth=\count94 \c@MaxMatrixCols=\count95 \dotsspace@=\muskip10 \c@parentequation=\count96 \dspbrk@lvl=\count97 \tag@help=\toks18 \row@=\count98 \column@=\count99 \maxfields@=\count100 \andhelp@=\toks19 \eqnshift@=\dimen106 \alignsep@=\dimen107 \tagshift@=\dimen108 \tagwidth@=\dimen109 \totwidth@=\dimen110 \lineht@=\dimen111 \@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/texmf/tex/latex/amsfonts/amsfonts.sty Package: amsfonts 2001/10/25 v2.2f \symAMSa=\mathgroup4 \symAMSb=\mathgroup5 LaTeX Font Info: Overwriting math alphabet `\mathfrak' in version `bold' (Font) U/euf/m/n --> U/euf/b/n on input line 132. ) (/usr/share/texmf/tex/latex/amsfonts/amssymb.sty Package: amssymb 2002/01/22 v2.2d ) (/usr/share/texmf/tex/latex/amscls/amsthm.sty Package: amsthm 2000/10/26 v2.08 \thm@style=\toks22 \thm@bodyfont=\toks23 \thm@headfont=\toks24 \thm@notefont=\toks25 \thm@headpunct=\toks26 \thm@preskip=\skip46 \thm@postskip=\skip47 \thm@headsep=\skip48 \dth@everypar=\toks27 ) \c@theorem=\count101 \c@listnum=\count102 ) (./factoring_poly_mod_p.aux) \openout1 = `factoring_poly_mod_p.aux'. LaTeX Font Info: Checking defaults for OML/cmm/m/it on input line 18. LaTeX Font Info: ... okay on input line 18. LaTeX Font Info: Checking defaults for T1/cmr/m/n on input line 18. LaTeX Font Info: ... okay on input line 18. LaTeX Font Info: Checking defaults for OT1/cmr/m/n on input line 18. LaTeX Font Info: ... okay on input line 18. LaTeX Font Info: Checking defaults for OMS/cmsy/m/n on input line 18. LaTeX Font Info: ... okay on input line 18. LaTeX Font Info: Checking defaults for OMX/cmex/m/n on input line 18. LaTeX Font Info: ... okay on input line 18. LaTeX Font Info: Checking defaults for U/cmr/m/n on input line 18. LaTeX Font Info: ... okay on input line 18. LaTeX Font Info: Checking defaults for OT2/cmr/m/n on input line 18. LaTeX Font Info: Try loading font information for OT2+cmr on input line 18. (/usr/share/texmf/tex/latex/cyrillic/ot2cmr.fd File: ot2cmr.fd 2001/08/11 v3.2c Computer Modern Cyrillic font definitions ) LaTeX Font Info: ... okay on input line 18. LaTeX Font Info: Try loading font information for U+msa on input line 19. (/usr/share/texmf/tex/latex/amsfonts/umsa.fd File: umsa.fd 2002/01/19 v2.2g AMS font definitions ) LaTeX Font Info: Try loading font information for U+msb on input line 19. (/usr/share/texmf/tex/latex/amsfonts/umsb.fd File: umsb.fd 2002/01/19 v2.2g AMS font definitions ) [1 ] [2] Overfull \hbox (51.24623pt too wide) in paragraph at lines 94--95 \OT1/cmr/bx/n/12 Proposition 3.2. []\OT1/cmr/m/it/12 If $\OML/cmm/m/it/12 d$ \O T1/cmr/m/it/12 sat-is-fies the con-di-tions in the lemma for $\OML/cmm/m/it/12 a[]; a[]$ \OT1/cmr/m/it/12 then $[]\OT1/cmr/m/n/12 (\OML/cmm/m/it/12 f[]\OT1/cm r/m/n/12 (\OML/cmm/m/it/12 X\OT1/cmr/m/n/12 )\OML/cmm/m/it/12 ; X[] \OMS/cmsy/m /n/12 ^^@ [] [3] Overfull \hbox (8.45842pt too wide) in paragraph at lines 105--106 [][]\OT1/cmr/m/n/12 Compute $[](\OML/cmm/m/it/12 f[]\OT1/cmr/m/n/12 (\OML/cmm/m /it/12 X\OT1/cmr/m/n/12 )\OML/cmm/m/it/12 ; X[] \OMS/cmsy/m/n/12 ^^@ \OT1/cmr/m /n/12 1) = \OML/cmm/m/it/12 h[]\OT1/cmr/m/n/12 (\OML/cmm/m/it/12 X\OT1/cmr/m/n/ 12 )$. With prob-a-bil-ity $1\OML/cmm/m/it/12 =\OT1/cmr/m/n/12 2$ we have $[] \ OML/cmm/m/it/12 h[]\OT1/cmr/m/n/12 (\OML/cmm/m/it/12 X\OT1/cmr/m/n/12 ) \OML/cm m/m/it/12 < [] [4] (./factoring_poly_mod_p.aux) ) Here is how much of TeX's memory you used: 1662 strings out of 95796 16555 string characters out of 1191756 64693 words of memory out of 1000001 4620 multiletter control sequences out of 10000+50000 15253 words of font info for 59 fonts, out of 500000 for 1000 26 hyphenation exceptions out of 1000 31i,6n,24p,589b,274s stack positions out of 3000i,1500n,5000p,200000b,15000s Output written on factoring_poly_mod_p.dvi (4 pages, 16084 bytes).