This is pdfTeX, Version 3.141592653-2.6-1.40.27 (TeX Live 2026/dev/Arch Linux) (preloaded format=pdflatex 2025.11.1) 21 NOV 2025 18:59 entering extended mode restricted \write18 enabled. %&-line parsing enabled. **"Algebraic NT 601.tex" (./Algebraic NT 601.tex LaTeX2e <2024-11-01> patch level 2 L3 programming layer <2025-01-18> (/usr/share/texmf-dist/tex/latex/amscls/amsbook.cls Document Class: amsbook 2020/05/29 v2.20.6 \linespacing=\dimen141 \normalparindent=\dimen142 \normaltopskip=\skip49 (/usr/share/texmf-dist/tex/latex/amsmath/amsmath.sty Package: amsmath 2024/11/05 v2.17t 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=\toks17 \ex@=\dimen143 )) (/usr/share/texmf-dist/tex/latex/amsmath/amsbsy.sty Package: amsbsy 1999/11/29 v1.2d Bold Symbols \pmbraise@=\dimen144 ) (/usr/share/texmf-dist/tex/latex/amsmath/amsopn.sty Package: amsopn 2022/04/08 v2.04 operator names ) \inf@bad=\count196 LaTeX Info: Redefining \frac on input line 233. \uproot@=\count197 \leftroot@=\count198 LaTeX Info: Redefining \overline on input line 398. LaTeX Info: Redefining \colon on input line 409. \classnum@=\count199 \DOTSCASE@=\count266 LaTeX Info: Redefining \ldots on input line 495. LaTeX Info: Redefining \dots on input line 498. LaTeX Info: Redefining \cdots on input line 619. \Mathstrutbox@=\box52 \strutbox@=\box53 LaTeX Info: Redefining \big on input line 721. LaTeX Info: Redefining \Big on input line 722. LaTeX Info: Redefining \bigg on input line 723. LaTeX Info: Redefining \Bigg on input line 724. \big@size=\dimen145 LaTeX Font Info: Redeclaring font encoding OML on input line 742. LaTeX Font Info: Redeclaring font encoding OMS on input line 743. \macc@depth=\count267 LaTeX Info: Redefining \bmod on input line 904. LaTeX Info: Redefining \pmod on input line 909. LaTeX Info: Redefining \smash on input line 939. LaTeX Info: Redefining \relbar on input line 969. LaTeX Info: Redefining \Relbar on input line 970. \c@MaxMatrixCols=\count268 \dotsspace@=\muskip17 \c@parentequation=\count269 \dspbrk@lvl=\count270 \tag@help=\toks18 \row@=\count271 \column@=\count272 \maxfields@=\count273 \andhelp@=\toks19 \eqnshift@=\dimen146 \alignsep@=\dimen147 \tagshift@=\dimen148 \tagwidth@=\dimen149 \totwidth@=\dimen150 \lineht@=\dimen151 \@envbody=\toks20 \multlinegap=\skip51 \multlinetaggap=\skip52 \mathdisplay@stack=\toks21 LaTeX Info: Redefining \[ on input line 2953. LaTeX Info: Redefining \] on input line 2954. ) LaTeX Font Info: Trying to load font information for U+msa on input line 376 . (/usr/share/texmf-dist/tex/latex/amsfonts/umsa.fd File: umsa.fd 2013/01/14 v3.01 AMS symbols A ) (/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. ) \copyins=\insert252 \abstractbox=\box54 \listisep=\skip53 \c@part=\count274 \c@chapter=\count275 \c@section=\count276 \c@subsection=\count277 \c@subsubsection=\count278 \c@paragraph=\count279 \c@subparagraph=\count280 \c@figure=\count281 \c@table=\count282 \abovecaptionskip=\skip54 \belowcaptionskip=\skip55 \captionindent=\dimen152 \thm@style=\toks22 \thm@bodyfont=\toks23 \thm@headfont=\toks24 \thm@notefont=\toks25 \thm@headpunct=\toks26 \thm@preskip=\skip56 \thm@postskip=\skip57 \thm@headsep=\skip58 \dth@everypar=\toks27 ) (/usr/share/texmf-dist/tex/latex/amsfonts/amssymb.sty Package: amssymb 2013/01/14 v3.01 AMS font symbols ) (/usr/share/texmf-dist/tex/latex/mathtools/mathtools.sty Package: mathtools 2024/10/04 v1.31 mathematical typesetting tools (/usr/share/texmf-dist/tex/latex/graphics/keyval.sty Package: keyval 2022/05/29 v1.15 key=value parser (DPC) \KV@toks@=\toks28 ) (/usr/share/texmf-dist/tex/latex/tools/calc.sty Package: calc 2023/07/08 v4.3 Infix arithmetic (KKT,FJ) \calc@Acount=\count283 \calc@Bcount=\count284 \calc@Adimen=\dimen153 \calc@Bdimen=\dimen154 \calc@Askip=\skip59 \calc@Bskip=\skip60 LaTeX Info: Redefining \setlength on input line 80. LaTeX Info: Redefining \addtolength on input line 81. \calc@Ccount=\count285 \calc@Cskip=\skip61 ) (/usr/share/texmf-dist/tex/latex/mathtools/mhsetup.sty Package: mhsetup 2021/03/18 v1.4 programming setup (MH) ) \g_MT_multlinerow_int=\count286 \l_MT_multwidth_dim=\dimen155 \origjot=\skip62 \l_MT_shortvdotswithinadjustabove_dim=\dimen156 \l_MT_shortvdotswithinadjustbelow_dim=\dimen157 \l_MT_above_intertext_sep=\dimen158 \l_MT_below_intertext_sep=\dimen159 \l_MT_above_shortintertext_sep=\dimen160 \l_MT_below_shortintertext_sep=\dimen161 \xmathstrut@box=\box55 \xmathstrut@dim=\dimen162 ) (/usr/share/texmf-dist/tex/latex/enumitem/enumitem.sty Package: enumitem 2025/02/06 v3.11 Customized lists \labelindent=\skip63 \enit@outerparindent=\dimen163 \enit@toks=\toks29 \enit@inbox=\box56 \enit@count@id=\count287 \enitdp@description=\count288 ) (/usr/share/texmf-dist/tex/latex/fancyhdr/fancyhdr.sty Package: fancyhdr 2025/02/07 v5.2 Extensive control of page headers and footers \f@nch@headwidth=\skip64 \f@nch@offset@elh=\skip65 \f@nch@offset@erh=\skip66 \f@nch@offset@olh=\skip67 \f@nch@offset@orh=\skip68 \f@nch@offset@elf=\skip69 \f@nch@offset@erf=\skip70 \f@nch@offset@olf=\skip71 \f@nch@offset@orf=\skip72 \f@nch@height=\skip73 \f@nch@footalignment=\skip74 \f@nch@widthL=\skip75 \f@nch@widthC=\skip76 \f@nch@widthR=\skip77 \@temptokenb=\toks30 ) (/usr/share/texmf-dist/tex/latex/stmaryrd/stmaryrd.sty Package: stmaryrd 1994/03/03 St Mary's Road symbol package \symstmry=\mathgroup6 LaTeX Font Info: Overwriting symbol font `stmry' in version `bold' (Font) U/stmry/m/n --> U/stmry/b/n on input line 89. ) (/usr/share/texmf-dist/tex/latex/physics/physics.sty Package: physics (/usr/share/texmf-dist/tex/latex/l3packages/xparse/xparse.sty (/usr/share/texmf-dist/tex/latex/l3kernel/expl3.sty Package: expl3 2025-01-18 L3 programming layer (loader) (/usr/share/texmf-dist/tex/latex/l3backend/l3backend-pdftex.def File: l3backend-pdftex.def 2024-05-08 L3 backend support: PDF output (pdfTeX) \l__color_backend_stack_int=\count289 \l__pdf_internal_box=\box57 )) Package: xparse 2024-08-16 L3 Experimental document command parser )) (/usr/share/texmf-dist/tex/latex/bbm-macros/bbm.sty Package: bbm 1999/03/15 V 1.2 provides fonts for set symbols - TH LaTeX Font Info: Overwriting math alphabet `\mathbbm' in version `bold' (Font) U/bbm/m/n --> U/bbm/bx/n on input line 33. LaTeX Font Info: Overwriting math alphabet `\mathbbmss' in version `bold' (Font) U/bbmss/m/n --> U/bbmss/bx/n on input line 35. ) (/usr/share/texmf-dist/tex/latex/jknapltx/mathrsfs.sty Package: mathrsfs 1996/01/01 Math RSFS package v1.0 (jk) \symrsfs=\mathgroup7 ) (/usr/share/texmf-dist/tex/latex/tikz-cd/tikz-cd.sty Package: tikz-cd 2021/05/04 v1.0 Commutative diagrams with TikZ (/usr/share/texmf-dist/tex/latex/pgf/frontendlayer/tikz.sty (/usr/share/texmf-dist/tex/latex/pgf/basiclayer/pgf.sty (/usr/share/texmf-dist/tex/latex/pgf/utilities/pgfrcs.sty (/usr/share/texmf-dist/tex/generic/pgf/utilities/pgfutil-common.tex \pgfutil@everybye=\toks31 \pgfutil@tempdima=\dimen164 \pgfutil@tempdimb=\dimen165 ) (/usr/share/texmf-dist/tex/generic/pgf/utilities/pgfutil-latex.def \pgfutil@abb=\box58 ) (/usr/share/texmf-dist/tex/generic/pgf/utilities/pgfrcs.code.tex (/usr/share/texmf-dist/tex/generic/pgf/pgf.revision.tex) Package: pgfrcs 2023-01-15 v3.1.10 (3.1.10) )) Package: pgf 2023-01-15 v3.1.10 (3.1.10) (/usr/share/texmf-dist/tex/latex/pgf/basiclayer/pgfcore.sty (/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/graphics.sty Package: graphics 2024/08/06 v1.4g Standard LaTeX Graphics (DPC,SPQR) (/usr/share/texmf-dist/tex/latex/graphics/trig.sty Package: trig 2023/12/02 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 106. (/usr/share/texmf-dist/tex/latex/graphics-def/pdftex.def File: pdftex.def 2024/04/13 v1.2c Graphics/color driver for pdftex )) \Gin@req@height=\dimen166 \Gin@req@width=\dimen167 ) (/usr/share/texmf-dist/tex/latex/pgf/systemlayer/pgfsys.sty (/usr/share/texmf-dist/tex/generic/pgf/systemlayer/pgfsys.code.tex Package: pgfsys 2023-01-15 v3.1.10 (3.1.10) (/usr/share/texmf-dist/tex/generic/pgf/utilities/pgfkeys.code.tex \pgfkeys@pathtoks=\toks32 \pgfkeys@temptoks=\toks33 (/usr/share/texmf-dist/tex/generic/pgf/utilities/pgfkeyslibraryfiltered.code.te x \pgfkeys@tmptoks=\toks34 )) \pgf@x=\dimen168 \pgf@y=\dimen169 \pgf@xa=\dimen170 \pgf@ya=\dimen171 \pgf@xb=\dimen172 \pgf@yb=\dimen173 \pgf@xc=\dimen174 \pgf@yc=\dimen175 \pgf@xd=\dimen176 \pgf@yd=\dimen177 \w@pgf@writea=\write3 \r@pgf@reada=\read2 \c@pgf@counta=\count290 \c@pgf@countb=\count291 \c@pgf@countc=\count292 \c@pgf@countd=\count293 \t@pgf@toka=\toks35 \t@pgf@tokb=\toks36 \t@pgf@tokc=\toks37 \pgf@sys@id@count=\count294 (/usr/share/texmf-dist/tex/generic/pgf/systemlayer/pgf.cfg File: pgf.cfg 2023-01-15 v3.1.10 (3.1.10) ) Driver file for pgf: pgfsys-pdftex.def (/usr/share/texmf-dist/tex/generic/pgf/systemlayer/pgfsys-pdftex.def File: pgfsys-pdftex.def 2023-01-15 v3.1.10 (3.1.10) (/usr/share/texmf-dist/tex/generic/pgf/systemlayer/pgfsys-common-pdf.def File: pgfsys-common-pdf.def 2023-01-15 v3.1.10 (3.1.10) ))) (/usr/share/texmf-dist/tex/generic/pgf/systemlayer/pgfsyssoftpath.code.tex File: pgfsyssoftpath.code.tex 2023-01-15 v3.1.10 (3.1.10) \pgfsyssoftpath@smallbuffer@items=\count295 \pgfsyssoftpath@bigbuffer@items=\count296 ) (/usr/share/texmf-dist/tex/generic/pgf/systemlayer/pgfsysprotocol.code.tex File: pgfsysprotocol.code.tex 2023-01-15 v3.1.10 (3.1.10) )) (/usr/share/texmf-dist/tex/latex/xcolor/xcolor.sty Package: xcolor 2024/09/29 v3.02 LaTeX color extensions (UK) (/usr/share/texmf-dist/tex/latex/graphics-cfg/color.cfg File: color.cfg 2016/01/02 v1.6 sample color configuration ) Package xcolor Info: Driver file: pdftex.def on input line 274. (/usr/share/texmf-dist/tex/latex/graphics/mathcolor.ltx) Package xcolor Info: Model `cmy' substituted by `cmy0' on input line 1349. Package xcolor Info: Model `hsb' substituted by `rgb' on input line 1353. Package xcolor Info: Model `RGB' extended on input line 1365. Package xcolor Info: Model `HTML' substituted by `rgb' on input line 1367. Package xcolor Info: Model `Hsb' substituted by `hsb' on input line 1368. Package xcolor Info: Model `tHsb' substituted by `hsb' on input line 1369. Package xcolor Info: Model `HSB' substituted by `hsb' on input line 1370. Package xcolor Info: Model `Gray' substituted by `gray' on input line 1371. Package xcolor Info: Model `wave' substituted by `hsb' on input line 1372. ) (/usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcore.code.tex Package: pgfcore 2023-01-15 v3.1.10 (3.1.10) (/usr/share/texmf-dist/tex/generic/pgf/math/pgfmath.code.tex (/usr/share/texmf-dist/tex/generic/pgf/math/pgfmathutil.code.tex) (/usr/share/texmf-dist/tex/generic/pgf/math/pgfmathparser.code.tex \pgfmath@dimen=\dimen178 \pgfmath@count=\count297 \pgfmath@box=\box59 \pgfmath@toks=\toks38 \pgfmath@stack@operand=\toks39 \pgfmath@stack@operation=\toks40 ) (/usr/share/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.code.tex) (/usr/share/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.basic.code.tex) (/usr/share/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.trigonometric.code .tex) (/usr/share/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.random.code.tex) (/usr/share/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.comparison.code.te x) (/usr/share/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.base.code.tex) (/usr/share/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.round.code.tex) (/usr/share/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.misc.code.tex) (/usr/share/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.integerarithmetics .code.tex) (/usr/share/texmf-dist/tex/generic/pgf/math/pgfmathcalc.code.tex) (/usr/share/texmf-dist/tex/generic/pgf/math/pgfmathfloat.code.tex \c@pgfmathroundto@lastzeros=\count298 )) (/usr/share/texmf-dist/tex/generic/pgf/math/pgfint.code.tex) (/usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepoints.code.tex File: pgfcorepoints.code.tex 2023-01-15 v3.1.10 (3.1.10) \pgf@picminx=\dimen179 \pgf@picmaxx=\dimen180 \pgf@picminy=\dimen181 \pgf@picmaxy=\dimen182 \pgf@pathminx=\dimen183 \pgf@pathmaxx=\dimen184 \pgf@pathminy=\dimen185 \pgf@pathmaxy=\dimen186 \pgf@xx=\dimen187 \pgf@xy=\dimen188 \pgf@yx=\dimen189 \pgf@yy=\dimen190 \pgf@zx=\dimen191 \pgf@zy=\dimen192 ) (/usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathconstruct.code.tex File: pgfcorepathconstruct.code.tex 2023-01-15 v3.1.10 (3.1.10) \pgf@path@lastx=\dimen193 \pgf@path@lasty=\dimen194 ) (/usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathusage.code.tex File: pgfcorepathusage.code.tex 2023-01-15 v3.1.10 (3.1.10) \pgf@shorten@end@additional=\dimen195 \pgf@shorten@start@additional=\dimen196 ) (/usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorescopes.code.tex File: pgfcorescopes.code.tex 2023-01-15 v3.1.10 (3.1.10) \pgfpic=\box60 \pgf@hbox=\box61 \pgf@layerbox@main=\box62 \pgf@picture@serial@count=\count299 ) (/usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcoregraphicstate.code.tex File: pgfcoregraphicstate.code.tex 2023-01-15 v3.1.10 (3.1.10) \pgflinewidth=\dimen197 ) (/usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcoretransformations.code.t ex File: pgfcoretransformations.code.tex 2023-01-15 v3.1.10 (3.1.10) \pgf@pt@x=\dimen198 \pgf@pt@y=\dimen199 \pgf@pt@temp=\dimen256 ) (/usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorequick.code.tex File: pgfcorequick.code.tex 2023-01-15 v3.1.10 (3.1.10) ) (/usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreobjects.code.tex File: pgfcoreobjects.code.tex 2023-01-15 v3.1.10 (3.1.10) ) (/usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathprocessing.code.te x File: pgfcorepathprocessing.code.tex 2023-01-15 v3.1.10 (3.1.10) ) (/usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorearrows.code.tex File: pgfcorearrows.code.tex 2023-01-15 v3.1.10 (3.1.10) \pgfarrowsep=\dimen257 ) (/usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreshade.code.tex File: pgfcoreshade.code.tex 2023-01-15 v3.1.10 (3.1.10) \pgf@max=\dimen258 \pgf@sys@shading@range@num=\count300 \pgf@shadingcount=\count301 ) (/usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreimage.code.tex File: pgfcoreimage.code.tex 2023-01-15 v3.1.10 (3.1.10) ) (/usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreexternal.code.tex File: pgfcoreexternal.code.tex 2023-01-15 v3.1.10 (3.1.10) \pgfexternal@startupbox=\box63 ) (/usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorelayers.code.tex File: pgfcorelayers.code.tex 2023-01-15 v3.1.10 (3.1.10) ) (/usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcoretransparency.code.tex File: pgfcoretransparency.code.tex 2023-01-15 v3.1.10 (3.1.10) ) (/usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepatterns.code.tex File: pgfcorepatterns.code.tex 2023-01-15 v3.1.10 (3.1.10) ) (/usr/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorerdf.code.tex File: pgfcorerdf.code.tex 2023-01-15 v3.1.10 (3.1.10) ))) (/usr/share/texmf-dist/tex/generic/pgf/modules/pgfmoduleshapes.code.tex File: pgfmoduleshapes.code.tex 2023-01-15 v3.1.10 (3.1.10) \pgfnodeparttextbox=\box64 ) (/usr/share/texmf-dist/tex/generic/pgf/modules/pgfmoduleplot.code.tex File: pgfmoduleplot.code.tex 2023-01-15 v3.1.10 (3.1.10) ) (/usr/share/texmf-dist/tex/latex/pgf/compatibility/pgfcomp-version-0-65.sty Package: pgfcomp-version-0-65 2023-01-15 v3.1.10 (3.1.10) \pgf@nodesepstart=\dimen259 \pgf@nodesepend=\dimen260 ) (/usr/share/texmf-dist/tex/latex/pgf/compatibility/pgfcomp-version-1-18.sty Package: pgfcomp-version-1-18 2023-01-15 v3.1.10 (3.1.10) )) (/usr/share/texmf-dist/tex/latex/pgf/utilities/pgffor.sty (/usr/share/texmf-dist/tex/latex/pgf/utilities/pgfkeys.sty (/usr/share/texmf-dist/tex/generic/pgf/utilities/pgfkeys.code.tex)) (/usr/share/texmf-dist/tex/latex/pgf/math/pgfmath.sty (/usr/share/texmf-dist/tex/generic/pgf/math/pgfmath.code.tex)) (/usr/share/texmf-dist/tex/generic/pgf/utilities/pgffor.code.tex Package: pgffor 2023-01-15 v3.1.10 (3.1.10) \pgffor@iter=\dimen261 \pgffor@skip=\dimen262 \pgffor@stack=\toks41 \pgffor@toks=\toks42 )) (/usr/share/texmf-dist/tex/generic/pgf/frontendlayer/tikz/tikz.code.tex Package: tikz 2023-01-15 v3.1.10 (3.1.10) (/usr/share/texmf-dist/tex/generic/pgf/libraries/pgflibraryplothandlers.code.te x File: pgflibraryplothandlers.code.tex 2023-01-15 v3.1.10 (3.1.10) \pgf@plot@mark@count=\count302 \pgfplotmarksize=\dimen263 ) \tikz@lastx=\dimen264 \tikz@lasty=\dimen265 \tikz@lastxsaved=\dimen266 \tikz@lastysaved=\dimen267 \tikz@lastmovetox=\dimen268 \tikz@lastmovetoy=\dimen269 \tikzleveldistance=\dimen270 \tikzsiblingdistance=\dimen271 \tikz@figbox=\box65 \tikz@figbox@bg=\box66 \tikz@tempbox=\box67 \tikz@tempbox@bg=\box68 \tikztreelevel=\count303 \tikznumberofchildren=\count304 \tikznumberofcurrentchild=\count305 \tikz@fig@count=\count306 (/usr/share/texmf-dist/tex/generic/pgf/modules/pgfmodulematrix.code.tex File: pgfmodulematrix.code.tex 2023-01-15 v3.1.10 (3.1.10) \pgfmatrixcurrentrow=\count307 \pgfmatrixcurrentcolumn=\count308 \pgf@matrix@numberofcolumns=\count309 ) \tikz@expandcount=\count310 (/usr/share/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibrary topaths.code.tex File: tikzlibrarytopaths.code.tex 2023-01-15 v3.1.10 (3.1.10) ))) (/usr/share/texmf-dist/tex/generic/tikz-cd/tikzlibrarycd.code.tex (/usr/share/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibrary matrix.code.tex File: tikzlibrarymatrix.code.tex 2023-01-15 v3.1.10 (3.1.10) ) (/usr/share/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibrary quotes.code.tex File: tikzlibraryquotes.code.tex 2023-01-15 v3.1.10 (3.1.10) ) (/usr/share/texmf-dist/tex/generic/pgf/libraries/pgflibraryarrows.meta.code.tex File: pgflibraryarrows.meta.code.tex 2023-01-15 v3.1.10 (3.1.10) \pgfarrowinset=\dimen272 \pgfarrowlength=\dimen273 \pgfarrowwidth=\dimen274 \pgfarrowlinewidth=\dimen275 ))) (/usr/share/texmf-dist/tex/latex/float/float.sty Package: float 2001/11/08 v1.3d Float enhancements (AL) \c@float@type=\count311 \float@exts=\toks43 \float@box=\box69 \@float@everytoks=\toks44 \@floatcapt=\box70 ) (/usr/share/texmf-dist/tex/latex/booktabs/booktabs.sty Package: booktabs 2020/01/12 v1.61803398 Publication quality tables \heavyrulewidth=\dimen276 \lightrulewidth=\dimen277 \cmidrulewidth=\dimen278 \belowrulesep=\dimen279 \belowbottomsep=\dimen280 \aboverulesep=\dimen281 \abovetopsep=\dimen282 \cmidrulesep=\dimen283 \cmidrulekern=\dimen284 \defaultaddspace=\dimen285 \@cmidla=\count312 \@cmidlb=\count313 \@aboverulesep=\dimen286 \@belowrulesep=\dimen287 \@thisruleclass=\count314 \@lastruleclass=\count315 \@thisrulewidth=\dimen288 ) (/usr/share/texmf-dist/tex/latex/geometry/geometry.sty Package: geometry 2020/01/02 v5.9 Page Geometry (/usr/share/texmf-dist/tex/generic/iftex/ifvtex.sty Package: ifvtex 2019/10/25 v1.7 ifvtex legacy package. Use iftex instead. (/usr/share/texmf-dist/tex/generic/iftex/iftex.sty Package: iftex 2024/12/12 v1.0g TeX engine tests )) \Gm@cnth=\count316 \Gm@cntv=\count317 \c@Gm@tempcnt=\count318 \Gm@bindingoffset=\dimen289 \Gm@wd@mp=\dimen290 \Gm@odd@mp=\dimen291 \Gm@even@mp=\dimen292 \Gm@layoutwidth=\dimen293 \Gm@layoutheight=\dimen294 \Gm@layouthoffset=\dimen295 \Gm@layoutvoffset=\dimen296 \Gm@dimlist=\toks45 ) (/usr/share/texmf-dist/tex/latex/hyperref/hyperref.sty Package: hyperref 2024-11-05 v7.01l Hypertext links for LaTeX (/usr/share/texmf-dist/tex/latex/kvsetkeys/kvsetkeys.sty Package: kvsetkeys 2022-10-05 v1.19 Key value parser (HO) ) (/usr/share/texmf-dist/tex/generic/kvdefinekeys/kvdefinekeys.sty Package: kvdefinekeys 2019-12-19 v1.6 Define keys (HO) ) (/usr/share/texmf-dist/tex/generic/pdfescape/pdfescape.sty Package: pdfescape 2019/12/09 v1.15 Implements pdfTeX's escape features (HO) (/usr/share/texmf-dist/tex/generic/ltxcmds/ltxcmds.sty Package: ltxcmds 2023-12-04 v1.26 LaTeX kernel commands for general use (HO) ) (/usr/share/texmf-dist/tex/generic/pdftexcmds/pdftexcmds.sty Package: pdftexcmds 2020-06-27 v0.33 Utility functions of pdfTeX for LuaTeX (HO ) (/usr/share/texmf-dist/tex/generic/infwarerr/infwarerr.sty Package: infwarerr 2019/12/03 v1.5 Providing info/warning/error messages (HO) ) Package pdftexcmds Info: \pdf@primitive is available. Package pdftexcmds Info: \pdf@ifprimitive is available. Package pdftexcmds Info: \pdfdraftmode found. )) (/usr/share/texmf-dist/tex/latex/hycolor/hycolor.sty Package: hycolor 2020-01-27 v1.10 Color options for hyperref/bookmark (HO) ) (/usr/share/texmf-dist/tex/latex/hyperref/nameref.sty Package: nameref 2023-11-26 v2.56 Cross-referencing by name of section (/usr/share/texmf-dist/tex/latex/refcount/refcount.sty Package: refcount 2019/12/15 v3.6 Data extraction from label references (HO) ) (/usr/share/texmf-dist/tex/generic/gettitlestring/gettitlestring.sty Package: gettitlestring 2019/12/15 v1.6 Cleanup title references (HO) (/usr/share/texmf-dist/tex/latex/kvoptions/kvoptions.sty Package: kvoptions 2022-06-15 v3.15 Key value format for package options (HO) )) \c@section@level=\count319 ) (/usr/share/texmf-dist/tex/latex/etoolbox/etoolbox.sty Package: etoolbox 2025/02/11 v2.5l e-TeX tools for LaTeX (JAW) \etb@tempcnta=\count320 ) (/usr/share/texmf-dist/tex/generic/stringenc/stringenc.sty Package: stringenc 2019/11/29 v1.12 Convert strings between diff. encodings (HO ) ) \@linkdim=\dimen297 \Hy@linkcounter=\count321 \Hy@pagecounter=\count322 (/usr/share/texmf-dist/tex/latex/hyperref/pd1enc.def File: pd1enc.def 2024-11-05 v7.01l Hyperref: PDFDocEncoding definition (HO) Now handling font encoding PD1 ... ... no UTF-8 mapping file for font encoding PD1 ) (/usr/share/texmf-dist/tex/generic/intcalc/intcalc.sty Package: intcalc 2019/12/15 v1.3 Expandable calculations with integers (HO) ) \Hy@SavedSpaceFactor=\count323 (/usr/share/texmf-dist/tex/latex/hyperref/puenc.def File: puenc.def 2024-11-05 v7.01l Hyperref: PDF Unicode definition (HO) Now handling font encoding PU ... ... no UTF-8 mapping file for font encoding PU ) Package hyperref Info: Hyper figures OFF on input line 4157. Package hyperref Info: Link nesting OFF on input line 4162. Package hyperref Info: Hyper index ON on input line 4165. Package hyperref Info: Plain pages OFF on input line 4172. Package hyperref Info: Backreferencing OFF on input line 4177. Package hyperref Info: Implicit mode ON; LaTeX internals redefined. Package hyperref Info: Bookmarks ON on input line 4424. \c@Hy@tempcnt=\count324 (/usr/share/texmf-dist/tex/latex/url/url.sty \Urlmuskip=\muskip18 Package: url 2013/09/16 ver 3.4 Verb mode for urls, etc. ) LaTeX Info: Redefining \url on input line 4763. \XeTeXLinkMargin=\dimen298 (/usr/share/texmf-dist/tex/generic/bitset/bitset.sty Package: bitset 2019/12/09 v1.3 Handle bit-vector datatype (HO) (/usr/share/texmf-dist/tex/generic/bigintcalc/bigintcalc.sty Package: bigintcalc 2019/12/15 v1.5 Expandable calculations on big integers (HO ) )) \Fld@menulength=\count325 \Field@Width=\dimen299 \Fld@charsize=\dimen300 Package hyperref Info: Hyper figures OFF on input line 6042. Package hyperref Info: Link nesting OFF on input line 6047. Package hyperref Info: Hyper index ON on input line 6050. Package hyperref Info: backreferencing OFF on input line 6057. Package hyperref Info: Link coloring OFF on input line 6062. Package hyperref Info: Link coloring with OCG OFF on input line 6067. Package hyperref Info: PDF/A mode OFF on input line 6072. (/usr/share/texmf-dist/tex/latex/base/atbegshi-ltx.sty Package: atbegshi-ltx 2021/01/10 v1.0c Emulation of the original atbegshi package with kernel methods ) \Hy@abspage=\count326 \c@Item=\count327 \c@Hfootnote=\count328 ) Package hyperref Info: Driver (autodetected): hpdftex. (/usr/share/texmf-dist/tex/latex/hyperref/hpdftex.def File: hpdftex.def 2024-11-05 v7.01l Hyperref driver for pdfTeX (/usr/share/texmf-dist/tex/latex/base/atveryend-ltx.sty Package: atveryend-ltx 2020/08/19 v1.0a Emulation of the original atveryend pac kage with kernel methods ) \Fld@listcount=\count329 \c@bookmark@seq@number=\count330 (/usr/share/texmf-dist/tex/latex/rerunfilecheck/rerunfilecheck.sty Package: rerunfilecheck 2022-07-10 v1.10 Rerun checks for auxiliary files (HO) (/usr/share/texmf-dist/tex/generic/uniquecounter/uniquecounter.sty Package: uniquecounter 2019/12/15 v1.4 Provide unlimited unique counter (HO) ) Package uniquecounter Info: New unique counter `rerunfilecheck' on input line 2 85. ) \Hy@SectionHShift=\skip78 ) Package hyperref Info: Option `colorlinks' set `true' on input line 25. \c@problem=\count331 \c@solution=\count332 \c@theorem=\count333 (./Algebraic NT 601.aux) \openout1 = `"Algebraic NT 601.aux"'. LaTeX Font Info: Checking defaults for OML/cmm/m/it on input line 53. LaTeX Font Info: ... okay on input line 53. LaTeX Font Info: Checking defaults for OMS/cmsy/m/n on input line 53. LaTeX Font Info: ... okay on input line 53. LaTeX Font Info: Checking defaults for OT1/cmr/m/n on input line 53. LaTeX Font Info: ... okay on input line 53. LaTeX Font Info: Checking defaults for T1/cmr/m/n on input line 53. LaTeX Font Info: ... okay on input line 53. LaTeX Font Info: Checking defaults for TS1/cmr/m/n on input line 53. LaTeX Font Info: ... okay on input line 53. LaTeX Font Info: Checking defaults for OMX/cmex/m/n on input line 53. LaTeX Font Info: ... okay on input line 53. LaTeX Font Info: Checking defaults for U/cmr/m/n on input line 53. LaTeX Font Info: ... okay on input line 53. LaTeX Font Info: Checking defaults for PD1/pdf/m/n on input line 53. LaTeX Font Info: ... okay on input line 53. LaTeX Font Info: Checking defaults for PU/pdf/m/n on input line 53. LaTeX Font Info: ... okay on input line 53. LaTeX Font Info: Trying to load font information for U+msa on input line 53. (/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 53. (/usr/share/texmf-dist/tex/latex/amsfonts/umsb.fd File: umsb.fd 2013/01/14 v3.01 AMS symbols B ) LaTeX Font Info: Trying to load font information for U+stmry on input line 5 3. (/usr/share/texmf-dist/tex/latex/stmaryrd/Ustmry.fd) LaTeX Font Info: Trying to load font information for U+rsfs on input line 53 . (/usr/share/texmf-dist/tex/latex/jknapltx/ursfs.fd File: ursfs.fd 1998/03/24 rsfs font definition file (jk) ) (/usr/share/texmf-dist/tex/context/base/mkii/supp-pdf.mkii [Loading MPS to PDF converter (version 2006.09.02).] \scratchcounter=\count334 \scratchdimen=\dimen301 \scratchbox=\box71 \nofMPsegments=\count335 \nofMParguments=\count336 \everyMPshowfont=\toks46 \MPscratchCnt=\count337 \MPscratchDim=\dimen302 \MPnumerator=\count338 \makeMPintoPDFobject=\count339 \everyMPtoPDFconversion=\toks47 ) (/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 )) *geometry* driver: auto-detecting *geometry* detected driver: pdftex *geometry* verbose mode - [ preamble ] result: * driver: pdftex * paper: a4paper * layout: * layoutoffset:(h,v)=(0.0pt,0.0pt) * modes: twoside * h-part:(L,W,R)=(85.35826pt, 426.79135pt, 85.35826pt) * v-part:(T,H,B)=(85.35826pt, 674.33032pt, 85.35826pt) * \paperwidth=597.50787pt * \paperheight=845.04684pt * \textwidth=426.79135pt * \textheight=674.33032pt * \oddsidemargin=13.08827pt * \evensidemargin=13.08827pt * \topmargin=-8.91173pt * \headheight=16.0pt * \headsep=14.0pt * \topskip=10.0pt * \footskip=18.0pt * \marginparwidth=90.0pt * \marginparsep=11.0pt * \columnsep=10.0pt * \skip\footins=7.0pt plus 11.0pt * \hoffset=0.0pt * \voffset=0.0pt * \mag=1000 * \@twocolumnfalse * \@twosidetrue * \@mparswitchtrue * \@reversemarginfalse * (1in=72.27pt=25.4mm, 1cm=28.453pt) Package hyperref Info: Link coloring ON on input line 53. (./Algebraic NT 601.out) (./Algebraic NT 601.out) \@outlinefile=\write4 \openout4 = `"Algebraic NT 601.out"'. [1 {/var/lib/texmf/fonts/map/pdftex/updmap/pdftex.map}] [2] Contents (./Algebraic NT 601.toc [3 ]) \tf@toc=\write5 \openout5 = `"Algebraic NT 601.toc"'. [4] [5] Chapter 1 [6 ] File: img/y2x3.png Graphic file (type png) Package pdftex.def Info: img/y2x3.png used on input line 303. (pdftex.def) Requested size: 213.39568pt x 212.86656pt. [7 <./img/y2x3.png>] [8] [9] [10] [11] [12] Chapter 2 [13 ] [14] [15] [16] [17] [18] [19] [20] [21] Chapter 3 File: img/2D.png Graphic file (type png) Package pdftex.def Info: img/2D.png used on input line 1595. (pdftex.def) Requested size: 128.0387pt x 96.12865pt. [22 <./img/2D.png>] [23] [24] Chapter 4 [25 ] [26] [27] [28] Chapter 5 [29 ] [30] Chapter 6 [31 ] [32] [33] [34] [35] Chapter 7 [36 ] [37] [38] [39] Chapter 8 [40 ] [41] [42] [43] Chapter 9 [44 ] [45] [46] [47] LaTeX Font Info: Trying to load font information for U+bbm on input line 352 3. (/usr/share/texmf-dist/tex/latex/bbm-macros/ubbm.fd File: ubbm.fd 1999/03/15 V 1.2 Font definition for bbm font - TH ) [48] [49] [50] [51] [52] [53] [54] [55] [56] Chapter 10 [57 ] [58] [59] [60] [61] [62] [63] Chapter 11 [64 ] [65] [66] [67] [68] Chapter 12 [69 ] [70] [71] [72] [73] [74] [75] File: img/herbrand.pdf Graphic file (type pdf) Package pdftex.def Info: img/herbrand.pdf used on input line 5704. (pdftex.def) Requested size: 341.43437pt x 170.72304pt. [76] [77 <./img/herbrand.pdf>] [78] (./Algebraic NT 601.aux) *********** LaTeX2e <2024-11-01> patch level 2 L3 programming layer <2025-01-18> *********** Package rerunfilecheck Info: File `"Algebraic NT 601".out' has not changed. (rerunfilecheck) Checksum: 6FBC25ECE08B74315B2F18F1F659218C;7261. ) Here is how much of TeX's memory you used: 26043 strings out of 475171 482139 string characters out of 5767095 853970 words of memory out of 5000000 47978 multiletter control sequences out of 15000+600000 569051 words of font info for 81 fonts, out of 8000000 for 9000 175 hyphenation exceptions out of 8191 116i,21n,121p,703b,1201s stack positions out of 10000i,1000n,20000p,200000b,200000s < /usr/share/texmf-dist/fonts/type1/public/amsfonts/symbols/msbm7.pfb> Output written on "Algebraic NT 601.pdf" (78 pages, 714884 bytes). PDF statistics: 1185 PDF objects out of 1200 (max. 8388607) 1033 compressed objects within 11 object streams 490 named destinations out of 1000 (max. 500000) 384 words of extra memory for PDF output out of 10000 (max. 10000000)