aboutsummaryrefslogtreecommitdiff
path: root/ic-reals-6.3/doc/manual/manual.log
blob: 40fe0077b1addcf58807bfd78880b9a7d882c062 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
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)