This is pdfTeXk, Version 3.141592-1.40.3 (Web2C 7.5.6) (format=latex 2010.5.6)  7 DEC 2013 19:27
entering extended mode
\write18 enabled.
 %&-line parsing enabled.
**TensorProduct.tex
(./TensorProduct.tex
LaTeX2e <2005/12/01>
Babel <v3.8h> and hyphenation patterns for english, usenglishmax, dumylang, noh
yphenation, arabic, farsi, croatian, ukrainian, russian, bulgarian, czech, slov
ak, danish, dutch, finnish, basque, french, german, ngerman, ibycus, greek, mon
ogreek, ancientgreek, hungarian, italian, latin, mongolian, norsk, icelandic, i
nterlingua, turkish, coptic, romanian, welsh, serbian, slovenian, estonian, esp
eranto, uppersorbian, indonesian, polish, portuguese, spanish, catalan, galicia
n, swedish, ukenglish, pinyin, loaded.
(/usr/share/texmf-texlive/tex/latex/base/article.cls
Document Class: article 2005/09/16 v1.4f Standard LaTeX document class
(/usr/share/texmf-texlive/tex/latex/base/size10.clo
File: size10.clo 2005/09/16 v1.4f 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/share/texmf/tex/latex/axiom.sty
\nwmarginglue=\dimen103
\codehsize=\dimen104
\codemargin=\dimen105
\nwdefspace=\dimen106
\equivbox=\box26
LaTeX Font Info:    External font `cmex10' loaded for size
(Font)              <7> on input line 77.
LaTeX Font Info:    External font `cmex10' loaded for size
(Font)              <5> on input line 77.
\plusequivbox=\box27
\nwcodetopsep=\skip43
\nwcodepenalty=\count87
\@original@textwidth=\dimen107
\nwcodecommentsep=\skip44
\@nwlopage=\count88
\@nwhipage=\count89
\@nwlosub=\count90
\@nwhisub=\count91
\@nwpagetemp=\count92
\@nwpagecount=\count93
\sub@page=\count94
\@nwalph@n=\count95
\nw@chunkcount=\count96
\@commacount=\count97
\nwix@counter=\count98
)
(/usr/share/texmf-texlive/tex/latex/amscls/amsthm.sty
Package: amsthm 2004/08/06 v2.20
\thm@style=\toks14
\thm@bodyfont=\toks15
\thm@headfont=\toks16
\thm@notefont=\toks17
\thm@headpunct=\toks18
\thm@preskip=\skip45
\thm@postskip=\skip46
\thm@headsep=\skip47
\dth@everypar=\toks19
)
(/usr/share/texmf-texlive/tex/latex/amsmath/amsmath.sty
Package: amsmath 2000/07/18 v2.13 AMS math features
\@mathmargin=\skip48

For additional information on amsmath, use the `?' option.
(/usr/share/texmf-texlive/tex/latex/amsmath/amstext.sty
Package: amstext 2000/06/29 v2.01

(/usr/share/texmf-texlive/tex/latex/amsmath/amsgen.sty
File: amsgen.sty 1999/11/30 v2.0
\@emptytoks=\toks20
\ex@=\dimen108
))
(/usr/share/texmf-texlive/tex/latex/amsmath/amsbsy.sty
Package: amsbsy 1999/11/29 v1.2d
\pmbraise@=\dimen109
)
(/usr/share/texmf-texlive/tex/latex/amsmath/amsopn.sty
Package: amsopn 1999/12/14 v2.01 operator names
)
\inf@bad=\count99
LaTeX Info: Redefining \frac on input line 211.
\uproot@=\count100
\leftroot@=\count101
LaTeX Info: Redefining \overline on input line 307.
\classnum@=\count102
\DOTSCASE@=\count103
LaTeX Info: Redefining \ldots on input line 379.
LaTeX Info: Redefining \dots on input line 382.
LaTeX Info: Redefining \cdots on input line 467.
\Mathstrutbox@=\box28
\strutbox@=\box29
\big@size=\dimen110
LaTeX Font Info:    Redeclaring font encoding OML on input line 567.
LaTeX Font Info:    Redeclaring font encoding OMS on input line 568.
\macc@depth=\count104
\c@MaxMatrixCols=\count105
\dotsspace@=\muskip10
\c@parentequation=\count106
\dspbrk@lvl=\count107
\tag@help=\toks21
\row@=\count108
\column@=\count109
\maxfields@=\count110
\andhelp@=\toks22
\eqnshift@=\dimen111
\alignsep@=\dimen112
\tagshift@=\dimen113
\tagwidth@=\dimen114
\totwidth@=\dimen115
\lineht@=\dimen116
\@envbody=\toks23
\multlinegap=\skip49
\multlinetaggap=\skip50
\mathdisplay@stack=\toks24
LaTeX Info: Redefining \[ on input line 2666.
LaTeX Info: Redefining \] on input line 2667.
)
(/usr/share/texmf-texlive/tex/latex/ltxmisc/url.sty
\Urlmuskip=\muskip11
Package: url 2005/06/27  ver 3.2  Verb mode for urls, etc.
)
\c@ToDo=\count111

(/usr/share/texmf-texlive/tex/latex/ltxmisc/a4wide.sty
Package: a4wide 1994/08/30

(/usr/share/texmf-texlive/tex/latex/ntgclass/a4.sty
Package: a4 2004/04/15 v1.2g A4 based page layout
)) (./TensorProduct.aux)
\openout1 = `TensorProduct.aux'.

LaTeX Font Info:    Checking defaults for OML/cmm/m/it on input line 8.
LaTeX Font Info:    ... okay on input line 8.
LaTeX Font Info:    Checking defaults for T1/cmr/m/n on input line 8.
LaTeX Font Info:    ... okay on input line 8.
LaTeX Font Info:    Checking defaults for OT1/cmr/m/n on input line 8.
LaTeX Font Info:    ... okay on input line 8.
LaTeX Font Info:    Checking defaults for OMS/cmsy/m/n on input line 8.
LaTeX Font Info:    ... okay on input line 8.
LaTeX Font Info:    Checking defaults for OMX/cmex/m/n on input line 8.
LaTeX Font Info:    ... okay on input line 8.
LaTeX Font Info:    Checking defaults for U/cmr/m/n on input line 8.
LaTeX Font Info:    ... okay on input line 8.

(./TensorProduct.toc)
\tf@toc=\write3
\openout3 = `TensorProduct.toc'.


Overfull \hbox (31.49973pt too wide) in paragraph at lines 29--29
 []\OT1/cmtt/m/n/10 TensorProductCategory(R:CommutativeRing, M : Module(R), N :
 Module(R)):Category == Module(R) with[]  
 []

[1

] [2] [3]
Overfull \hbox (20.99982pt too wide) in paragraph at lines 125--125
 []      \OT1/cmtt/m/n/10 ko:OutputForm := tensor((selectfirst rec k)::OutputFo
rm,(selectsecond rec k)::OutputForm)[]  
 []


Overfull \hbox (118.5235pt too wide) in paragraph at lines 146--150
[]\OT1/cmr/m/n/10 The fol-low-ing ta-ble shows a com-par-i-son of speed (De-bia
n 4.0 amd64 on []\OT1/cmtt/m/n/10 Intel(R) Core(TM)2 Duo CPU T7100 @ 1.80GHz\OT
1/cmr/m/n/10 )
 []

[4] [5]
Overfull \hbox (57.7495pt too wide) in paragraph at lines 284--284
 []\OT1/cmtt/m/n/10 TensorPowerCategory(n:NonNegativeInteger, R:CommutativeRing
, M : Module(R)):Category == Module(R) with[]  
 []

[6]
Overfull \hbox (8.06158pt too wide) in paragraph at lines 302--305
\OT1/cmr/m/n/10 We rely on the fact that Vec-tor Or-dered-Set is an Or-dered-Se
t with de-glex or-der; \OT1/cmtt/m/n/10 DirectProduct(n,B)
 []

[7] [8] [9]
Overfull \hbox (267.74767pt too wide) in paragraph at lines 435--435
 []\OT1/cmtt/m/n/10 TensorPowerFunctions2(n:NonNegativeInteger, R:CommutativeRi
ng, B:OrderedSet, M1:FreeModuleCategory(R,B),M2:Module(R)): public == private w
here[]  
 []

[10] [11] [12] [13] [14] (./TensorProduct.aux) ) 
Here is how much of TeX's memory you used:
 1282 strings out of 94075
 14868 string characters out of 1165177
 72904 words of memory out of 1500000
 4601 multiletter control sequences out of 10000+50000
 9083 words of font info for 33 fonts, out of 1200000 for 2000
 645 hyphenation exceptions out of 8191
 27i,6n,20p,241b,345s stack positions out of 5000i,500n,6000p,200000b,5000s

Output written on TensorProduct.dvi (14 pages, 28376 bytes).