This is pdfTeXk, Version 3.141592-1.40.3 (Web2C 7.5.6) (format=latex 2010.5.6) 14 JUL 2013 10:10 entering extended mode \write18 enabled. %&-line parsing enabled. **PolySpad.tex (./PolySpad.tex LaTeX2e <2005/12/01> Babel 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 ) (./PolySpad.aux) \openout1 = `PolySpad.aux'. LaTeX Font Info: Checking defaults for OML/cmm/m/it on input line 3. LaTeX Font Info: ... okay on input line 3. LaTeX Font Info: Checking defaults for T1/cmr/m/n on input line 3. LaTeX Font Info: ... okay on input line 3. LaTeX Font Info: Checking defaults for OT1/cmr/m/n on input line 3. LaTeX Font Info: ... okay on input line 3. LaTeX Font Info: Checking defaults for OMS/cmsy/m/n on input line 3. LaTeX Font Info: ... okay on input line 3. LaTeX Font Info: Checking defaults for OMX/cmex/m/n on input line 3. LaTeX Font Info: ... okay on input line 3. LaTeX Font Info: Checking defaults for U/cmr/m/n on input line 3. LaTeX Font Info: ... okay on input line 3. LaTeX Font Info: External font `cmex10' loaded for size (Font) <12> on input line 7. LaTeX Font Info: External font `cmex10' loaded for size (Font) <8> on input line 7. LaTeX Font Info: External font `cmex10' loaded for size (Font) <6> on input line 7. Overfull \hbox (97.29698pt too wide) in paragraph at lines 7--7 [][] [] [1 ] (./PolySpad.toc) \tf@toc=\write3 \openout3 = `PolySpad.toc'. [2] Overfull \hbox (5.297pt too wide) in paragraph at lines 46--48 \OT1/cmr/m/n/10 category con-struc-tor. Au-thor: Michel Pe-ti-tot (pe-ti-tot@li fl.fr)Note (Franz Lehner, [] [3] [4] [5] [6] Overfull \hbox (5.24995pt too wide) in paragraph at lines 210--210 [] \OT1/cmtt/m/n/10 ++ \spad{support(x)} returns the list of basis el ements with nonzero coefficients.[] [] Overfull \hbox (94.49918pt too wide) in paragraph at lines 226--226 [] \OT1/cmtt/m/n/10 ++ \spad{monom(s,r)} returns the product of the b asis element \spad{s} by the coefficient \spad{r}.[] [] [7] [8] [9] [10] [11] Overfull \hbox (141.74876pt too wide) in paragraph at lines 403--403 []\OT1/cmtt/m/n/10 FreeModuleFunctions2(R:CommutativeRing, S:OrderedSet,M1:Fre eModuleCategory(R,S),M2:Module(R)): public == private where[] [] [12] [13] [14] [15] [16] [17] [18] [19] [20] Overfull \hbox (10.49991pt too wide) in paragraph at lines 822--822 []\OT1/cmtt/m/n/10 ++ If it is necessary to specify the variable name, use typ e \spadtype{UnivariatePolynomial}.[] [] [21] [22] Overfull \hbox (62.99945pt too wide) in paragraph at lines 867--867 [] \OT1/cmtt/m/n/10 if characteristic()$R < 3 then return expt(p,n pretend PositiveInteger)$RepeatedSquaring(%)[] [] Overfull \hbox (31.49973pt too wide) in paragraph at lines 888--888 []\OT1/cmtt/m/n/10 -- one?(p):Boolean == not empty? p and (empty? rest p and zero? first(p).k and one? first(p).c)[] [] Overfull \hbox (26.24977pt too wide) in paragraph at lines 889--889 [] \OT1/cmtt/m/n/10 one?(p):Boolean == not empty? p and (empty? rest p and z ero? first(p).k and (first(p).c = 1))[] [] [23] Overfull \hbox (31.49973pt too wide) in paragraph at lines 936--936 []\OT1/cmtt/m/n/10 -- (first(xx).k > kBound) and (first(yy).k > kBound) an d (#xx > kBound) and (#yy > kBound) =>[] [] [24] Overfull \hbox (15.74986pt too wide) in paragraph at lines 970--970 [] \OT1/cmtt/m/n/10 solveLinearPolynomialEquation(lpp, pp)$FiniteFieldSo lveLinearPolynomialEquation(R,%,FP)[] [] [25] [26] [27] [28] Overfull \hbox (20.86455pt too wide) in paragraph at lines 1158--1158 []\OT1/cmr/bx/n/14.4 package SUP2 Sparse-U-ni-vari-atePoly-no-mi-al-Func- [] [29] [30] Overfull \hbox (2.58122pt too wide) in paragraph at lines 1219--1219 []\OT1/cmr/bx/n/14.4 package UP2 Uni-vari-atePoly-no-mi-al-Func-tions2 [] [31] Overfull \hbox (25.18939pt too wide) in paragraph at lines 1247--1247 []\OT1/cmr/bx/n/14.4 package POLY2UP Poly-no-mi-al-ToUni-vari-atePoly- [] [32] [33] [34] [35] [36] [37] [38] [39] Overfull \hbox (15.74986pt too wide) in paragraph at lines 1540--1540 []\OT1/cmtt/m/n/10 UnivariatePolynomialMultiplicationPackage(R: Ring, U: Univa riatePolynomialCategory(R)): C == T[] [] [40] [41] [42] [43] [44] (./PolySpad.aux) ) Here is how much of TeX's memory you used: 520 strings out of 94075 6025 string characters out of 1165177 61004 words of memory out of 1500000 3870 multiletter control sequences out of 10000+50000 8709 words of font info for 31 fonts, out of 1200000 for 2000 645 hyphenation exceptions out of 8191 25i,6n,17p,179b,277s stack positions out of 5000i,500n,6000p,200000b,5000s Output written on PolySpad.dvi (44 pages, 72064 bytes).