This is TeX, Version 3.14159 (preloaded format=LaTeX 99.11.18)  18 FEB 2001 22:26
**&Big-LaTeX geo2-tcsA.tex
(geo2-tcsA.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-tcsA.aux)
LaTeX Font Info:    Checking defaults for OML/cmm/m/it on input line 10.
LaTeX Font Info:    ... okay on input line 10.
LaTeX Font Info:    Checking defaults for T1/cmr/m/n on input line 10.
LaTeX Font Info:    ... okay on input line 10.
LaTeX Font Info:    Checking defaults for OT1/cmr/m/n on input line 10.
LaTeX Font Info:    ... okay on input line 10.
LaTeX Font Info:    Checking defaults for OMS/cmsy/m/n on input line 10.
LaTeX Font Info:    ... okay on input line 10.
LaTeX Font Info:    Checking defaults for OMX/cmex/m/n on input line 10.
LaTeX Font Info:    ... okay on input line 10.
LaTeX Font Info:    Checking defaults for U/cmr/m/n on input line 10.
LaTeX Font Info:    ... okay on input line 10.
LaTeX Font Info:    External font `cmex10' loaded for size
(Font)              <17.28> on input line 14.
LaTeX Font Info:    Try loading font information for U+lasy on input line 14.
 (: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 22.


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

\c@sv@footnote=\count124

Overfull \hbox (2.35143pt too wide) in paragraph at lines 252--270
[]\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 291.


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

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

 [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 (12.01833pt too wide) in paragraph at lines 890--890
[]\OT1/cmss/m/n/12 ([19,20]) Let $\OML/cmm/m/it/12 Pv \OMS/cmsy/m/n/12 '[] \OML
/cmm/m/it/12 Qw$ \OT1/cmss/m/n/12 in an AZDFS. Then $\OML/cmm/m/it/12 v=\OT1/cm
r/m/n/12 (\OML/cmm/m/it/12 Q=P\OT1/cmr/m/n/12 ) = \OML/cmm/m/it/12 w=\OT1/cmr/m
/n/12 (\OML/cmm/m/it/12 P=Q\OT1/cmr/m/n/12 )$\OT1/cmss/m/n/12 .
 []


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

 [26]
Overfull \hbox (1.69046pt too wide) in paragraph at lines 2421--2421
[]\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 10000) has occurred while \output is active []

 [27]
Overfull \hbox (4.02505pt too wide) in paragraph at lines 2519--2536
\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]
Underfull \vbox (badness 1194) has occurred while \output is active []

 [29]
! Commutative Diagram: badly drawn diagonals (see manual) at lines 2690--2697
! (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 3080--3085
 \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]
Underfull \hbox (badness 10000) in paragraph at lines 3221--3225
[]\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 3261--3264
\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-tcsA.aux) ) 
Here is how much of TeX's memory you used:
 2878 strings out of 5927
 23307 string characters out of 28819
 84973 words of memory out of 200001
 5740 multiletter control sequences out of 10000
 14113 words of font info for 52 fonts, out of 60000 for 256
 15 hyphenation exceptions out of 2551
 110i,13n,19p,451b,547s stack positions out of 600i,150n,200p,3000b,2000s

Output written on geo2-tcsA.dvi (38 pages, 168372 bytes).