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


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

\c@sv@footnote=\count124

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



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] [7] [8]
Overfull \hbox (12.01833pt too wide) in paragraph at lines 740--740
[]\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 .
 []

[9] [10]
Underfull \vbox (badness 1502) has occurred while \output is active []

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

 [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 1470--1472
[]\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 2127--2127
[]\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 2210--2219
\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] [29]
! Commutative Diagram: badly drawn diagonals (see manual) at lines 2357--2364
! (error detected at row 1, column 2, but probably caused elsewhere)
Underfull \vbox (badness 5316) has occurred while \output is active []

 [30]
[31] [32]
Underfull \vbox (badness 1092) has occurred while \output is active []

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

 [35]
Overfull \hbox (8.97612pt too wide) in paragraph at lines 2737--2742
 \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,
 []

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


Underfull \hbox (badness 6842) in paragraph at lines 2874--2877
\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-tcsD.aux) ) 
Here is how much of TeX's memory you used:
 2874 strings out of 5927
 23276 string characters out of 28819
 84973 words of memory out of 200001
 5737 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,451b,547s stack positions out of 600i,150n,200p,3000b,2000s

Output written on geo2-tcsD.dvi (38 pages, 169320 bytes).