This is TeX, Version 3.14159 (preloaded format=LaTeX 96.8.20) 9 DEC 1996 22:46 **&Big-LaTeX compLICS.tex (compLICS.tex LaTeX2e <1995/12/01> patch level 2 (:TeX-inputs:LaTeX:latex209.def File: latex209.def 1995/12/08 v0.50 Standard LaTeX file Entering LaTeX 2.09 compatibility mode. \footheight=\dimen102 \@maxsep=\dimen103 \@dblmaxsep=\dimen104 \@cla=\count79 \@clb=\count80 \mscount=\count81 (:TeX-inputs:LaTeX:tracefnt.sty Package: tracefnt 1995/11/28v3.0g Standard LaTeX package (font tracing) \tracingfonts=\count82 LaTeX Info: Redefining \selectfont on input line 138. ) \symbold=\mathgroup4 \symsans=\mathgroup5 \symtypewriter=\mathgroup6 \symitalic=\mathgroup7 \symsmallcaps=\mathgroup8 \symslanted=\mathgroup9 LaTeX Font Info: Redeclaring math alphabet \mathbf on input line 299. LaTeX Font Info: Redeclaring math alphabet \mathsf on input line 300. LaTeX Font Info: Redeclaring math alphabet \mathtt on input line 301. LaTeX Font Info: Redeclaring math alphabet \mathit on input line 307. LaTeX Info: Redefining \em on input line 317. (:TeX-inputs:LaTeX:latexsym.sty Package: latexsym 1995/11/28 v2.2c Standard LaTeX package (lasy symbols) \symlasy=\mathgroup10 LaTeX Font Info: Overwriting symbol font `lasy' in version `bold' (Font) U/lasy/m/n --> U/lasy/b/n on input line 85. ) LaTeX Font Info: Redeclaring math delimiter \lgroup on input line 382. LaTeX Font Info: Redeclaring math delimiter \rgroup on input line 384. LaTeX Font Info: Redeclaring math delimiter \bracevert on input line 386. ) (:TeX-inputs:LaTeX:article.cls Document Class: article 1995/12/20 v1.3q Standard LaTeX document class (:TeX-inputs:LaTeX:size10.clo File: size10.clo 1995/12/20 v1.3q Standard LaTeX file (size option) ) \c@part=\count83 \c@section=\count84 \c@subsection=\count85 \c@subsubsection=\count86 \c@paragraph=\count87 \c@subparagraph=\count88 \c@figure=\count89 \c@table=\count90 \abovecaptionskip=\skip41 \belowcaptionskip=\skip42 Compatibility mode: definition of \rm ignored. Compatibility mode: definition of \sf ignored. Compatibility mode: definition of \tt ignored. Compatibility mode: definition of \bf ignored. Compatibility mode: definition of \it ignored. Compatibility mode: definition of \sl ignored. Compatibility mode: definition of \sc ignored. LaTeX Info: Redefining \cal on input line 542. LaTeX Info: Redefining \mit on input line 543. \bibindent=\dimen105 ) (:User:TeX-inputs:diagrams.tex *********************************************************** ! THIS IS AN EXPERIMENTAL VERSION OF COMMUTATIVE DIAGRAMS * ! it expired in August 1996 and is time-bombed for January * ! You may obtain an up to date version of this package by * ! "anonymous FTP" from theory.doc.ic.ac.uk (146.169.2.27) * *********************************************************** \Cd@pA=\count91 \Cd@qA=\count92 \Cd@rA=\count93 \Cd@sA=\count94 \Cd@KA=\dimen106 \Cd@LA=\dimen107 \Cd@NA=\dimen108 \Cd@OA=\dimen109 \Cd@tA=\count95 \Cd@uA=\count96 \Cd@MA=\dimen110 \Cd@@A=\box26 \Cd@gG=\count97 \Cd@KC=\count98 \Cd@sG=\dimen111 \Cd@nC=\dimen112 \Cd@NH=\dimen113 \Cd@qE=\dimen114 \Cd@@I=\dimen115 \PileSpacing=\dimen116 \Cd@hA=\dimen117 \Cd@TB=\dimen118 \DiagramCellHeight=\dimen119 \DiagramCellWidth=\dimen120 \MapShortFall=\dimen121 \Cd@cA=\dimen122 \rh+:>=\box27 \rt+:<=\box28 \dh+:>=\box29 \dt+:<=\box30 \rt+:>=\box31 \rh+:<=\box32 \dt+:>=\box33 \dh+:<=\box34 \Cd@EE=\toks14 \Cd@BE=\toks15 \Cd@RA=\count99 \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=\count100 \Cd@SB=\count101 \Cd@IB=\count102 \Cd@BA=\count103 \Cd@fA=\count104 \Cd@HB=\count105 \Cd@BB=\count106 \Cd@lF=\box35 \Cd@jF=\box36 \DiagonalChoice=\count107 \objectheight=\dimen123 \objectwidth=\dimen124 \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) <7> on input line 1818. LaTeX Font Info: External font `cmex10' loaded for size (Font) <5> on input line 1818. LaTeX Font Info: Try loading font information for U+lasy on input line 1818. (:TeX-inputs:LaTeX:Ulasy.fd File: Ulasy.fd 1995/11/28 v2.2cLaTeX symbol font definitions )) (compLICS.aux) LaTeX Font Info: Checking defaults for OML/cmm/m/it on input line 18. LaTeX Font Info: ... okay on input line 18. LaTeX Font Info: Checking defaults for T1/cmr/m/n on input line 18. LaTeX Font Info: ... okay on input line 18. LaTeX Font Info: Checking defaults for OT1/cmr/m/n on input line 18. LaTeX Font Info: ... okay on input line 18. LaTeX Font Info: Checking defaults for OMS/cmsy/m/n on input line 18. LaTeX Font Info: ... okay on input line 18. LaTeX Font Info: Checking defaults for OMX/cmex/m/n on input line 18. LaTeX Font Info: ... okay on input line 18. LaTeX Font Info: Checking defaults for U/cmr/m/n on input line 18. LaTeX Font Info: ... okay on input line 18. \c@thm=\count108 LaTeX Font Info: External font `cmex10' loaded for size (Font) <12> on input line 225. LaTeX Font Info: External font `cmex10' loaded for size (Font) <8> on input line 225. LaTeX Font Info: External font `cmex10' loaded for size (Font) <6> on input line 225. [1 ] Underfull \vbox (badness 4108) has occurred while \output is active [] Underfull \hbox (badness 2591) in paragraph at lines 372--372 []\OT1/cmr/bx/n/14.4 Deterministic Resid-ual and [] [2] [3] Underfull \hbox (badness 6094) in paragraph at lines 548--553 [][]\OT1/cmr/bx/n/10 (Deterministic Fam-ily Struc- [] Underfull \hbox (badness 1231) in paragraph at lines 625--630 \OT1/cmr/m/it/10 unneeded\OT1/cmr/m/n/10 , $\OML/cmm/m/it/10 UN[]\OT1/cmr/m/n/1 0 (\OML/cmm/m/it/10 u; t\OT1/cmr/m/n/10 )$, oth-er-wise. We call $\OML/cmm/m/it /10 u$ $P$\OT1/cmr/m/it/10 - [] Underfull \hbox (badness 4120) in paragraph at lines 643--647 []\OT1/cmr/m/n/10 Note that $\OML/cmm/m/it/10 P$\OT1/cmr/m/n/10 -neededness, $\ OML/cmm/m/it/10 P$\OT1/cmr/m/n/10 -erasure, and $\OML/cmm/m/it/10 P$\OT1/cmr/m/ n/10 - [] Underfull \hbox (badness 1062) in paragraph at lines 656--658 []\OT1/cmr/m/n/10 (3) If $\OML/cmm/m/it/10 u$ \OT1/cmr/m/n/10 cre-ates $\OML/cm m/m/it/10 v \OMS/cmsy/m/n/10 2 \OML/cmm/m/it/10 e$ \OT1/cmr/m/n/10 and $\OML/cm m/m/it/10 UN[]\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 u:t\OT1/cmr/m/n/10 )$ (resp. [] [4] Underfull \hbox (badness 10000) in paragraph at lines 763--763 []\OT1/cmr/bx/n/14.4 Deterministic Per-mu-ta-tion [] Underfull \hbox (badness 1400) in paragraph at lines 766--770 \OT1/cmr/m/n/10 In this sec-tion, we in-tro-duce De-ter-min-is-tic Era- [] Underfull \hbox (badness 10000) in paragraph at lines 831--835 [][]\OT1/cmr/m/n/10 A \OT1/cmr/m/it/10 De-ter-min-is-tic Era-sure Event [] [5] Underfull \hbox (badness 1383) in paragraph at lines 905--906 [][]\OT1/cmr/m/n/10 Let $\OML/cmm/m/it/10 ^^K \OMS/cmsy/m/n/10 2 L\OT1/cmr/m/n/ 10 (\OMS/cmsy/m/n/10 C\OT1/cmr/m/n/10 )$, in a DEES. Then [] [6] Underfull \hbox (badness 10000) in paragraph at lines 1279--1279 []\OT1/cmr/bx/n/14.4 Relating Tran-si-tion and [] [7] Underfull \hbox (badness 1377) in paragraph at lines 1452--1454 [][]\OT1/cmr/m/n/10 Let $\OML/cmm/m/it/10 t[]s[]s[]$\OT1/cmr/m/n/10 , $\OML/cmm /m/it/10 t[]o[]o[]$\OT1/cmr/m/n/10 , and let [] Underfull \hbox (badness 1077) in paragraph at lines 1490--1492 []\OT1/cmr/m/n/10 [E0] and [E1] fol-low im-me-di-ately from Def-i-ni- [] [8] LaTeX Font Info: Try loading font information for OMS+cmr on input line 1583 . (: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 1583. [9] Underfull \hbox (badness 3590) in paragraph at lines 1790--1796 [][]\OT1/cmr/m/n/10 Let $\OMS/cmsy/m/n/10 P$ \OT1/cmr/m/n/10 be a DPES, $\OMS/c msy/m/n/10 L[]\OT1/cmr/m/n/10 (\OMS/cmsy/m/n/10 P\OT1/cmr/m/n/10 ) = [] Underfull \hbox (badness 1122) in paragraph at lines 1877--1878 [][]\OT1/cmr/m/n/10 In an affine ZDFS, $\OML/cmm/m/it/10 P \OMS/cmsy/m/n/10 ^^V \OML/cmm/m/it/10 Q$ \OT1/cmr/m/n/10 iff [] Underfull \hbox (badness 1762) in paragraph at lines 1879--1885 \OT1/cmr/m/n/10 iff $\OML/cmm/m/it/10 FAM\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 ST\O T1/cmr/m/n/10 (\OML/cmm/m/it/10 P\OT1/cmr/m/n/10 )) \OMS/cmsy/m/n/10 ^^R \OML/c mm/m/it/10 SFAM\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 ST\OT1/cmr/m/n/10 (\OML/cmm/m/ it/10 Q\OT1/cmr/m/n/10 ))$. Fur-ther, [] [10] Underfull \hbox (badness 2205) in paragraph at lines 2274--2296 \OML/cmm/m/it/10 R$ \OT1/cmr/m/n/10 with rules $\OMS/cmsy/m/n/10 f\OML/cmm/m/it /10 F\OT1/cmr/m/n/10 [\OML/cmm/m/it/10 x\OT1/cmr/m/n/10 ]\OML/cmm/m/it/10 Z\OT1 /cmr/m/n/10 (\OML/cmm/m/it/10 x\OT1/cmr/m/n/10 ) \OMS/cmsy/m/n/10 ! \OML/cmm/m/ it/10 Z\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 Z\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 x\O T1/cmr/m/n/10 ))\OML/cmm/m/it/10 ; H\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 x\OT1/cm r/m/n/10 ) \OMS/cmsy/m/n/10 ! [] Underfull \hbox (badness 1270) in paragraph at lines 2274--2296 \OML/cmm/m/it/10 t \OT1/cmr/m/n/10 = \OML/cmm/m/it/10 F\OT1/cmr/m/n/10 [\OML/cm m/m/it/10 x\OT1/cmr/m/n/10 ]\OML/cmm/m/it/10 H\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 G\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 x\OT1/cmr/m/n/10 ))$. Let $\OML/cmm/m/it/10 P \OT1/cmr/m/n/10 : \OML/cmm/m/it/10 F\OT1/cmr/m/n/10 [\OML/cmm/m/it/10 x\OT1/ cmr/m/n/10 ]\OML/cmm/m/it/10 H\OT1/cmr/m/n/10 (\OML/cmm/m/it/10 G\OT1/cmr/m/n/1 0 (\OML/cmm/m/it/10 x\OT1/cmr/m/n/10 )) \OMS/cmsy/m/n/10 ! [] [11] Underfull \hbox (badness 1292) in paragraph at lines 2437--2442 \OT1/cmr/m/n/10 nor-mal-iza-tion in de-ter-min-is-tic resid-ual struc- [] Underfull \hbox (badness 1168) in paragraph at lines 2445--2447 \OT1/cmr/m/n/10 nor-mal-iza-tion in sta-ble de-ter-min-is-tic resid-ual [] Underfull \hbox (badness 1460) in paragraph at lines 2471--2477 [][]\OT1/cmr/m/n/10 Khasidashvili Z., Glauert J. R. W. Dis- [] Underfull \hbox (badness 1584) in paragraph at lines 2500--2502 [][]\OT1/cmr/m/n/10 Laneve C. Dis-tribu-tive eval-u-a-tions of $\OML/cmm/m/it/1 0 ^^U$\OT1/cmr/m/n/10 - [] [12] Underfull \hbox (badness 5878) in paragraph at lines 2537--2539 [][]\OT1/cmr/m/n/10 Melli^^Res P.-A. De-scrip-tion Ab-straite des [] [13] (compLICS.aux) ) Here is how much of TeX's memory you used: 2535 strings out of 5927 19980 string characters out of 28921 88769 words of memory out of 200001 5373 multiletter control sequences out of 10000 18604 words of font info for 68 fonts, out of 60000 for 256 15 hyphenation exceptions out of 2551 110i,11n,19p,449b,447s stack positions out of 600i,150n,200p,3000b,2000s Output written on compLICS.dvi (13 pages, 107732 bytes).