This is TeX, Version 3.14159 (Web2C 7.4.5) (format=latex 2006.8.25) 15 DEC 2006 02:36 **page (./page.tex LaTeX2e <2001/06/01> Babel and hyphenation patterns for american, french, german, ngerman, d anish, nohyphenation, loaded. (/usr/share/texmf/tex/latex/base/article.cls Document Class: article 2001/04/21 v1.4e Standard LaTeX document class (/usr/share/texmf/tex/latex/base/fleqn.clo File: fleqn.clo 1998/08/17 v1.1c Standard LaTeX option (flush left equations) \mathindent=\dimen102 ) (/usr/share/texmf/tex/latex/base/size10.clo File: size10.clo 2001/04/21 v1.4e 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=\dimen103 ) (./lgwinclude.tex) (/usr/share/texmf/tex/latex/base/latexsym.sty Package: latexsym 1998/08/17 v2.2e 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 42. ) (/usr/share/texmf/tex/latex/base/makeidx.sty Package: makeidx 2000/03/29 v1.0m Standard LaTeX package ) \bracketwidth=\skip43 LaTeX Font Info: External font `cmex10' loaded for size (Font) <7> on input line 23. LaTeX Font Info: External font `cmex10' loaded for size (Font) <5> on input line 23. LaTeX Font Info: Try loading font information for U+lasy on input line 23. (/usr/share/texmf/tex/latex/base/ulasy.fd File: ulasy.fd 1998/08/17 v2.2e LaTeX symbol font definitions ) (/usr/share/texmf/tex/latex/graphics/lscape.sty Package: lscape 2000/10/22 v3.01 Landscape Pages (DPC) (/usr/share/texmf/tex/latex/graphics/graphics.sty Package: graphics 2001/07/07 v1.0n Standard LaTeX Graphics (DPC,SPQR) (/usr/share/texmf/tex/latex/graphics/trig.sty Package: trig 1999/03/16 v1.09 sin cos tan (DPC) ) (/usr/share/texmf/tex/latex/config/graphics.cfg File: graphics.cfg 2001/08/31 v1.1 graphics configuration of teTeX/TeXLive ) Package graphics Info: Driver file: dvips.def on input line 80. (/usr/share/texmf/tex/latex/graphics/dvips.def File: dvips.def 1999/02/16 v3.0i Driver-dependant file (DPC,SPQR) ))) (/usr/share/texmf/tex/latex/tools/multicol.sty Package: multicol 2000/07/10 v1.5z multicolumn formatting (FMi) \c@tracingmulticols=\count87 \mult@box=\box26 \multicol@leftmargin=\dimen104 \c@unbalance=\count88 \c@collectmore=\count89 \doublecol@number=\count90 \multicoltolerance=\count91 \multicolpretolerance=\count92 \full@width=\dimen105 \page@free=\dimen106 \premulticols=\dimen107 \postmulticols=\dimen108 \multicolsep=\skip44 \multicolbaselineskip=\skip45 \partial@page=\box27 \last@line=\box28 \mult@rightbox=\box29 \mult@grightbox=\box30 \mult@gfirstbox=\box31 \mult@firstbox=\box32 \@tempa=\box33 \@tempa=\box34 \@tempa=\box35 \@tempa=\box36 \@tempa=\box37 \@tempa=\box38 \@tempa=\box39 \@tempa=\box40 \@tempa=\box41 \@tempa=\box42 \@tempa=\box43 \@tempa=\box44 \@tempa=\box45 \@tempa=\box46 \@tempa=\box47 \@tempa=\box48 \@tempa=\box49 \c@columnbadness=\count93 \c@finalcolumnbadness=\count94 \last@try=\dimen109 \multicolovershoot=\dimen110 \multicolundershoot=\dimen111 \mult@nat@firstbox=\box50 \colbreak@box=\box51 ) (/usr/share/texmf/tex/latex/misc/float.sty Package: float 2001/11/08 v1.3d Float enhancements (AL) \c@float@type=\count95 \float@exts=\toks14 \float@box=\box52 \@float@everytoks=\toks15 \@floatcapt=\box53 ) (/usr/share/texmf/tex/latex/base/inputenc.sty Package: inputenc 2001/07/10 v0.99a Input encoding file (/usr/share/texmf/tex/latex/base/latin1.def File: latin1.def 2001/07/10 v0.99a Input encoding file )) (/usr/share/texmf/tex/latex/graphics/graphicx.sty Package: graphicx 1999/02/16 v1.0f Enhanced LaTeX Graphics (DPC,SPQR) (/usr/share/texmf/tex/latex/graphics/keyval.sty Package: keyval 1999/03/16 v1.13 key=value parser (DPC) \KV@toks@=\toks16 ) \Gin@req@height=\dimen112 \Gin@req@width=\dimen113 ) (/usr/share/texmf/tex/latex/tools/verbatim.sty Package: verbatim 2001/03/12 v1.5p LaTeX2e package for verbatim enhancements \every@verbatim=\toks17 \verbatim@line=\toks18 \verbatim@in@stream=\read1 ) (/usr/share/texmf/tex/generic/babel/babel.sty Package: babel 2001/03/01 v3.7h The Babel package (/usr/share/texmf/tex/generic/babel/danish.ldf Language: danish 2001/01/30 v1.3n Danish support from the babel system (/usr/share/texmf/tex/generic/babel/babel.def File: babel.def 2001/03/01 v3.7h Babel common definitions \babel@savecnt=\count96 \U@D=\dimen114 ) Package babel Info: Making " an active character on input line 62. )) (/usr/share/texmf/tex/latex/base/graphpap.sty Package: graphpap 1994/08/09 v1.0c Standard LaTeX graphpap package (LL) ) (/usr/share/texmf/tex/latex/hyperref/hyperref.sty Package: hyperref 2003/01/22 v6.73n Hypertext links for LaTeX \@linkdim=\dimen115 \Hy@linkcounter=\count97 \Hy@pagecounter=\count98 (/usr/share/texmf/tex/latex/hyperref/pd1enc.def File: pd1enc.def 2003/01/22 v6.73n Hyperref: PDFDocEncoding definition (HO) ) (/usr/share/texmf/tex/latex/config/hyperref.cfg File: hyperref.cfg 2002/06/06 v1.2 hyperref configuration of TeXLive and teTeX ) Package hyperref Info: Hyper figures OFF on input line 1792. Package hyperref Info: Link nesting OFF on input line 1797. Package hyperref Info: Hyper index ON on input line 1800. Package hyperref Info: Plain pages ON on input line 1805. Package hyperref Info: Backreferencing OFF on input line 1812. Implicit mode ON; LaTeX internals redefined Package hyperref Info: Bookmarks ON on input line 1916. (/usr/share/texmf/tex/latex/html/url.sty Package: url 1999/03/02 ver 1.4 Verb mode for urls, email addresses, and file names ) LaTeX Info: Redefining \url on input line 2055. \Fld@menulength=\count99 \Field@Width=\dimen116 \Fld@charsize=\dimen117 \Choice@toks=\toks19 \Field@toks=\toks20 Package hyperref Info: Hyper figures OFF on input line 2513. Package hyperref Info: Link nesting OFF on input line 2518. Package hyperref Info: Hyper index ON on input line 2521. Package hyperref Info: backreferencing OFF on input line 2528. Package hyperref Info: Link coloring OFF on input line 2533. \c@Item=\count100 \c@Hfootnote=\count101 ) *hyperref using driver hdvipdfm* (/usr/share/texmf/tex/latex/hyperref/hdvipdfm.def File: hdvipdfm.def 2003/01/22 v6.73n Hyperref driver for dvipdfm \pdfm@box=\box54 \Fld@listcount=\count102 \@outlinefile=\write3 ) Package hyperref Info: Option `colorlinks' set `false' on input line 42. \outex=\write4 \toktex=\toks21 \openout4 = `page.otx'. \outest=\write5 \openout5 = `page.tst'. (./page.aux) \openout1 = `page.aux'. LaTeX Font Info: Checking defaults for OML/cmm/m/it on input line 73. LaTeX Font Info: ... okay on input line 73. LaTeX Font Info: Checking defaults for T1/cmr/m/n on input line 73. LaTeX Font Info: ... okay on input line 73. LaTeX Font Info: Checking defaults for OT1/cmr/m/n on input line 73. LaTeX Font Info: ... okay on input line 73. LaTeX Font Info: Checking defaults for OMS/cmsy/m/n on input line 73. LaTeX Font Info: ... okay on input line 73. LaTeX Font Info: Checking defaults for OMX/cmex/m/n on input line 73. LaTeX Font Info: ... okay on input line 73. LaTeX Font Info: Checking defaults for U/cmr/m/n on input line 73. LaTeX Font Info: ... okay on input line 73. LaTeX Font Info: Checking defaults for PD1/pdf/m/n on input line 73. LaTeX Font Info: ... okay on input line 73. Package hyperref Info: Link coloring OFF on input line 73. (/usr/share/texmf/tex/latex/hyperref/nameref.sty Package: nameref 2001/01/27 v2.19 Cross-referencing by name of section \c@section@level=\count103 ) LaTeX Info: Redefining \ref on input line 73. LaTeX Info: Redefining \pageref on input line 73. (./page.out) (./page.out) \openout3 = `page.out'. LaTeX Warning: Command \O invalid in math mode on input line 535. LaTeX Warning: Command \O invalid in math mode on input line 535. [1 ] LaTeX Warning: Command \O invalid in math mode on input line 862. LaTeX Warning: Command \O invalid in math mode on input line 866. Overfull \hbox (19.28514pt too wide) in paragraph at lines 963--978 []$\OT1/cmr/m/n/10 [SystemQ[]TimesCommutativity(R): ^^EFX\OML/cmm/m/it/10 ; \OT 1/cmr/m/n/10 FY: R(FX) \OMS/cmsy/m/n/10 ^^C ^^C\OT1/cmr/m/n/10 R(FY) == R(FY) \ OMS/cmsy/m/n/10 ^^C| [] [2] Overfull \hbox (94.31206pt too wide) in paragraph at lines 1345--1360 []\OT1/cmr/m/n/10 XX ikke 100pro-cent iden-tisk med ori-gi-na-len fra equivalen ce-relations $[SystemQ[]SENC1: ^^EFX\OML/cmm/m/it/10 ;| [] Overfull \hbox (16.36723pt too wide) in paragraph at lines 1362--1377 []\OT1/cmr/m/n/10 XX boer be-vi-ses ud fra num-mer 1 $[SystemQ[]SENC2: ^^EFX\OM L/cmm/m/it/10 ; \OT1/cmr/m/n/10 RX\OML/cmm/m/it/10 ; \OT1/cmr/m/n/10 RY: RX ==| [] Overfull \hbox (1.087pt too wide) in paragraph at lines 1638--1690 []$\OT1/cmr/m/n/10 [(EPob) [] []]$ $[(CRS1ob) [] []]$ $[(F1ob) [] []]$ $[(F2ob) [] []]$ $[(F3ob) []| [] [3] \lgwproofline=\count104 Underfull \hbox (badness 10000) in paragraph at lines 2146--2146 []$[] \OT1/cmr/m/n/10 ([] ((\OMS/cmsy/m/n/10 A ) B\OT1/cmr/m/n/10 ))n)n \OMS/cm sy/m/n/10 ) [] \lgwproofline=\count105 \lgwproofline=\count106 [4] \lgwproofline=\count107 \lgwproofline=\count108 \lgwproofline=\count109 [5] \lgwproofline=\count110 \lgwproofline=\count111 \lgwproofline=\count112 [6] \lgwproofline=\count113 \lgwproofline=\count114 [7] \lgwproofline=\count115 Overfull \hbox (46.84758pt too wide) in paragraph at lines 5184--5215 []$\OT1/cmr/m/n/10 [SystemQ[]InductionAxiom: ^^EV[]\OML/cmm/m/it/10 ; \OMS/cmsy /m/n/10 A\OML/cmm/m/it/10 ; \OMS/cmsy/m/n/10 B\OML/cmm/m/it/10 ; \OMS/cmsy/m/n/ 10 C\OT1/cmr/m/n/10 : \OMS/cmsy/m/n/10 hB[]Aj\OT1/cmr/m/n/10 V[][]0\OMS/cmsy/m/ n/10 i[] [] hC[]Aj\OT1/cmr/m/n/10 V[][](V[] +| [] \lgwproofline=\count116 [8] \lgwproofline=\count117 \lgwproofline=\count118 Overfull \hbox (65.7289pt too wide) in paragraph at lines 6163--6188 []$\OT1/cmr/m/n/10 [SystemQ[]NextXS(UpperBound): ^^E\OMS/cmsy/m/n/10 M\OT1/cmr/ m/n/10 : UB(01\OML/cmm/m/it/10 ==\OT1/cmr/m/n/10 02 \OMS/cmsy/m/n/10 ^^C ^^C\OT 1/cmr/m/n/10 (xs[\OMS/cmsy/m/n/10 M\OT1/cmr/m/n/10 ] + +us[\OMS/cmsy/m/n/10 M\O T1/cmr/m/n/10 ])\OML/cmm/m/it/10 ; \OT1/cmr/m/n/10 SetOfReals) \OMS/cmsy/m/n/10 `| [] Overfull \hbox (99.89561pt too wide) in paragraph at lines 6189--6220 []$\OT1/cmr/m/n/10 [SystemQ[]NextXS(NoUpperBound): ^^E\OMS/cmsy/m/n/10 M\OT1/cm r/m/n/10 : [] (UB(01\OML/cmm/m/it/10 ==\OT1/cmr/m/n/10 02 \OMS/cmsy/m/n/10 ^^C ^^C\OT1/cmr/m/n/10 (xs[\OMS/cmsy/m/n/10 M\OT1/cmr/m/n/10 ] + +us[\OMS/cmsy/m/n/ 10 M\OT1/cmr/m/n/10 ])\OML/cmm/m/it/10 ; \OT1/cmr/m/n/10 SetOfReals))n \OMS/cms y/m/n/10 `| [] Overfull \hbox (65.7289pt too wide) in paragraph at lines 6221--6252 []$\OT1/cmr/m/n/10 [SystemQ[]NextUS(UpperBound): ^^E\OMS/cmsy/m/n/10 M\OT1/cmr/ m/n/10 : UB(01\OML/cmm/m/it/10 ==\OT1/cmr/m/n/10 02 \OMS/cmsy/m/n/10 ^^C ^^C\OT 1/cmr/m/n/10 (xs[\OMS/cmsy/m/n/10 M\OT1/cmr/m/n/10 ] + +us[\OMS/cmsy/m/n/10 M\O T1/cmr/m/n/10 ])\OML/cmm/m/it/10 ; \OT1/cmr/m/n/10 SetOfReals) \OMS/cmsy/m/n/10 `| [] Overfull \hbox (99.89561pt too wide) in paragraph at lines 6253--6278 []$\OT1/cmr/m/n/10 [SystemQ[]NextUS(NoUpperBound): ^^E\OMS/cmsy/m/n/10 M\OT1/cm r/m/n/10 : [] (UB(01\OML/cmm/m/it/10 ==\OT1/cmr/m/n/10 02 \OMS/cmsy/m/n/10 ^^C ^^C\OT1/cmr/m/n/10 (xs[\OMS/cmsy/m/n/10 M\OT1/cmr/m/n/10 ] + +us[\OMS/cmsy/m/n/ 10 M\OT1/cmr/m/n/10 ])\OML/cmm/m/it/10 ; \OT1/cmr/m/n/10 SetOfReals))n \OMS/cms y/m/n/10 `| [] Overfull \hbox (7.404pt too wide) in paragraph at lines 6305--6324 []$\OT1/cmr/m/n/10 [SystemQ[]ExpPositive: ^^E\OMS/cmsy/m/n/10 M\OML/cmm/m/it/10 ; \OMS/cmsy/m/n/10 X\OT1/cmr/m/n/10 : 0 \OML/cmm/m/it/10 < \OMS/cmsy/m/n/10 M ` X\OT1/cmr/m/n/10 (exp)\OMS/cmsy/m/n/10 M \OT1/cmr/m/n/10 = (\OMS/cmsy/m/n/10 X ^^C X\OT1/cmr/m/n/10 (exp)((\OMS/cmsy/m/n/10 M ^^@| [] [9] Overfull \hbox (11.61583pt too wide) in paragraph at lines 6392--6425 []$\OT1/cmr/m/n/10 [SystemQ[]UStelescope(Positive): ^^E\OMS/cmsy/m/n/10 M\OML/c mm/m/it/10 ; \OMS/cmsy/m/n/10 N\OT1/cmr/m/n/10 : 0 \OML/cmm/m/it/10 < \OMS/cmsy /m/n/10 N ` \OT1/cmr/m/n/10 UStelescope(\OMS/cmsy/m/n/10 M\OML/cmm/m/it/10 ; \O MS/cmsy/m/n/10 N\OT1/cmr/m/n/10 ) =| [] Overfull \hbox (19.97961pt too wide) in paragraph at lines 6461--6476 []$\OT1/cmr/m/n/10 [SystemQ[]PlusCommutativity(R): ^^EFX\OML/cmm/m/it/10 ; \OT1 /cmr/m/n/10 FY: R(FX) + +R(FY) == R(FY) +| [] Overfull \hbox (22.9796pt too wide) in paragraph at lines 6480--6501 []$\OT1/cmr/m/n/10 [SystemQ[]PlusAssociativity(R): ^^EFX\OML/cmm/m/it/10 ; \OT1 /cmr/m/n/10 FY\OML/cmm/m/it/10 ; \OT1/cmr/m/n/10 FZ: R(FX) + +R(FY) + +R(FZ) =| [] Overfull \hbox (7.00044pt too wide) in paragraph at lines 6502--6519 []$\OT1/cmr/m/n/10 [SystemQ[]PlusAssociativity(R)XX: ^^EFX\OML/cmm/m/it/10 ; \O T1/cmr/m/n/10 FY\OML/cmm/m/it/10 ; \OT1/cmr/m/n/10 FZ: R(FX +[] FY +[] FZ) ==| [] Overfull \hbox (27.28514pt too wide) in paragraph at lines 6546--6567 []$\OT1/cmr/m/n/10 [SystemQ[]TimesAssociativity(R): ^^EFX\OML/cmm/m/it/10 ; \OT 1/cmr/m/n/10 FY\OML/cmm/m/it/10 ; \OT1/cmr/m/n/10 FZ: R(FX) \OMS/cmsy/m/n/10 ^^ C ^^C\OT1/cmr/m/n/10 R(FY) \OMS/cmsy/m/n/10 ^^C ^^C\OT1/cmr/m/n/10 R(FZ) ==| [] Overfull \hbox (26.35281pt too wide) in paragraph at lines 6584--6606 []$\OT1/cmr/m/n/10 [SystemQ[]lessAddition(R): ^^E\OMS/cmsy/m/n/10 M\OML/cmm/m/i t/10 ; ^^O; \OT1/cmr/m/n/10 FX\OML/cmm/m/it/10 ; \OT1/cmr/m/n/10 FY\OML/cmm/m/i t/10 ; \OT1/cmr/m/n/10 FZ: R(FX) \OML/cmm/m/it/10 << \OT1/cmr/m/n/10 R(FY) \OMS /cmsy/m/n/10 ` \OT1/cmr/m/n/10 R(FX) +| [] Overfull \hbox (50.84055pt too wide) in paragraph at lines 6611--6630 []$\OT1/cmr/m/n/10 [SystemQ[]LeqAntisymmetry(R): ^^EFX\OML/cmm/m/it/10 ; \OT1/c mr/m/n/10 FY: R(FX) \OML/cmm/m/it/10 <<\OT1/cmr/m/n/10 == R(FY) \OMS/cmsy/m/n/1 0 ` \OT1/cmr/m/n/10 R(FY) \OML/cmm/m/it/10 <<\OT1/cmr/m/n/10 ==| [] Overfull \hbox (14.34047pt too wide) in paragraph at lines 6656--6676 []$\OT1/cmr/m/n/10 [SystemQ[]leqAddition(R): ^^EFX\OML/cmm/m/it/10 ; \OT1/cmr/m /n/10 FY\OML/cmm/m/it/10 ; \OT1/cmr/m/n/10 FZ: R(FX) \OML/cmm/m/it/10 <<\OT1/cm r/m/n/10 == R(FY) \OMS/cmsy/m/n/10 ` \OT1/cmr/m/n/10 R(FX) +| [] Overfull \hbox (2.89622pt too wide) in paragraph at lines 6677--6700 []$\OT1/cmr/m/n/10 [SystemQ[]Distribution(R): ^^EFX\OML/cmm/m/it/10 ; \OT1/cmr/ m/n/10 FY\OML/cmm/m/it/10 ; \OT1/cmr/m/n/10 FZ: R(FX) \OMS/cmsy/m/n/10 ^^C ^^C\ OT1/cmr/m/n/10 (R(FY) + +R(FZ)) =| [] Overfull \hbox (80.40984pt too wide) in paragraph at lines 6711--6742 []$\OT1/cmr/m/n/10 [SystemQ[]FromLimit: ^^E\OMS/cmsy/m/n/10 M\OML/cmm/m/it/10 ; \OMS/cmsy/m/n/10 N\OML/cmm/m/it/10 ; \OT1/cmr/m/n/10 FEP\OML/cmm/m/it/10 ; \OT 1/cmr/m/n/10 FX\OML/cmm/m/it/10 ; \OT1/cmr/m/n/10 FYS: Limit(FX\OML/cmm/m/it/10 ; \OT1/cmr/m/n/10 FYS) \OMS/cmsy/m/n/10 ` 8\OT1/cmr/m/n/10 FEP: \OMS/cmsy/m/n/ 10 9M\OT1/cmr/m/n/10 : \OMS/cmsy/m/n/10 8N\OT1/cmr/m/n/10 : (00 \OML/cmm/m/it/1 0 <<| [] Overfull \hbox (17.42374pt too wide) in paragraph at lines 6760--6775 []$\OT1/cmr/m/n/10 [SystemQ[]FromUpperBound: ^^EFX\OML/cmm/m/it/10 ; \OT1/cmr/m /n/10 FY\OML/cmm/m/it/10 ; \OT1/cmr/m/n/10 FXS: UB(FY\OML/cmm/m/it/10 ; \OT1/cm r/m/n/10 FXS) \OMS/cmsy/m/n/10 ` \OT1/cmr/m/n/10 FX [] FXS \OMS/cmsy/m/n/10 `| [] [10] Overfull \hbox (5.41867pt too wide) in paragraph at lines 6866--6882 []$\OT1/cmr/m/n/10 [SystemQ[]FromLeq(Advanced)(N): ^^E\OMS/cmsy/m/n/10 M\OML/cm m/m/it/10 ; \OT1/cmr/m/n/10 M[]\OML/cmm/m/it/10 ; \OMS/cmsy/m/n/10 N\OT1/cmr/m/ n/10 : \OMS/cmsy/m/n/10 M \OML/cmm/m/it/10 <\OT1/cmr/m/n/10 = \OMS/cmsy/m/n/10 N ` 9\OT1/cmr/m/n/10 M[]: (\OMS/cmsy/m/n/10 M \OT1/cmr/m/n/10 +| [] Overfull \hbox (44.59056pt too wide) in paragraph at lines 6907--6926 []$\OT1/cmr/m/n/10 [SystemQ[]ToLeastUpperBound: ^^EFX\OML/cmm/m/it/10 ; \OT1/cm r/m/n/10 FZ\OML/cmm/m/it/10 ; \OT1/cmr/m/n/10 FYS: UB(FX\OML/cmm/m/it/10 ; \OT1 /cmr/m/n/10 FYS) \OMS/cmsy/m/n/10 ` \OT1/cmr/m/n/10 UB(FZ\OML/cmm/m/it/10 ; \OT 1/cmr/m/n/10 FYS) \OMS/cmsy/m/n/10 )| [] Overfull \hbox (55.30276pt too wide) in paragraph at lines 7016--7035 []$\OT1/cmr/m/n/10 [SystemQ[]MemberOfSeries(Imply): ^^E\OMS/cmsy/m/n/10 M\OML/c mm/m/it/10 ; \OT1/cmr/m/n/10 FX\OML/cmm/m/it/10 ; \OT1/cmr/m/n/10 (SY): \OMS/cm sy/m/n/10 M [] \OT1/cmr/m/n/10 N \OMS/cmsy/m/n/10 ) \OT1/cmr/m/n/10 IsSeries(FX \OML/cmm/m/it/10 ; \OT1/cmr/m/n/10 (SY)) \OMS/cmsy/m/n/10 )| [] Overfull \hbox (27.82336pt too wide) in paragraph at lines 7036--7055 []$\OT1/cmr/m/n/10 [SystemQ[]MemberOfSeries: ^^E\OMS/cmsy/m/n/10 M\OML/cmm/m/it /10 ; \OT1/cmr/m/n/10 FX\OML/cmm/m/it/10 ; \OT1/cmr/m/n/10 (SY): \OMS/cmsy/m/n/ 10 M [] \OT1/cmr/m/n/10 N \OMS/cmsy/m/n/10 ` \OT1/cmr/m/n/10 IsSeries(FX\OML/cm m/m/it/10 ; \OT1/cmr/m/n/10 (SY)) \OMS/cmsy/m/n/10 `| [] \lgwproofline=\count119 Underfull \hbox (badness 10000) in paragraph at lines 7119--7119 []$\OMS/cmsy/m/n/10 M [] \OT1/cmr/m/n/10 N \OMS/cmsy/m/n/10 ) [] Underfull \hbox (badness 10000) in paragraph at lines 7119--7119 \OT1/cmr/m/n/10 IsSeries(FX\OML/cmm/m/it/10 ; \OT1/cmr/m/n/10 (SY)) \OMS/cmsy/m /n/10 ) [] Overfull \hbox (102.49028pt too wide) in paragraph at lines 7209--7228 []$\OT1/cmr/m/n/10 [SystemQ[]memberOfSeries(Type): ^^E\OMS/cmsy/m/n/10 M\OML/cm m/m/it/10 ; \OT1/cmr/m/n/10 FX\OML/cmm/m/it/10 ; \OT1/cmr/m/n/10 (SY): TypeNat( \OMS/cmsy/m/n/10 M\OT1/cmr/m/n/10 ) [] TypeSeries(FX\OML/cmm/m/it/10 ; \OT1/cmr /m/n/10 (SY)) []| [] \lgwproofline=\count120 [11] Overfull \hbox (32.03493pt too wide) in paragraph at lines 7421--7434 []$\OT1/cmr/m/n/10 [SystemQ[]SeriesType: ^^EFX\OML/cmm/m/it/10 ; \OT1/cmr/m/n/1 0 (SY): TypeSeries(FX\OML/cmm/m/it/10 ; \OT1/cmr/m/n/10 (SY)) [] IsSeries(FX\OM L/cmm/m/it/10 ; \OT1/cmr/m/n/10 (SY))]$ | [] Overfull \hbox (65.94467pt too wide) in paragraph at lines 7456--7471 []$\OT1/cmr/m/n/10 [IsRelation((sx)\OML/cmm/m/it/10 ; \OT1/cmr/m/n/10 (sy)\OML/ cmm/m/it/10 ; \OT1/cmr/m/n/10 (sz)) [] \OMS/cmsy/m/n/10 8\OT1/cmr/m/n/10 (R1ob) : ((R1ob) [] (sx) \OMS/cmsy/m/n/10 ) \OT1/cmr/m/n/10 IsOrderedPair((R1ob)\OML/c mm/m/it/10 ; \OT1/cmr/m/n/10 (sy)\OML/cmm/m/it/10 ; \OT1/cmr/m/n/10 (sz)))]$ | [] Overfull \hbox (33.27824pt too wide) in paragraph at lines 7472--7500 \OT1/cmr/m/n/10 (F3ob)\OML/cmm/m/it/10 ; \OT1/cmr/m/n/10 (F4ob): (OrderedPair(( F1ob)\OML/cmm/m/it/10 ; \OT1/cmr/m/n/10 (F2ob)) [] (sx) \OMS/cmsy/m/n/10 ) \OT1 /cmr/m/n/10 OrderedPair((F3ob)\OML/cmm/m/it/10 ; \OT1/cmr/m/n/10 (F4ob)) []| [] Overfull \hbox (21.01521pt too wide) in paragraph at lines 7748--7767 []$\OT1/cmr/m/n/10 [SystemQ[]ReciprocalF: ^^E\OMS/cmsy/m/n/10 M\OML/cmm/m/it/10 ; \OT1/cmr/m/n/10 FX: 1f\OML/cmm/m/it/10 =\OT1/cmr/m/n/10 FX[\OMS/cmsy/m/n/10 M\OT1/cmr/m/n/10 ] = if(FX[\OMS/cmsy/m/n/10 M\OT1/cmr/m/n/10 ] = 0\OML/cmm/m/it /10 ; \OT1/cmr/m/n/10 0\OML/cmm/m/it/10 ; \OT1/cmr/m/n/10 recFX[\OMS/cmsy/m/n/1 0 M\OT1/cmr/m/n/10 ])]$ | [] Overfull \hbox (30.47269pt too wide) in paragraph at lines 7771--7796 []$\OT1/cmr/m/n/10 [0f [] constantRationalSeries(0)]$ $[[] [] constantRationalS eries(1)]$ $[cartProd((sx)) []| [] Overfull \hbox (93.01422pt too wide) in paragraph at lines 7797--7812 []$\OT1/cmr/m/n/10 [constantRationalSeries(\OT1/cmss/m/n/10 x\OT1/cmr/m/n/10 ) [] \OMS/cmsy/m/n/10 f\OT1/cmr/m/n/10 ph [] cartProd(N) \OMS/cmsy/m/n/10 j 9\OT1 /cmr/m/n/10 (CRS1ob): ph[] = OrderedPair((CRS1ob)\OML/cmm/m/it/10 ; \OT1/cmss/m /n/10 x\OT1/cmr/m/n/10 )\OMS/cmsy/m/n/10 g\OT1/cmr/m/n/10 ]$ | [] Overfull \hbox (25.48593pt too wide) in paragraph at lines 7874--7898 []$\OT1/cmr/m/n/10 [SystemQ[]SameSeries: ^^E\OMS/cmsy/m/n/10 M\OML/cmm/m/it/10 ; \OMS/cmsy/m/n/10 N\OML/cmm/m/it/10 ; \OT1/cmr/m/n/10 FX\OML/cmm/m/it/10 ; \OT 1/cmr/m/n/10 (SY): TypeNat(\OMS/cmsy/m/n/10 M\OT1/cmr/m/n/10 ) [] TypeNat(\OMS/ cmsy/m/n/10 N\OT1/cmr/m/n/10 ) []| [] \lgwproofline=\count121 [12] Overfull \hbox (118.38916pt too wide) in paragraph at lines 8119--8145 []$\OT1/cmr/m/n/10 [SystemQ[]UniqueMember(Type): ^^EFX\OML/cmm/m/it/10 ; \OT1/c mr/m/n/10 (SX)\OML/cmm/m/it/10 ; \OT1/cmr/m/n/10 (SX1)\OML/cmm/m/it/10 ; \OT1/c mr/m/n/10 (SY)\OML/cmm/m/it/10 ; \OT1/cmr/m/n/10 (SY1)\OML/cmm/m/it/10 ; \OT1/c mr/m/n/10 (SZ): TypeSeries(FX\OML/cmm/m/it/10 ; \OT1/cmr/m/n/10 (SZ)) []| [] \lgwproofline=\count122 Underfull \hbox (badness 10000) in paragraph at lines 8168--8168 []$\OT1/cmr/m/n/10 FX\OML/cmm/m/it/10 ; \OT1/cmr/m/n/10 (SX)\OML/cmm/m/it/10 ; \OT1/cmr/m/n/10 (SX1)\OML/cmm/m/it/10 ; \OT1/cmr/m/n/10 (SY)\OML/cmm/m/it/10 ; \OT1/cmr/m/n/10 (SY1)\OML/cmm/m/it/10 ; [] Underfull \hbox (badness 10000) in paragraph at lines 8192--8192 []$\OT1/cmr/m/n/10 OrderedPair((SX)\OML/cmm/m/it/10 ; \OT1/cmr/m/n/10 (SX1)) [] [] Underfull \hbox (badness 10000) in paragraph at lines 8204--8204 []$\OT1/cmr/m/n/10 OrderedPair((SY)\OML/cmm/m/it/10 ; \OT1/cmr/m/n/10 (SY1)) [] [] Overfull \hbox (71.5002pt too wide) in paragraph at lines 8327--8353 []$\OT1/cmr/m/n/10 [SystemQ[]UniqueMember: ^^EFX\OML/cmm/m/it/10 ; \OT1/cmr/m/n /10 (SX)\OML/cmm/m/it/10 ; \OT1/cmr/m/n/10 (SX1)\OML/cmm/m/it/10 ; \OT1/cmr/m/n /10 (SY)\OML/cmm/m/it/10 ; \OT1/cmr/m/n/10 (SY1)\OML/cmm/m/it/10 ; \OT1/cmr/m/n /10 (SZ): IsSeries(FX\OML/cmm/m/it/10 ; \OT1/cmr/m/n/10 (SZ)) \OMS/cmsy/m/n/10 `| [] \lgwproofline=\count123 Underfull \hbox (badness 10000) in paragraph at lines 8376--8376 []$\OT1/cmr/m/n/10 FX\OML/cmm/m/it/10 ; \OT1/cmr/m/n/10 (SX)\OML/cmm/m/it/10 ; \OT1/cmr/m/n/10 (SX1)\OML/cmm/m/it/10 ; \OT1/cmr/m/n/10 (SY)\OML/cmm/m/it/10 ; \OT1/cmr/m/n/10 (SY1)\OML/cmm/m/it/10 ; [] Underfull \hbox (badness 10000) in paragraph at lines 8399--8399 []$\OT1/cmr/m/n/10 OrderedPair((SX)\OML/cmm/m/it/10 ; \OT1/cmr/m/n/10 (SX1)) [] [] Underfull \hbox (badness 10000) in paragraph at lines 8411--8411 []$\OT1/cmr/m/n/10 OrderedPair((SY)\OML/cmm/m/it/10 ; \OT1/cmr/m/n/10 (SY1)) [] [] Underfull \hbox (badness 10000) in paragraph at lines 8454--8454 []$\OT1/cmr/m/n/10 isFunction(FX\OML/cmm/m/it/10 ; \OT1/cmr/m/n/10 N\OML/cmm/m/ it/10 ; \OT1/cmr/m/n/10 (SZ)) [] [] Underfull \hbox (badness 6675) in paragraph at lines 8454--8454 \OMS/cmsy/m/n/10 8\OT1/cmr/m/n/10 (S1ob): ((S1ob) [] N \OMS/cmsy/m/n/10 ) [] Overfull \hbox (34.16907pt too wide) in paragraph at lines 8454--8454 \OMS/cmsy/m/n/10 9\OT1/cmr/m/n/10 (S2ob): OrderedPair((S1ob)\OML/cmm/m/it/10 ; \OT1/cmr/m/n/10 (S2ob)) []| [] Underfull \hbox (badness 10000) in paragraph at lines 8516--8516 []$\OT1/cmr/m/n/10 IsRelation(FX\OML/cmm/m/it/10 ; \OT1/cmr/m/n/10 N\OML/cmm/m/ it/10 ; \OT1/cmr/m/n/10 (SZ)) [] [] Underfull \hbox (badness 10000) in paragraph at lines 8516--8516 \OMS/cmsy/m/n/10 8\OT1/cmr/m/n/10 (F1ob)\OML/cmm/m/it/10 ; \OT1/cmr/m/n/10 (F2o b)\OML/cmm/m/it/10 ; \OT1/cmr/m/n/10 (F3ob)\OML/cmm/m/it/10 ; [] Overfull \hbox (35.41908pt too wide) in paragraph at lines 8516--8516 \OT1/cmr/m/n/10 (F4ob): (OrderedPair((F1ob)\OML/cmm/m/it/10 ; \OT1/cmr/m/n/10 ( F2ob)) []| [] Underfull \hbox (badness 10000) in paragraph at lines 8516--8516 \OT1/cmr/m/n/10 FX \OMS/cmsy/m/n/10 ) [] Underfull \hbox (badness 10000) in paragraph at lines 8552--8552 []$\OMS/cmsy/m/n/10 8\OT1/cmr/m/n/10 (F1ob)\OML/cmm/m/it/10 ; \OT1/cmr/m/n/10 ( F2ob)\OML/cmm/m/it/10 ; \OT1/cmr/m/n/10 (F3ob)\OML/cmm/m/it/10 ; [] Overfull \hbox (35.41908pt too wide) in paragraph at lines 8552--8552 \OT1/cmr/m/n/10 (F4ob): (OrderedPair((F1ob)\OML/cmm/m/it/10 ; \OT1/cmr/m/n/10 ( F2ob)) []| [] Underfull \hbox (badness 10000) in paragraph at lines 8552--8552 \OT1/cmr/m/n/10 FX \OMS/cmsy/m/n/10 ) [] Underfull \hbox (badness 10000) in paragraph at lines 8588--8588 []$\OMS/cmsy/m/n/10 8\OT1/cmr/m/n/10 (F2ob)\OML/cmm/m/it/10 ; \OT1/cmr/m/n/10 ( F3ob)\OML/cmm/m/it/10 ; [] Overfull \hbox (26.39127pt too wide) in paragraph at lines 8588--8588 \OT1/cmr/m/n/10 (F4ob): (OrderedPair((SX)\OML/cmm/m/it/10 ; \OT1/cmr/m/n/10 (F2 ob)) []| [] Underfull \hbox (badness 10000) in paragraph at lines 8588--8588 \OT1/cmr/m/n/10 FX \OMS/cmsy/m/n/10 ) [] Underfull \hbox (badness 1173) in paragraph at lines 8588--8588 \OT1/cmr/m/n/10 FX \OMS/cmsy/m/n/10 ) \OT1/cmr/m/n/10 (SX) = (F3ob) \OMS/cmsy/m /n/10 ) [] Underfull \hbox (badness 10000) in paragraph at lines 8623--8623 []$\OMS/cmsy/m/n/10 8\OT1/cmr/m/n/10 (F3ob)\OML/cmm/m/it/10 ; [] Overfull \hbox (22.36346pt too wide) in paragraph at lines 8623--8623 \OT1/cmr/m/n/10 (F4ob): (OrderedPair((SX)\OML/cmm/m/it/10 ; \OT1/cmr/m/n/10 (SX 1)) []| [] Underfull \hbox (badness 10000) in paragraph at lines 8623--8623 \OT1/cmr/m/n/10 FX \OMS/cmsy/m/n/10 ) [] Underfull \hbox (badness 1173) in paragraph at lines 8623--8623 \OT1/cmr/m/n/10 FX \OMS/cmsy/m/n/10 ) \OT1/cmr/m/n/10 (SX) = (F3ob) \OMS/cmsy/m /n/10 ) [] Overfull \hbox (27.91904pt too wide) in paragraph at lines 8657--8657 []$\OMS/cmsy/m/n/10 8\OT1/cmr/m/n/10 (F4ob): (OrderedPair((SX)\OML/cmm/m/it/10 ; \OT1/cmr/m/n/10 (SX1)) []| [] Underfull \hbox (badness 10000) in paragraph at lines 8657--8657 \OT1/cmr/m/n/10 FX \OMS/cmsy/m/n/10 ) [] Underfull \hbox (badness 7667) in paragraph at lines 8657--8657 \OT1/cmr/m/n/10 OrderedPair((SY)\OML/cmm/m/it/10 ; \OT1/cmr/m/n/10 (F4ob)) [] [] Underfull \hbox (badness 10000) in paragraph at lines 8688--8688 []$\OT1/cmr/m/n/10 OrderedPair((SX)\OML/cmm/m/it/10 ; \OT1/cmr/m/n/10 (SX1)) [] [] Underfull \hbox (badness 10000) in paragraph at lines 8688--8688 \OT1/cmr/m/n/10 FX \OMS/cmsy/m/n/10 ) [] Underfull \hbox (badness 10000) in paragraph at lines 8688--8688 \OT1/cmr/m/n/10 OrderedPair((SY)\OML/cmm/m/it/10 ; \OT1/cmr/m/n/10 (SY1)) [] [] [13] \lgwproofline=\count124 Overfull \hbox (11.8958pt too wide) in paragraph at lines 8948--8962 []$\OT1/cmr/m/n/10 [SystemQ[]SameMember: ^^E(SX)\OML/cmm/m/it/10 ; \OT1/cmr/m/n /10 (SY)\OML/cmm/m/it/10 ; \OT1/cmr/m/n/10 (SZ): (SX) = (SY) \OMS/cmsy/m/n/10 ` \OT1/cmr/m/n/10 (SX) [] (SZ) \OMS/cmsy/m/n/10 `| [] Overfull \hbox (30.67383pt too wide) in paragraph at lines 8963--8978 []$\OT1/cmr/m/n/10 [SystemQ[]ToSetEquality: ^^E(SX)\OML/cmm/m/it/10 ; \OT1/cmr/ m/n/10 FY: IsSubset(FX\OML/cmm/m/it/10 ; \OT1/cmr/m/n/10 FY) \OMS/cmsy/m/n/10 ` \OT1/cmr/m/n/10 IsSubset(FY\OML/cmm/m/it/10 ; \OT1/cmr/m/n/10 FX) \OMS/cmsy/m/ n/10 `| [] Overfull \hbox (5.92372pt too wide) in paragraph at lines 8992--9011 []$\OT1/cmr/m/n/10 [SystemQ[]SamePair: ^^E(SX)\OML/cmm/m/it/10 ; \OT1/cmr/m/n/1 0 (SX1)\OML/cmm/m/it/10 ; \OT1/cmr/m/n/10 (SY)\OML/cmm/m/it/10 ; \OT1/cmr/m/n/1 0 (SY1): (SX) = (SX1) \OMS/cmsy/m/n/10 ` \OT1/cmr/m/n/10 (SY) =| [] Overfull \hbox (12.53485pt too wide) in paragraph at lines 9021--9034 []$\OT1/cmr/m/n/10 [SystemQ[]SameSingleton: ^^E(SX)\OML/cmm/m/it/10 ; \OT1/cmr/ m/n/10 (SY): (SX) = (SY) \OMS/cmsy/m/n/10 ` \OT1/cmr/m/n/10 (s(SX)) = (s(SY))]$ | [] [14] Overfull \hbox (55.7852pt too wide) in paragraph at lines 9073--9089 []$\OT1/cmr/m/n/10 [SystemQ[]FromCartProd(1): ^^E(SX)\OML/cmm/m/it/10 ; \OT1/cm r/m/n/10 (SX1)\OML/cmm/m/it/10 ; \OT1/cmr/m/n/10 (SY)\OML/cmm/m/it/10 ; \OT1/cm r/m/n/10 (SY1): OrderedPair((SX)\OML/cmm/m/it/10 ; \OT1/cmr/m/n/10 (SY)) []| [] Overfull \hbox (78.17413pt too wide) in paragraph at lines 9090--9107 []$\OT1/cmr/m/n/10 [SystemQ[][]: ^^E(SX)\OML/cmm/m/it/10 ; \OT1/cmr/m/n/10 (SX1 )\OML/cmm/m/it/10 ; \OT1/cmr/m/n/10 (SY)\OML/cmm/m/it/10 ; \OT1/cmr/m/n/10 (SY1 ): OrderedPair((SX)\OML/cmm/m/it/10 ; \OT1/cmr/m/n/10 (SY)) []| [] Overfull \hbox (18.03485pt too wide) in paragraph at lines 9148--9164 []$\OT1/cmr/m/n/10 [SystemQ[]Pair2Formula: ^^E(SX)\OML/cmm/m/it/10 ; \OT1/cmr/m /n/10 (SY)\OML/cmm/m/it/10 ; \OT1/cmr/m/n/10 (SZ): (SX) [] (p(SY)\OML/cmm/m/it/ 10 ; \OT1/cmr/m/n/10 (SZ)) \OMS/cmsy/m/n/10 ` \OT1/cmr/m/n/10 (SX) =| [] Overfull \hbox (19.25711pt too wide) in paragraph at lines 9198--9215 []$\OT1/cmr/m/n/10 [SystemQ[]Formula2Union: ^^E(SX)\OML/cmm/m/it/10 ; \OT1/cmr/ m/n/10 (SY)\OML/cmm/m/it/10 ; \OT1/cmr/m/n/10 (SZ): \OMS/cmsy/m/n/10 9\OT1/cmr/ m/n/10 (SY): (SX) [] (SY) [] (SY) []| [] Overfull \hbox (0.64604pt too wide) in paragraph at lines 9216--9229 []$\OT1/cmr/m/n/10 [SystemQ[]Formula2Power: ^^E(SX)\OML/cmm/m/it/10 ; \OT1/cmr/ m/n/10 (SY): IsSubset((SX)\OML/cmm/m/it/10 ; \OT1/cmr/m/n/10 (SY)) \OMS/cmsy/m/ n/10 ` \OT1/cmr/m/n/10 (SX) []| [] Overfull \hbox (63.74419pt too wide) in paragraph at lines 9243--9271 []$\OT1/cmr/m/n/10 [1f\OML/cmm/m/it/10 =\OT1/cmr/m/n/10 (fx) [] \OMS/cmsy/m/n/1 0 f\OT1/cmr/m/n/10 ph [] cartProd(N) \OMS/cmsy/m/n/10 j 9M\OT1/cmr/m/n/10 : ((f x)[\OMS/cmsy/m/n/10 M\OT1/cmr/m/n/10 ] \OMS/cmsy/m/n/10 6\OT1/cmr/m/n/10 = 0 [] ph[] = OrderedPair(\OMS/cmsy/m/n/10 M\OML/cmm/m/it/10 ; \OT1/cmr/m/n/10 rec(fx )[\OMS/cmsy/m/n/10 M\OT1/cmr/m/n/10 ])) []| [] \lgwproofline=\count125 Overfull \hbox (5.33566pt too wide) in paragraph at lines 9423--9423 [][]$\OT1/cmr/m/n/10 QisClosed(Reciprocal)(Imply)[] \OMS/cmsy/m/n/10 ^^] | [] [15] \lgwproofline=\count126 Overfull \hbox (48.45262pt too wide) in paragraph at lines 9796--9833 []$\OT1/cmr/m/n/10 [ExpandList(\OT1/cmss/m/n/10 t\OML/cmm/m/it/10 ; \OT1/cmss/m /n/10 s\OML/cmm/m/it/10 ; \OT1/cmss/m/n/10 c\OT1/cmr/m/n/10 ) [] \OT1/cmss/m/n/ 10 t\OT1/cmr/m/n/10 !\OT1/cmss/m/n/10 s\OT1/cmr/m/n/10 !\OT1/cmss/m/n/10 c\OT1/ cmr/m/n/10 ![] \OT1/cmss/m/n/10 t[][] [] T [] \OT1/cmr/m/n/10 StateExpand(\OT1/ cmss/m/n/10 t[][]\OML/cmm/m/it/10 ; \OT1/cmss/m/n/10 s\OML/cmm/m/it/10 ; \OT1/c mss/m/n/10 c\OT1/cmr/m/n/10 ) [] ExpandList(\OT1/cmss/m/n/10 t[][]\OML/cmm/m/it /10 ; \OT1/cmss/m/n/10 s\OML/cmm/m/it/10 ; \OT1/cmss/m/n/10 c\OT1/cmr/m/n/10 )] $ | [] Overfull \hbox (38.42001pt too wide) in paragraph at lines 9867--9905 []$\OT1/cmr/m/n/10 [\OMS/cmsy/m/n/10 ^^C ^^C \OT1/cmr/m/n/10 Macro(\OT1/cmss/m/ n/10 t\OT1/cmr/m/n/10 ) [] [](\OT1/cmss/m/n/10 t\OML/cmm/m/it/10 ; \OMS/cmsy/m/ n/10 d\OT1/cmr/m/n/10 R(\OT1/cmss/m/n/10 x \OMS/cmsy/m/n/10 ^^C[] \OT1/cmss/m/n /10 y\OT1/cmr/m/n/10 )\OMS/cmsy/m/n/10 e\OML/cmm/m/it/10 ; \OT1/cmr/m/n/10 (\OM S/cmsy/m/n/10 d\OT1/cmss/m/n/10 x\OMS/cmsy/m/n/10 e [] \OT1/cmr/m/n/10 extractS eries(\OT1/cmss/m/n/10 t[][]\OT1/cmr/m/n/10 )) [] (\OMS/cmsy/m/n/10 d\OT1/cmss/ m/n/10 y\OMS/cmsy/m/n/10 e [] \OT1/cmr/m/n/10 extractSeries(\OT1/cmss/m/n/10 t[ ][]\OT1/cmr/m/n/10 )) []| [] Overfull \hbox (46.75337pt too wide) in paragraph at lines 9939--9977 []$\OT1/cmr/m/n/10 [+ + Macro(\OT1/cmss/m/n/10 t\OT1/cmr/m/n/10 ) [] [](\OT1/cm ss/m/n/10 t\OML/cmm/m/it/10 ; \OMS/cmsy/m/n/10 d\OT1/cmr/m/n/10 R(\OT1/cmss/m/n /10 x \OT1/cmr/m/n/10 +[] \OT1/cmss/m/n/10 y\OT1/cmr/m/n/10 )\OMS/cmsy/m/n/10 e \OML/cmm/m/it/10 ; \OT1/cmr/m/n/10 (\OMS/cmsy/m/n/10 d\OT1/cmss/m/n/10 x\OMS/cm sy/m/n/10 e [] \OT1/cmr/m/n/10 extractSeries(\OT1/cmss/m/n/10 t[][]\OT1/cmr/m/n /10 )) [] (\OMS/cmsy/m/n/10 d\OT1/cmss/m/n/10 y\OMS/cmsy/m/n/10 e [] \OT1/cmr/m /n/10 extractSeries(\OT1/cmss/m/n/10 t[][]\OT1/cmr/m/n/10 )) []| [] Overfull \hbox (39.94759pt too wide) in paragraph at lines 10072--10109 []$\OT1/cmr/m/n/10 [\OML/cmm/m/it/10 << \OT1/cmr/m/n/10 Macro(\OT1/cmss/m/n/10 t\OT1/cmr/m/n/10 ) [] [](\OT1/cmss/m/n/10 t\OML/cmm/m/it/10 ; \OMS/cmsy/m/n/10 d\OT1/cmss/m/n/10 x \OML/cmm/m/it/10 <[] \OT1/cmss/m/n/10 y\OMS/cmsy/m/n/10 e\O ML/cmm/m/it/10 ; \OT1/cmr/m/n/10 (\OMS/cmsy/m/n/10 d\OT1/cmss/m/n/10 x\OMS/cmsy /m/n/10 e [] \OT1/cmr/m/n/10 extractSeries(\OT1/cmss/m/n/10 t[][]\OT1/cmr/m/n/1 0 )) [] (\OMS/cmsy/m/n/10 d\OT1/cmss/m/n/10 y\OMS/cmsy/m/n/10 e [] \OT1/cmr/m/n /10 extractSeries(\OT1/cmss/m/n/10 t[][]\OT1/cmr/m/n/10 )) []| [] Overfull \hbox (20.22223pt too wide) in paragraph at lines 10142--10158 []$\OT1/cmr/m/n/10 [SystemQ[][]: ^^EFX\OML/cmm/m/it/10 ; \OT1/cmr/m/n/10 FY: R( FX) = R(FY) \OMS/cmsy/m/n/10 ` \OT1/cmr/m/n/10 R(FX) \OML/cmm/m/it/10 <<\OT1/cm r/m/n/10 ==| [] \lgwproofline=\count127 [16] Overfull \hbox (4.63885pt too wide) in paragraph at lines 10294--10309 []$\OT1/cmr/m/n/10 [SystemQ[]LessLeq(R): ^^EFX\OML/cmm/m/it/10 ; \OT1/cmr/m/n/1 0 FY: R(FX) \OML/cmm/m/it/10 << \OT1/cmr/m/n/10 R(FY) \OMS/cmsy/m/n/10 ` \OT1/c mr/m/n/10 R(FX) \OML/cmm/m/it/10 <<\OT1/cmr/m/n/10 ==| [] \lgwproofline=\count128 \lgwproofline=\count129 \lgwproofline=\count130 \lgwproofline=\count131 \lgwproofline=\count132 [17] \lgwproofline=\count133 \lgwproofline=\count134 \lgwproofline=\count135 \lgwproofline=\count136 [18] \lgwproofline=\count137 \lgwproofline=\count138 \lgwproofline=\count139 \lgwproofline=\count140 \lgwproofline=\count141 [19] \lgwproofline=\count142 \lgwproofline=\count143 \lgwproofline=\count144 \lgwproofline=\count145 [20] \lgwproofline=\count146 \lgwproofline=\count147 \lgwproofline=\count148 \lgwproofline=\count149 \lgwproofline=\count150 [21] \lgwproofline=\count151 \lgwproofline=\count152 LaTeX Warning: Command \O invalid in math mode on input line 18111. LaTeX Warning: Command \O invalid in math mode on input line 18129. LaTeX Warning: Command \O invalid in math mode on input line 18239. LaTeX Warning: Command \O invalid in math mode on input line 18241. LaTeX Warning: Command \O invalid in math mode on input line 18243. LaTeX Warning: Command \O invalid in math mode on input line 18245. LaTeX Warning: Command \O invalid in math mode on input line 18247. LaTeX Warning: Command \O invalid in math mode on input line 18287. LaTeX Warning: Command \O invalid in math mode on input line 18289. [22] [23] [24] [25] [26] [27] LaTeX Warning: Command \O invalid in math mode on input line 21742. LaTeX Warning: Command \O invalid in math mode on input line 21826. LaTeX Warning: Command \O invalid in math mode on input line 22408. LaTeX Warning: Command \O invalid in math mode on input line 22420. LaTeX Warning: Command \O invalid in math mode on input line 22431. LaTeX Warning: Command \O invalid in math mode on input line 22442. LaTeX Warning: Command \O invalid in math mode on input line 22453. LaTeX Warning: Command \O invalid in math mode on input line 22661. LaTeX Warning: Command \O invalid in math mode on input line 22673. [28] [29] [30] [31] [32] [33] [34] [35] [36] [37] [38] [39] [40] [41] [42] [43] [44] [45] [46] [47] LaTeX Warning: Command \O invalid in math mode on input line 27615. LaTeX Warning: Command \O invalid in math mode on input line 27678. [48] [49] LaTeX Warning: Command \O invalid in math mode on input line 28052. LaTeX Warning: Command \O invalid in math mode on input line 28062. LaTeX Warning: Command \O invalid in math mode on input line 28072. LaTeX Warning: Command \O invalid in math mode on input line 28082. LaTeX Warning: Command \O invalid in math mode on input line 28092. [50] LaTeX Warning: Command \O invalid in math mode on input line 28264. LaTeX Warning: Command \O invalid in math mode on input line 28274. [51] [52] [53] [54] [55] [56] [57] [58] [59] [60] [61] [62] [63] [64] [65] [66] [67] [68] [69] [70] (./page.aux) ) Here is how much of TeX's memory you used: 2713 strings out of 95835 36067 string characters out of 1195527 218187 words of memory out of 1000001 5612 multiletter control sequences out of 10000+50000 7607 words of font info for 29 fonts, out of 500000 for 1000 28 hyphenation exceptions out of 1000 25i,9n,36p,203b,275s stack positions out of 1500i,500n,5000p,200000b,5000s Output written on page.dvi (70 pages, 228624 bytes).