This is TeX, Version 3.14159 (Web2C 7.3.1) (format=latex 1999.12.25) 28 JUN 2001 15:05 **int (int.tex LaTeX2e <1998/12/01> patch level 1 Babel and hyphenation patterns for american, french, german, ngerman, n ohyphenation, loaded. (/usr/local/share/texmf/tex/latex/base/article.cls Document Class: article 1999/01/07 v1.4a Standard LaTeX document class (/usr/local/share/texmf/tex/latex/base/size11.clo File: size11.clo 1999/01/07 v1.4a Standard LaTeX file (size option) ) \c@part=\count79 \c@section=\count80 \c@subsection=\count81 \c@subsubsection=\count82 \c@paragraph=\count83 \c@subparagraph=\count84 \c@figure=\count85 \c@table=\count86 \abovecaptionskip=\skip41 \belowcaptionskip=\skip42 \bibindent=\dimen102 ) (/usr/local/share/texmf/tex/latex/amsfonts/amsfonts.sty Package: amsfonts 1997/09/17 v2.2e \@emptytoks=\toks14 \symAMSa=\mathgroup4 \symAMSb=\mathgroup5 LaTeX Font Info: Overwriting math alphabet `\mathfrak' in version `bold' (Font) U/euf/m/n --> U/euf/b/n on input line 133. ) (/usr/local/share/texmf/tex/latex/amslatex/amsmath.sty Package: amsmath 1997/03/20 v1.2d AMS math features \@mathmargin=\skip43 (/usr/local/share/texmf/tex/latex/amslatex/amstext.sty Package: amstext 1996/10/28 v1.2b (/usr/local/share/texmf/tex/latex/amslatex/amsgen.sty File: amsgen 1996/10/29 v1.2b \@emptytoks=\toks15 \ex@=\dimen103 )) (/usr/local/share/texmf/tex/latex/amslatex/amsbsy.sty Package: amsbsy 1996/10/28 v1.2b \pmbraise@=\dimen104 ) (/usr/local/share/texmf/tex/latex/amslatex/amsopn.sty Package: amsopn 1996/10/28 v1.2b operator names ) LaTeX Info: Redefining \frac on input line 188. \uproot@=\count87 \leftroot@=\count88 \classnum@=\count89 \DOTSCASE@=\count90 LaTeX Info: Redefining \dots on input line 335. LaTeX Info: Redefining \ldots on input line 418. LaTeX Info: Redefining \cdots on input line 422. \Mathstrutbox@=\box26 \strutbox@=\box27 \big@size=\dimen105 LaTeX Font Info: Redeclaring font encoding OML on input line 500. LaTeX Font Info: Redeclaring font encoding OMS on input line 501. \skewcharcount@=\count91 \familycount@=\count92 \pointcount@=\count93 \accentdimen@=\dimen106 \accentmu@=\count94 \minaw@=\dimen107 \c@MaxMatrixCols=\count95 \dotsspace@=\muskip10 \c@parentequation=\count96 \dspbrk@lvl=\count97 \tag@help=\toks16 \row@=\count98 \column@=\count99 \maxfields@=\count100 \andhelp@=\toks17 \eqnshift@=\dimen108 \alignsep@=\dimen109 \tagshift@=\dimen110 \tagwidth@=\dimen111 \totwidth@=\dimen112 \lineht@=\dimen113 \@envbody=\toks18 \multlinegap=\skip44 \multlinetaggap=\skip45 ) (/usr/local/share/texmf/tex/latex/amsfonts/amssymb.sty Package: amssymb 1996/11/03 v2.2b ) (/usr/local/share/texmf/tex/latex/tools/theorem.sty Package: theorem 1995/11/23 v2.2c Theorem extension package (FMi) \theorem@style=\toks19 \theorem@bodyfont=\toks20 \theorempreskipamount=\skip46 \theorempostskipamount=\skip47 (/usr/local/share/texmf/tex/latex/tools/thp.sty File: thp.sty 1995/11/23 v2.2c Theorem extension package (FMi) )) (diagrams.sty \CD@uA=\count101 \CD@vA=\count102 \CD@wA=\count103 \CD@xA=\count104 \CD@OA=\dimen114 \CD@PA=\dimen115 \CD@RA=\dimen116 \CD@SA=\dimen117 \CD@yA=\count105 \CD@zA=\count106 \CD@QA=\dimen118 \CD@DA=\box28 \CD@LH=\count107 \CD@TC=\count108 \CD@XH=\dimen119 \CD@zC=\dimen120 \CD@@I=\dimen121 \CD@LF=\dimen122 \CD@oI=\dimen123 \CD@DC=\dimen124 \CD@eJ=\dimen125 \PileSpacing=\dimen126 \CD@nA=\dimen127 \CD@YB=\dimen128 \DiagramCellHeight=\dimen129 \DiagramCellWidth=\dimen130 \MapShortFall=\dimen131 \CD@iA=\dimen132 \rh+:>=\box29 \rt+:<=\box30 \dh+:>=\box31 \dt+:<=\box32 \rt+:>=\box33 \rh+:<=\box34 \dt+:>=\box35 \dh+:<=\box36 \CD@VE=\toks21 \CD@SE=\toks22 \CD@VA=\count109 \CD@ME=\toks23 \CD@XE=\toks24 \CD@RE=\toks25 \CD@TE=\toks26 \CD@QE=\toks27 \CD@WE=\toks28 \CD@OE=\toks29 \CD@PE=\toks30 \CD@NE=\toks31 \CD@UE=\toks32 \CD@CA=\count110 \CD@XB=\count111 \CD@NB=\count112 \CD@FA=\count113 \CD@lA=\count114 \CD@MB=\count115 \CD@GB=\count116 \CD@KG=\box37 \CD@IG=\box38 \DiagonalChoice=\count117 \objectheight=\dimen133 \objectwidth=\dimen134 \CD@NA=\toks33 \CD@xI=\toks34 \CD@lH=\toks35 \CD@hD=\toks36 \CD@hH=\toks37 LaTeX Font Info: Try loading font information for U+msa on input line 1880. (/usr/local/share/texmf/tex/latex/amsfonts/umsa.fd File: umsa.fd 1995/01/05 v2.2e AMS font definitions ) LaTeX Font Info: Try loading font information for U+msb on input line 1880. (/usr/local/share/texmf/tex/latex/amsfonts/umsb.fd File: umsb.fd 1995/01/05 v2.2e AMS font definitions )) \c@theorem=\count118 (int.aux) \openout1 = `int.aux'. LaTeX Font Info: Checking defaults for OML/cmm/m/it on input line 127. LaTeX Font Info: ... okay on input line 127. LaTeX Font Info: Checking defaults for T1/cmr/m/n on input line 127. LaTeX Font Info: ... okay on input line 127. LaTeX Font Info: Checking defaults for OT1/cmr/m/n on input line 127. LaTeX Font Info: ... okay on input line 127. LaTeX Font Info: Checking defaults for OMS/cmsy/m/n on input line 127. LaTeX Font Info: ... okay on input line 127. LaTeX Font Info: Checking defaults for OMX/cmex/m/n on input line 127. LaTeX Font Info: ... okay on input line 127. LaTeX Font Info: Checking defaults for U/cmr/m/n on input line 127. LaTeX Font Info: ... okay on input line 127. [1 ] [2] [3] Overfull \hbox (1.47528pt too wide) in paragraph at lines 296--309 \OT1/cmr/m/n/10.95 Specif-i-cally, types are to be in-ter-preted as \OT1/cmr/m/ it/10.95 groupoids[] \OT1/cmr/m/n/10.95 and terms as (groupoid) [] [4] [5] ! Commutative Diagram: badly drawn diagonals (see manual) at lines 393--397 ! (error detected at row 1, column 2, but probably caused elsewhere) [6] [7] Commutative Diagram: try the PostScript option for better results [8] (int.aux) ) Here is how much of TeX's memory you used: 3071 strings out of 10901 26126 string characters out of 72376 86637 words of memory out of 263001 6017 multiletter control sequences out of 10000+0 15585 words of font info for 59 fonts, out of 400000 for 1000 14 hyphenation exceptions out of 1000 115i,18n,22p,384b,388s stack positions out of 300i,100n,500p,50000b,4000s Output written on int.dvi (8 pages, 23612 bytes).