This is TeX, Version 3.14159 (preloaded format=LaTeX 99.11.18) 8 DEC 1999 22:45 **&Big-LaTeX geo2-tcs.tex (geo2-tcs.tex LaTeX2e <1996/12/01> (elsart.cls Document Class: elsart 1997/03/14, 2e-1.62: Elsevier Preprint \@frontmatterwidth=\dimen102 \@bls=\dimen103 \eqntopsep=\skip41 \eqnarraycolsep=\dimen104 \labelwidthi=\dimen105 \labelwidthii=\dimen106 \labelwidthiii=\dimen107 \labelwidthiv=\dimen108 \@maxlistdepth=\count79 \eqnbaselineskip=\skip42 \eqnlineskip=\skip43 \mathindent=\dimen109 \rulepreskip=\dimen110 \rulepostskip=\dimen111 \c@section=\count80 \c@subsection=\count81 \c@subsubsection=\count82 \c@paragraph=\count83 \c@subparagraph=\count84 \c@thm=\count85 \c@alg=\count86 \c@algorithm=\count87 \c@note=\count88 \c@summ=\count89 \c@case=\count90 \@tempcntc=\count91 \c@figure=\count92 \c@table=\count93 \t@glob@notes=\toks14 \t@loc@notes=\toks15 \note@cnt=\count94 \c@author=\count95 \n@author=\count96 \c@collab=\count97 \n@collab=\count98 \c@address=\count99 \sv@mathsurround=\dimen112 \sv@hyphenpenalty=\count100 \prev@elem=\count101 \cur@elem=\count102 \fm@box=\box26 \fm@size=\dimen113 \t@abstract=\box27 \t@keyword=\box28 \t@xtheight=\dimen114 \@logoheight=\dimen115 \@pubyear=\count103 \@shortyear=\count104 \c@firstpage=\count105 \c@lastpage=\count106 \slashbox=\box29 LaTeX Font Info: External font `cmex10' loaded for size (Font) <12> on input line 1233. LaTeX Font Info: External font `cmex10' loaded for size (Font) <8> on input line 1233. LaTeX Font Info: External font `cmex10' loaded for size (Font) <6> on input line 1233. \Slashbox=\box30 LaTeX Font Info: External font `cmex10' loaded for size (Font) <14.4> on input line 1234. LaTeX Font Info: External font `cmex10' loaded for size (Font) <7> on input line 1234. ) (:User:TeX-inputs:diagrams.tex \CD@uA=\count107 \CD@vA=\count108 \CD@wA=\count109 \CD@xA=\count110 \CD@OA=\dimen116 \CD@PA=\dimen117 \CD@RA=\dimen118 \CD@SA=\dimen119 \CD@yA=\count111 \CD@zA=\count112 \CD@QA=\dimen120 \CD@DA=\box31 \CD@LH=\count113 \CD@TC=\count114 \CD@XH=\dimen121 \CD@zC=\dimen122 \CD@@I=\dimen123 \CD@LF=\dimen124 \CD@oI=\dimen125 \CD@DC=\dimen126 \CD@eJ=\dimen127 \PileSpacing=\dimen128 \CD@nA=\dimen129 \CD@YB=\dimen130 \DiagramCellHeight=\dimen131 \DiagramCellWidth=\dimen132 \MapShortFall=\dimen133 \CD@iA=\dimen134 \rh+:>=\box32 \rt+:<=\box33 \dh+:>=\box34 \dt+:<=\box35 \rt+:>=\box36 \rh+:<=\box37 \dt+:>=\box38 \dh+:<=\box39 \CD@VE=\toks16 \CD@SE=\toks17 \CD@VA=\count115 \CD@ME=\toks18 \CD@XE=\toks19 \CD@RE=\toks20 \CD@TE=\toks21 \CD@QE=\toks22 \CD@WE=\toks23 \CD@OE=\toks24 \CD@PE=\toks25 \CD@NE=\toks26 \CD@UE=\toks27 \CD@CA=\count116 \CD@XB=\count117 \CD@NB=\count118 \CD@FA=\count119 \CD@lA=\count120 \CD@MB=\count121 \CD@GB=\count122 \CD@KG=\box40 \CD@IG=\box41 \DiagonalChoice=\count123 \objectheight=\dimen135 \objectwidth=\dimen136 \CD@NA=\toks28 \CD@xI=\toks29 \CD@lH=\toks30 \CD@hD=\toks31 \CD@hH=\toks32 ) (:TeX-inputs:LaTeX:latexsym.sty Package: latexsym 1996/11/20 v2.2d 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. ) (geo2-tcs.aux) LaTeX Font Info: Checking defaults for OML/cmm/m/it on input line 6. LaTeX Font Info: ... okay on input line 6. LaTeX Font Info: Checking defaults for T1/cmr/m/n on input line 6. LaTeX Font Info: ... okay on input line 6. LaTeX Font Info: Checking defaults for OT1/cmr/m/n on input line 6. LaTeX Font Info: ... okay on input line 6. LaTeX Font Info: Checking defaults for OMS/cmsy/m/n on input line 6. LaTeX Font Info: ... okay on input line 6. LaTeX Font Info: Checking defaults for OMX/cmex/m/n on input line 6. LaTeX Font Info: ... okay on input line 6. LaTeX Font Info: Checking defaults for U/cmr/m/n on input line 6. LaTeX Font Info: ... okay on input line 6. LaTeX Font Info: External font `cmex10' loaded for size (Font) <17.28> on input line 10. LaTeX Font Info: Try loading font information for U+lasy on input line 10. (:TeX-inputs:LaTeX:ulasy.fd File: ulasy.fd 1996/11/20 v2.2dLaTeX symbol font definitions ) LaTeX Font Info: External font `cmex10' loaded for size (Font) <10.95> on input line 18. \c@sv@footnote=\count124 Overfull \hbox (2.35143pt too wide) in paragraph at lines 262--281 []\OT1/cmr/m/n/12 Efficient eval-u-a-tion of ex-pres-sions ben-e-fits from con- cur-rent eval-u-a-tion of subex- [] [1] LaTeX Font Warning: Font shape `OT1/cmss/m/it' in size <12> not available (Font) Font shape `OT1/cmss/m/sl' tried instead on input line 302. Underfull \vbox (badness 1558) has occurred while \output is active [] [2] [3] [4] Underfull \vbox (badness 10000) has occurred while \output is active [] [5] [6] Underfull \vbox (badness 1852) has occurred while \output is active [] [7] [8] Overfull \hbox (14.45871pt too wide) in paragraph at lines 878--884 []\OT1/cmr/m/it/12 There is ac-tu-ally an iso-mor-phism be-tween com-plete fami ly-reductions [] [9] [10] [11] Underfull \vbox (badness 1490) has occurred while \output is active [] [12] [13] [14] [15] [16] [17] Underfull \vbox (badness 1558) has occurred while \output is active [] [18] [19] Overfull \hbox (0.16249pt too wide) in paragraph at lines 1800--1802 []\OT1/cmr/m/n/12 Let $\OMS/cmsy/m/n/12 = \OT1/cmr/m/n/12 = \OMS/cmsy/m/n/12 f\ OML/cmm/m/it/12 U[]\OMS/cmsy/m/n/12 g[]$ \OT1/cmr/m/n/12 be a redex-covering of a term $\OML/cmm/m/it/12 t$ \OT1/cmr/m/n/12 in an AZDFS $\OMS/cmsy/m/n/12 F$\O T1/cmr/m/n/12 . [] Underfull \vbox (badness 10000) has occurred while \output is active [] [20] [21] [22] [23] [24] [25] [26] [27] Overfull \hbox (4.02505pt too wide) in paragraph at lines 2490--2507 \OT1/cmr/m/n/12 sim-ply by re-plac-ing `in-de-pen-dence', `cov-er-ing', `ba-sis ', etc. by `$\OMS/cmsy/m/n/12 S$\OT1/cmr/m/n/12 -independence', [] [28] ! Commutative Diagram: badly drawn diagonals (see manual) at lines 2660--2667 ! (error detected at row 1, column 2, but probably caused elsewhere) [29] [30] [31] [32] [33] [34] Overfull \hbox (6.36504pt too wide) in paragraph at lines 3047--3052 \OT1/cmr/bx/n/12 Acknowledgments \OT1/cmr/m/n/12 We thank J. R. Ken-n-away, V. van Oost-rom, F.-J. de Vries, [] [35] Underfull \hbox (badness 10000) in paragraph at lines 3176--3180 []\OT1/cmr/m/n/10.95 Z. Khasi-dashvili and J.R.W. Glauert, Dis-crete nor-mal-iz a-tion and [] [36] LaTeX Font Warning: Font shape `OT1/cmss/m/it' in size <10.95> not available (Font) Font shape `OT1/cmss/m/sl' tried instead on input line 3228 . [37] Commutative Diagram: try the PostScript option for better results (geo2-tcs.aux) ) Here is how much of TeX's memory you used: 2878 strings out of 5927 23259 string characters out of 28819 84973 words of memory out of 200001 5742 multiletter control sequences out of 10000 13345 words of font info for 49 fonts, out of 60000 for 256 15 hyphenation exceptions out of 2551 110i,13n,19p,450b,547s stack positions out of 600i,150n,200p,3000b,2000s Output written on geo2-tcs.dvi (37 pages, 167468 bytes).