aboutsummaryrefslogtreecommitdiff
path: root/ic-reals-6.3/doc/manual/manual.log
diff options
context:
space:
mode:
Diffstat (limited to 'ic-reals-6.3/doc/manual/manual.log')
-rw-r--r--ic-reals-6.3/doc/manual/manual.log324
1 files changed, 324 insertions, 0 deletions
diff --git a/ic-reals-6.3/doc/manual/manual.log b/ic-reals-6.3/doc/manual/manual.log
new file mode 100644
index 0000000..40fe007
--- /dev/null
+++ b/ic-reals-6.3/doc/manual/manual.log
@@ -0,0 +1,324 @@
+This is pdfTeX, Version 3.141592653-2.6-1.40.25 (TeX Live 2023/Parabola GNU/Linux-libre) (preloaded format=pdflatex 2023.10.5) 11 NOV 2023 09:14
+entering extended mode
+ \write18 enabled.
+ file:line:error style messages enabled.
+ %&-line parsing enabled.
+**manual.tex
+(./manual.tex
+LaTeX2e <2022-11-01> patch level 1
+L3 programming layer <2023-02-22>
+(/usr/share/texmf-dist/tex/latex/base/article.cls
+Document Class: article 2022/07/02 v1.4n Standard LaTeX document class
+(/usr/share/texmf-dist/tex/latex/base/size12.clo
+File: size12.clo 2022/07/02 v1.4n Standard LaTeX file (size option)
+)
+\c@part=\count185
+\c@section=\count186
+\c@subsection=\count187
+\c@subsubsection=\count188
+\c@paragraph=\count189
+\c@subparagraph=\count190
+\c@figure=\count191
+\c@table=\count192
+\abovecaptionskip=\skip48
+\belowcaptionskip=\skip49
+\bibindent=\dimen140
+)
+(/usr/share/texmf-dist/tex/latex/amsmath/amsmath.sty
+Package: amsmath 2022/04/08 v2.17n AMS math features
+\@mathmargin=\skip50
+
+For additional information on amsmath, use the `?' option.
+(/usr/share/texmf-dist/tex/latex/amsmath/amstext.sty
+Package: amstext 2021/08/26 v2.01 AMS text
+
+(/usr/share/texmf-dist/tex/latex/amsmath/amsgen.sty
+File: amsgen.sty 1999/11/30 v2.0 generic functions
+\@emptytoks=\toks16
+\ex@=\dimen141
+))
+(/usr/share/texmf-dist/tex/latex/amsmath/amsbsy.sty
+Package: amsbsy 1999/11/29 v1.2d Bold Symbols
+\pmbraise@=\dimen142
+)
+(/usr/share/texmf-dist/tex/latex/amsmath/amsopn.sty
+Package: amsopn 2022/04/08 v2.04 operator names
+)
+\inf@bad=\count193
+LaTeX Info: Redefining \frac on input line 234.
+\uproot@=\count194
+\leftroot@=\count195
+LaTeX Info: Redefining \overline on input line 399.
+LaTeX Info: Redefining \colon on input line 410.
+\classnum@=\count196
+\DOTSCASE@=\count197
+LaTeX Info: Redefining \ldots on input line 496.
+LaTeX Info: Redefining \dots on input line 499.
+LaTeX Info: Redefining \cdots on input line 620.
+\Mathstrutbox@=\box51
+\strutbox@=\box52
+LaTeX Info: Redefining \big on input line 722.
+LaTeX Info: Redefining \Big on input line 723.
+LaTeX Info: Redefining \bigg on input line 724.
+LaTeX Info: Redefining \Bigg on input line 725.
+\big@size=\dimen143
+LaTeX Font Info: Redeclaring font encoding OML on input line 743.
+LaTeX Font Info: Redeclaring font encoding OMS on input line 744.
+\macc@depth=\count198
+LaTeX Info: Redefining \bmod on input line 905.
+LaTeX Info: Redefining \pmod on input line 910.
+LaTeX Info: Redefining \smash on input line 940.
+LaTeX Info: Redefining \relbar on input line 970.
+LaTeX Info: Redefining \Relbar on input line 971.
+\c@MaxMatrixCols=\count199
+\dotsspace@=\muskip16
+\c@parentequation=\count266
+\dspbrk@lvl=\count267
+\tag@help=\toks17
+\row@=\count268
+\column@=\count269
+\maxfields@=\count270
+\andhelp@=\toks18
+\eqnshift@=\dimen144
+\alignsep@=\dimen145
+\tagshift@=\dimen146
+\tagwidth@=\dimen147
+\totwidth@=\dimen148
+\lineht@=\dimen149
+\@envbody=\toks19
+\multlinegap=\skip51
+\multlinetaggap=\skip52
+\mathdisplay@stack=\toks20
+LaTeX Info: Redefining \[ on input line 2953.
+LaTeX Info: Redefining \] on input line 2954.
+)
+(/usr/share/texmf-dist/tex/latex/amsfonts/amsfonts.sty
+Package: amsfonts 2013/01/14 v3.01 Basic AMSFonts support
+\symAMSa=\mathgroup4
+\symAMSb=\mathgroup5
+LaTeX Font Info: Redeclaring math symbol \hbar on input line 98.
+LaTeX Font Info: Overwriting math alphabet `\mathfrak' in version `bold'
+(Font) U/euf/m/n --> U/euf/b/n on input line 106.
+)
+(/usr/share/texmf-dist/tex/latex/graphics/graphicx.sty
+Package: graphicx 2021/09/16 v1.2d Enhanced LaTeX Graphics (DPC,SPQR)
+
+(/usr/share/texmf-dist/tex/latex/graphics/keyval.sty
+Package: keyval 2022/05/29 v1.15 key=value parser (DPC)
+\KV@toks@=\toks21
+)
+(/usr/share/texmf-dist/tex/latex/graphics/graphics.sty
+Package: graphics 2022/03/10 v1.4e Standard LaTeX Graphics (DPC,SPQR)
+
+(/usr/share/texmf-dist/tex/latex/graphics/trig.sty
+Package: trig 2021/08/11 v1.11 sin cos tan (DPC)
+)
+(/usr/share/texmf-dist/tex/latex/graphics-cfg/graphics.cfg
+File: graphics.cfg 2016/06/04 v1.11 sample graphics configuration
+)
+Package graphics Info: Driver file: pdftex.def on input line 107.
+
+(/usr/share/texmf-dist/tex/latex/graphics-def/pdftex.def
+File: pdftex.def 2022/09/22 v1.2b Graphics/color driver for pdftex
+))
+\Gin@req@height=\dimen150
+\Gin@req@width=\dimen151
+)
+(/usr/share/texmf-dist/tex/latex/l3backend/l3backend-pdftex.def
+File: l3backend-pdftex.def 2023-01-16 L3 backend support: PDF output (pdfTeX)
+\l__color_backend_stack_int=\count271
+\l__pdf_internal_box=\box53
+) (./manual.aux)
+\openout1 = `manual.aux'.
+
+LaTeX Font Info: Checking defaults for OML/cmm/m/it on input line 20.
+LaTeX Font Info: ... okay on input line 20.
+LaTeX Font Info: Checking defaults for OMS/cmsy/m/n on input line 20.
+LaTeX Font Info: ... okay on input line 20.
+LaTeX Font Info: Checking defaults for OT1/cmr/m/n on input line 20.
+LaTeX Font Info: ... okay on input line 20.
+LaTeX Font Info: Checking defaults for T1/cmr/m/n on input line 20.
+LaTeX Font Info: ... okay on input line 20.
+LaTeX Font Info: Checking defaults for TS1/cmr/m/n on input line 20.
+LaTeX Font Info: ... okay on input line 20.
+LaTeX Font Info: Checking defaults for OMX/cmex/m/n on input line 20.
+LaTeX Font Info: ... okay on input line 20.
+LaTeX Font Info: Checking defaults for U/cmr/m/n on input line 20.
+LaTeX Font Info: ... okay on input line 20.
+(/usr/share/texmf-dist/tex/context/base/mkii/supp-pdf.mkii
+[Loading MPS to PDF converter (version 2006.09.02).]
+\scratchcounter=\count272
+\scratchdimen=\dimen152
+\scratchbox=\box54
+\nofMPsegments=\count273
+\nofMParguments=\count274
+\everyMPshowfont=\toks22
+\MPscratchCnt=\count275
+\MPscratchDim=\dimen153
+\MPnumerator=\count276
+\makeMPintoPDFobject=\count277
+\everyMPtoPDFconversion=\toks23
+) (/usr/share/texmf-dist/tex/latex/epstopdf-pkg/epstopdf-base.sty
+Package: epstopdf-base 2020-01-24 v2.11 Base part for package epstopdf
+Package epstopdf-base Info: Redefining graphics rule for `.eps' on input line 4
+85.
+
+(/usr/share/texmf-dist/tex/latex/latexconfig/epstopdf-sys.cfg
+File: epstopdf-sys.cfg 2010/07/13 v1.3 Configuration of (r)epstopdf for TeX Liv
+e
+))
+LaTeX Font Info: Trying to load font information for U+msa on input line 21.
+
+
+(/usr/share/texmf-dist/tex/latex/amsfonts/umsa.fd
+File: umsa.fd 2013/01/14 v3.01 AMS symbols A
+)
+LaTeX Font Info: Trying to load font information for U+msb on input line 21.
+
+
+(/usr/share/texmf-dist/tex/latex/amsfonts/umsb.fd
+File: umsb.fd 2013/01/14 v3.01 AMS symbols B
+) [1
+
+{/var/lib/texmf/fonts/map/pdftex/updmap/pdftex.map}] [2{/usr/share/texmf-dist/f
+onts/enc/dvips/cm-super/cm-super-ts1.enc}] [3] [4]
+Overfull \hbox (9.20828pt too wide) in paragraph at lines 336--338
+\OT1/cmr/m/n/12 The next two func-tions yield the even more com-pli-cated ex-pr
+es-sion $[]$:
+ []
+
+[5]
+Overfull \hbox (11.72748pt too wide) in paragraph at lines 483--491
+[]\OT1/cmr/m/n/12 There are two ways to spec-ify the amount of forc-ing: the fi
+rst, \OT1/cmtt/m/n/12 force[]R[]Digs\OT1/cmr/m/n/12 ,
+ []
+
+[6] [7] [8]
+Overfull \hbox (0.7466pt too wide) in paragraph at lines 676--682
+[]\OT1/cmr/m/n/12 Roughly spo-ken, the func-tion eval-u-ates the guards $\OML/c
+mm/m/it/12 b[]$\OT1/cmr/m/n/12 , ..., $\OML/cmm/m/it/12 b[]$\OT1/cmr/m/n/12 , t
+hen chooses
+ []
+
+[9] [10] [11] [12]
+Overfull \hbox (1.67105pt too wide) in paragraph at lines 893--895
+[]\OT1/cmr/m/n/12 From a com-pressed digit rep-re-sen-ta-tion as it is pro-vide
+d by \OT1/cmtt/m/n/12 retrieveInfo\OT1/cmr/m/n/12 ,
+ []
+
+LaTeX Font Info: Font shape `OT1/cmtt/bx/n' in size <12> not available
+(Font) Font shape `OT1/cmtt/m/n' tried instead on input line 941.
+
+Overfull \hbox (9.85213pt too wide) in paragraph at lines 942--951
+\OT1/cmr/m/n/12 than 1, try set-ting the en-vi-ron-ment vari-able \OT1/cmtt/m/n
+/12 ICR[]DEFAULT[]FORCE[]COUNT=1
+ []
+
+[13] [14]
+Package epstopdf Info: Source file: <stop.eps>
+(epstopdf) date: 2000-07-24 21:06:57
+(epstopdf) size: 990 bytes
+(epstopdf) Output file: <stop-eps-converted-to.pdf>
+(epstopdf) date: 2023-11-11 09:14:32
+(epstopdf) size: 2598 bytes
+(epstopdf) Command: <repstopdf --outfile=stop-eps-converted-to.pdf
+stop.eps>
+(epstopdf) \includegraphics on input line 998.
+Package epstopdf Info: Output file is already uptodate.
+<stop-eps-converted-to.pdf, id=60, 12.045pt x 12.045pt>
+File: stop-eps-converted-to.pdf Graphic file (type pdf)
+<use stop-eps-converted-to.pdf>
+Package pdftex.def Info: stop-eps-converted-to.pdf used on input line 998.
+(pdftex.def) Requested size: 12.04495pt x 12.04495pt.
+Package epstopdf Info: Source file: <go.eps>
+(epstopdf) date: 2000-07-24 21:06:57
+(epstopdf) size: 988 bytes
+(epstopdf) Output file: <go-eps-converted-to.pdf>
+(epstopdf) date: 2023-11-11 09:14:33
+(epstopdf) size: 2599 bytes
+(epstopdf) Command: <repstopdf --outfile=go-eps-converted-to.pdf go
+.eps>
+(epstopdf) \includegraphics on input line 999.
+Package epstopdf Info: Output file is already uptodate.
+<go-eps-converted-to.pdf, id=61, 12.045pt x 12.045pt>
+File: go-eps-converted-to.pdf Graphic file (type pdf)
+<use go-eps-converted-to.pdf>
+Package pdftex.def Info: go-eps-converted-to.pdf used on input line 999.
+(pdftex.def) Requested size: 12.04495pt x 12.04495pt.
+Package epstopdf Info: Source file: <step.eps>
+(epstopdf) date: 2000-07-24 21:06:57
+(epstopdf) size: 990 bytes
+(epstopdf) Output file: <step-eps-converted-to.pdf>
+(epstopdf) date: 2023-11-11 09:14:33
+(epstopdf) size: 2603 bytes
+(epstopdf) Command: <repstopdf --outfile=step-eps-converted-to.pdf
+step.eps>
+(epstopdf) \includegraphics on input line 1001.
+Package epstopdf Info: Output file is already uptodate.
+<step-eps-converted-to.pdf, id=62, 12.045pt x 12.045pt>
+File: step-eps-converted-to.pdf Graphic file (type pdf)
+<use step-eps-converted-to.pdf>
+Package pdftex.def Info: step-eps-converted-to.pdf used on input line 1001.
+(pdftex.def) Requested size: 12.04495pt x 12.04495pt.
+Package epstopdf Info: Source file: <continue.eps>
+(epstopdf) date: 2000-07-24 21:06:57
+(epstopdf) size: 994 bytes
+(epstopdf) Output file: <continue-eps-converted-to.pdf>
+(epstopdf) date: 2023-11-11 09:14:34
+(epstopdf) size: 2614 bytes
+(epstopdf) Command: <repstopdf --outfile=continue-eps-converted-to.
+pdf continue.eps>
+(epstopdf) \includegraphics on input line 1003.
+Package epstopdf Info: Output file is already uptodate.
+<continue-eps-converted-to.pdf, id=63, 12.045pt x 12.045pt>
+File: continue-eps-converted-to.pdf Graphic file (type pdf)
+<use continue-eps-converted-to.pdf>
+Package pdftex.def Info: continue-eps-converted-to.pdf used on input line 1003
+.
+(pdftex.def) Requested size: 12.04495pt x 12.04495pt.
+Package epstopdf Info: Source file: <collect.eps>
+(epstopdf) date: 2000-07-24 21:06:57
+(epstopdf) size: 993 bytes
+(epstopdf) Output file: <collect-eps-converted-to.pdf>
+(epstopdf) date: 2023-11-11 09:14:34
+(epstopdf) size: 2628 bytes
+(epstopdf) Command: <repstopdf --outfile=collect-eps-converted-to.p
+df collect.eps>
+(epstopdf) \includegraphics on input line 1005.
+Package epstopdf Info: Output file is already uptodate.
+<collect-eps-converted-to.pdf, id=64, 12.045pt x 12.045pt>
+File: collect-eps-converted-to.pdf Graphic file (type pdf)
+<use collect-eps-converted-to.pdf>
+Package pdftex.def Info: collect-eps-converted-to.pdf used on input line 1005.
+
+(pdftex.def) Requested size: 12.04495pt x 12.04495pt.
+ [15 <./stop-eps-converted-to.pdf> <./go-eps-converted-to.pdf> <./step-eps-conv
+erted-to.pdf> <./continue-eps-converted-to.pdf> <./collect-eps-converted-to.pdf
+>] [16] (./manual.aux) )
+Here is how much of TeX's memory you used:
+ 2206 strings out of 476025
+ 33817 string characters out of 5796518
+ 1866388 words of memory out of 5000000
+ 22652 multiletter control sequences out of 15000+600000
+ 522992 words of font info for 73 fonts, out of 8000000 for 9000
+ 1141 hyphenation exceptions out of 8191
+ 57i,15n,62p,223b,363s stack positions out of 5000i,500n,10000p,200000b,80000s
+</usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/c
+mbx12.pfb></usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmbxti10.pfb></
+usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmex10.pfb></usr/share/texm
+f-dist/fonts/type1/public/amsfonts/cm/cmmi12.pfb></usr/share/texmf-dist/fonts/t
+ype1/public/amsfonts/cm/cmmi8.pfb></usr/share/texmf-dist/fonts/type1/public/ams
+fonts/cm/cmr12.pfb></usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmr17.
+pfb></usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmr8.pfb></usr/share/
+texmf-dist/fonts/type1/public/amsfonts/cm/cmsy10.pfb></usr/share/texmf-dist/fon
+ts/type1/public/amsfonts/cm/cmsy8.pfb></usr/share/texmf-dist/fonts/type1/public
+/amsfonts/cm/cmti12.pfb></usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/c
+mtt12.pfb></usr/share/texmf-dist/fonts/type1/public/amsfonts/symbols/msbm10.pfb
+></usr/share/texmf-dist/fonts/type1/public/cm-super/sfrm1200.pfb>
+Output written on manual.pdf (16 pages, 191783 bytes).
+PDF statistics:
+ 137 PDF objects out of 1000 (max. 8388607)
+ 85 compressed objects within 1 object stream
+ 0 named destinations out of 1000 (max. 500000)
+ 26 words of extra memory for PDF output out of 10000 (max. 10000000)
+