This is TeX, Version 3.14159 (preloaded format=LaTeX 99.11.18)  11 FEB 2001 14:07
**&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
<Paul Taylor's commutative diagrams, version 3.87, December 1998>
\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 257--275
[]\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 296.



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]
Underfull \vbox (badness 10000) has occurred while \output is active []

 [9]
[10] [11] [12] [13]
Underfull \vbox (badness 10000) has occurred while \output is active []

 [14]
[15] [16] [17] [18]
Overfull \hbox (0.16249pt too wide) in paragraph at lines 1717--1719
[]\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 . 
 []

[19] [20] [21] [22] [23] [24] [25] [26]
Overfull \hbox (1.69046pt too wide) in paragraph at lines 2403--2403
[]\OT1/cmss/m/n/12 Let $\OML/cmm/m/it/12 ^^K$ \OT1/cmss/m/n/12 and $\OML/cmm/m/
it/12 ^^L$ \OT1/cmss/m/n/12 be two fi-nite con-fig-u-ra-tions such that $\OML/c
mm/m/it/12 Init\OT1/cmr/m/n/12 (\OML/cmm/m/it/12 ST\OT1/cmr/m/n/12 (\OML/cmm/m/
it/12 ^^K\OT1/cmr/m/n/12 )) \OMS/cmsy/m/n/12 \ \OML/cmm/m/it/12 Init\OT1/cmr/m/
n/12 (\OML/cmm/m/it/12 ST\OT1/cmr/m/n/12 (\OML/cmm/m/it/12 ^^L\OT1/cmr/m/n/12 )
) =
 []


Underfull \vbox (badness 3635) has occurred while \output is active []

 [27]
Overfull \hbox (4.02505pt too wide) in paragraph at lines 2501--2518
\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',
 []


Underfull \vbox (badness 1558) has occurred while \output is active []

 [28]
[29]
! Commutative Diagram: badly drawn diagonals (see manual) at lines 2671--2678
! (error detected at row 1, column 2, but probably caused elsewhere) [30]
[31] [32] [33] [34]
Overfull \hbox (8.97612pt too wide) in paragraph at lines 3060--3065
 \OT1/cmr/bx/n/12 Ac-knowl-edg-ments  \OT1/cmr/m/n/12 We thank J. R. Ken-n-away
, V. van Oost-rom, F.-J. de Vries,
 []

[35]

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 3104
.


Underfull \hbox (badness 10000) in paragraph at lines 3201--3205
[]\OT1/cmr/m/n/10.95 Z. Khasi-dashvili and J.R.W. Glauert, Dis-crete nor-mal-iz
a-tion and
 []

[36]
Underfull \hbox (badness 6842) in paragraph at lines 3241--3244
\OT1/cmr/m/n/10.95 and event mod-els, \OT1/cmss/m/sl/10.95 The-o-ret. Com-put. 
Sci. \OT1/cmss/m/n/10.95 (to ap-pear). Avail-able at
 []

[37] [38]
Commutative Diagram: try the PostScript option for better results
(geo2-tcs.aux) ) 
Here is how much of TeX's memory you used:
 2881 strings out of 5927
 23300 string characters out of 28819
 84973 words of memory out of 200001
 5744 multiletter control sequences out of 10000
 13807 words of font info for 51 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 (38 pages, 168516 bytes).