This is TeX, Version 3.14159 (preloaded format=LaTeX 96.8.20) 2 AUG 1998 11:01 **&Big-LaTeX SYS-C98-04JA.tex (SYS-C98-04JA.tex LaTeX2e <1995/12/01> patch level 2 (:TeX-inputs:LaTeX:article.cls Document Class: article 1995/12/20 v1.3q Standard LaTeX document class (:TeX-inputs:LaTeX:size12.clo File: size12.clo 1995/12/20 v1.3q 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 ) (:User:TeX-inputs:ueareport.sty Package `ueareport' -- 11 June 1996. (:TeX-inputs:Graphics:epsfig.sty Package: epsfig 1995/06/23 v1.5 (e)psfig emulation (SPQR) (:TeX-inputs:Graphics:graphicx.sty Package: graphicx 1995/12/06 v0.6h Enhanced LaTeX Graphics (DPC,SPQR) (:TeX-inputs:Graphics:keyval.sty Package: keyval 1995/09/21 v1.09 key=value parser (DPC) ) (:TeX-inputs:Graphics:graphics.sty Package: graphics 1996/02/20 v0.7h Standard LaTeX Graphics (DPC,SPQR) (:TeX-inputs:Graphics:trig.sty Package: trig 1994/10/16 v1.08 sin cos tan (DPC) ) (:TeX-inputs:Graphics:graphics.cfg) Package graphics Info: Driver file: oztex.def on input line 82. (:TeX-inputs:Graphics:oztex.def File: oztex.def 1995/12/04 v2.14 Driver-dependant file (DPC,SPQR) )) \Gin@req@height=\dimen103 \Gin@req@width=\dimen104 ) \epsfxsize=\dimen105 \epsfysize=\dimen106 )) (:User:TeX-inputs:diagrams.tex \Cd@pA=\count87 \Cd@qA=\count88 \Cd@rA=\count89 \Cd@sA=\count90 \Cd@KA=\dimen107 \Cd@LA=\dimen108 \Cd@NA=\dimen109 \Cd@OA=\dimen110 \Cd@tA=\count91 \Cd@uA=\count92 \Cd@MA=\dimen111 \Cd@@A=\box26 \Cd@gG=\count93 \Cd@KC=\count94 \Cd@sG=\dimen112 \Cd@nC=\dimen113 \Cd@NH=\dimen114 \Cd@qE=\dimen115 \Cd@@I=\dimen116 \Cd@GK=\dimen117 \Cd@WK=\dimen118 \PileSpacing=\dimen119 \Cd@hA=\dimen120 \Cd@TB=\dimen121 \DiagramCellHeight=\dimen122 \DiagramCellWidth=\dimen123 \MapShortFall=\dimen124 \Cd@cA=\dimen125 \rh+:>=\box27 \rt+:<=\box28 \dh+:>=\box29 \dt+:<=\box30 \rt+:>=\box31 \rh+:<=\box32 \dt+:>=\box33 \dh+:<=\box34 \Cd@EE=\toks14 \Cd@BE=\toks15 \Cd@RA=\count95 \Cd@wD=\toks16 \Cd@GE=\toks17 \Cd@AE=\toks18 \Cd@CE=\toks19 \Cd@@E=\toks20 \Cd@FE=\toks21 \Cd@yD=\toks22 \Cd@zD=\toks23 \Cd@xD=\toks24 \Cd@DE=\toks25 \Cd@z=\count96 \Cd@SB=\count97 \Cd@IB=\count98 \Cd@BA=\count99 \Cd@fA=\count100 \Cd@HB=\count101 \Cd@BB=\count102 \Cd@lF=\box35 \Cd@jF=\box36 \DiagonalChoice=\count103 \objectheight=\dimen126 \objectwidth=\dimen127 \Cd@JA=\toks26 \Cd@II=\toks27 \Cd@DH=\toks28 \Cd@RD=\toks29 \Cd@@H=\toks30 LaTeX Font Info: External font `cmex10' loaded for size (Font) <12> on input line 1836. LaTeX Font Info: External font `cmex10' loaded for size (Font) <8> on input line 1836. LaTeX Font Info: External font `cmex10' loaded for size (Font) <6> on input line 1836. ) (:TeX-inputs:LaTeX:latexsym.sty Package: latexsym 1995/11/28 v2.2c Standard LaTeX package (lasy symbols) \symlasy=\mathgroup4 LaTeX Font Info: Overwriting symbol font `lasy' in version `bold' (Font) U/lasy/m/n --> U/lasy/b/n on input line 85. ) (SYS-C98-04JA.aux) LaTeX Font Info: Checking defaults for OML/cmm/m/it on input line 25. LaTeX Font Info: ... okay on input line 25. LaTeX Font Info: Checking defaults for T1/cmr/m/n on input line 25. LaTeX Font Info: ... okay on input line 25. LaTeX Font Info: Checking defaults for OT1/cmr/m/n on input line 25. LaTeX Font Info: ... okay on input line 25. LaTeX Font Info: Checking defaults for OMS/cmsy/m/n on input line 25. LaTeX Font Info: ... okay on input line 25. LaTeX Font Info: Checking defaults for OMX/cmex/m/n on input line 25. LaTeX Font Info: ... okay on input line 25. LaTeX Font Info: Checking defaults for U/cmr/m/n on input line 25. LaTeX Font Info: ... okay on input line 25. LaTeX Font Info: External font `cmex10' loaded for size (Font) <14.4> on input line 27. LaTeX Font Info: External font `cmex10' loaded for size (Font) <7> on input line 27. LaTeX Font Info: Try loading font information for U+lasy on input line 27. (:TeX-inputs:LaTeX:Ulasy.fd File: Ulasy.fd 1995/11/28 v2.2cLaTeX symbol font definitions ) [0 ] \c@thm=\count104 LaTeX Font Info: Try loading font information for OMS+cmr on input line 242. (:TeX-inputs:LaTeX:OMScmr.fd File: OMScmr.fd 1995/12/20 v2.4f 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 242. LaTeX Font Info: External font `cmex10' loaded for size (Font) <5> on input line 244. [1] [0 ] [1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] Overfull \hbox (18.39267pt too wide) in paragraph at lines 1386--1389 []\OT1/cmr/m/n/12 The fol-low-ing propo-si-tion sum-marises our char-ac-ter-i-z a-tion of $\OMS/cmsy/m/n/12 ^^Y[]$ \OT1/cmr/m/n/12 via zig-zag fam-i-lies in Le mma 3.10[], [] [14] [15] [16] [17] [18] [19] [20] Overfull \hbox (1.198pt too wide) in paragraph at lines 2110--2118 \OT1/cmr/m/n/12 con-sider the re-duc-tions $\OML/cmm/m/it/12 P \OT1/cmr/m/n/12 : \OML/cmm/m/it/12 t[]K[]\OT1/cmr/m/n/12 (\OML/cmm/m/it/12 K[]u\OT1/cmr/m/n/12 )[]\OML/cmm/m/it/12 K[]\OT1/cmr/m/n/12 (\OML/cmm/m/it/12 K[]o\OT1/cmr/m/n/12 )[ ]\OML/cmm/m/it/12 K[]b$ \OT1/cmr/m/n/12 and $\OML/cmm/m/it/12 Q \OT1/cmr/m/n/12 : \OML/cmm/m/it/12 t[]\OT1/cmr/m/n/12 (\OML/cmm/m/it/12 ^^Ux:K[]\OT1/cmr/m/n/1 2 (\OML/cmm/m/it/12 xo\OT1/cmr/m/n/12 ))\OML/cmm/m/it/12 K[][]\OT1/cmr/m/n/12 ( \OML/cmm/m/it/12 ^^Ux:a\OT1/cmr/m/n/12 )\OML/cmm/m/it/12 K[]$\OT1/cmr/m/n/12 , [] [21] [22] [23] [24] ! Commutative Diagram: badly drawn diagonals (see manual) at lines 2492--2499 [25] [26] [27] [28] [29] [30] [31] Commutative Diagram: try the PostScript option for better results [32] (SYS-C98-04JA.aux) ) Here is how much of TeX's memory you used: 2787 strings out of 5927 22809 string characters out of 28921 88365 words of memory out of 200001 5613 multiletter control sequences out of 10000 11198 words of font info for 43 fonts, out of 60000 for 256 15 hyphenation exceptions out of 2551 110i,12n,25p,453b,472s stack positions out of 600i,150n,200p,3000b,2000s Output written on SYS-C98-04JA.dvi (35 pages, 177820 bytes).