diff --git a/papers/coloring_nested_tire_graphs/notes/cut_depth_label.log b/papers/coloring_nested_tire_graphs/notes/cut_depth_label.log index c3455a9..e157ef9 100644 --- a/papers/coloring_nested_tire_graphs/notes/cut_depth_label.log +++ b/papers/coloring_nested_tire_graphs/notes/cut_depth_label.log @@ -1,4 +1,4 @@ -This is pdfTeX, Version 3.141592653-2.6-1.40.24 (TeX Live 2022) (preloaded format=pdflatex 2022.10.5) 26 MAY 2026 15:32 +This is pdfTeX, Version 3.141592653-2.6-1.40.24 (TeX Live 2022) (preloaded format=pdflatex 2022.10.5) 26 MAY 2026 15:33 entering extended mode restricted \write18 enabled. %&-line parsing enabled. @@ -196,20 +196,20 @@ File: l3backend-pdftex.def 2022-02-07 L3 backend support: PDF output (pdfTeX) (./cut_depth_label.aux) \openout1 = `cut_depth_label.aux'. -LaTeX Font Info: Checking defaults for OML/cmm/m/it on input line 17. -LaTeX Font Info: ... okay on input line 17. -LaTeX Font Info: Checking defaults for OMS/cmsy/m/n on input line 17. -LaTeX Font Info: ... okay on input line 17. -LaTeX Font Info: Checking defaults for OT1/cmr/m/n on input line 17. -LaTeX Font Info: ... okay on input line 17. -LaTeX Font Info: Checking defaults for T1/cmr/m/n on input line 17. -LaTeX Font Info: ... okay on input line 17. -LaTeX Font Info: Checking defaults for TS1/cmr/m/n on input line 17. -LaTeX Font Info: ... okay on input line 17. -LaTeX Font Info: Checking defaults for OMX/cmex/m/n on input line 17. -LaTeX Font Info: ... okay on input line 17. -LaTeX Font Info: Checking defaults for U/cmr/m/n on input line 17. -LaTeX Font Info: ... okay on input line 17. +LaTeX Font Info: Checking defaults for OML/cmm/m/it on input line 18. +LaTeX Font Info: ... okay on input line 18. +LaTeX Font Info: Checking defaults for OMS/cmsy/m/n on input line 18. +LaTeX Font Info: ... okay on input line 18. +LaTeX Font Info: Checking defaults for OT1/cmr/m/n on input line 18. +LaTeX Font Info: ... okay on input line 18. +LaTeX Font Info: Checking defaults for T1/cmr/m/n on input line 18. +LaTeX Font Info: ... okay on input line 18. +LaTeX Font Info: Checking defaults for TS1/cmr/m/n on input line 18. +LaTeX Font Info: ... okay on input line 18. +LaTeX Font Info: Checking defaults for OMX/cmex/m/n on input line 18. +LaTeX Font Info: ... okay on input line 18. +LaTeX Font Info: Checking defaults for U/cmr/m/n on input line 18. +LaTeX Font Info: ... okay on input line 18. (/usr/local/texlive/2022/texmf-dist/tex/context/base/mkii/supp-pdf.mkii [Loading MPS to PDF converter (version 2006.09.02).] @@ -269,18 +269,18 @@ e Package caption Info: Begin \AtBeginDocument code. Package caption Info: End \AtBeginDocument code. -LaTeX Font Info: Trying to load font information for U+msa on input line 18. +LaTeX Font Info: Trying to load font information for U+msa on input line 19. (/usr/local/texlive/2022/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 18. +LaTeX Font Info: Trying to load font information for U+msb on input line 19. (/usr/local/texlive/2022/texmf-dist/tex/latex/amsfonts/umsb.fd File: umsb.fd 2013/01/14 v3.01 AMS symbols B ) -Overfull \hbox (31.88051pt too wide) in paragraph at lines 65--70 +Overfull \hbox (31.88051pt too wide) in paragraph at lines 66--71 \OT1/cmr/m/n/10.95 Holton and McKay (loaded from \OT1/cmtt/m/n/10.95 papers/eve n[]level[]graph[]generators/experiments/nonham38m4.pc\OT1/cmr/m/n/10.95 ). [] @@ -291,51 +291,25 @@ n[]level[]graph[]generators/experiments/nonham38m4.pc\OT1/cmr/m/n/10.95 ). File: fig_cut_depth_label.png Graphic file (type png) -Package pdftex.def Info: fig_cut_depth_label.png used on input line 108. +Package pdftex.def Info: fig_cut_depth_label.png used on input line 109. (pdftex.def) Requested size: 469.75502pt x 1231.6049pt. -LaTeX Warning: Float too large for page by 659.17491pt on input line 119. +LaTeX Warning: Float too large for page by 659.17491pt on input line 120. LaTeX Warning: `h' float specifier changed to `ht'. - -! LaTeX Error: Environment definition undefined. - -See the LaTeX manual or LaTeX Companion for explanation. -Type H for immediate help. - ... - -l.129 \begin{definition} - [Cut tire] -Your command was ignored. -Type I to replace it with another command, -or to continue without it. - - -! LaTeX Error: \begin{document} ended by \end{definition}. - -See the LaTeX manual or LaTeX Companion for explanation. -Type H for immediate help. - ... - -l.149 \end{definition} - -Your command was ignored. -Type I to replace it with another command, -or to continue without it. - File: fig_cut_tire.png Graphic file (type png) -Package pdftex.def Info: fig_cut_tire.png used on input line 171. +Package pdftex.def Info: fig_cut_tire.png used on input line 172. (pdftex.def) Requested size: 469.75502pt x 590.68202pt. LaTeX Warning: `h' float specifier changed to `ht'. [2] -Overfull \hbox (46.78696pt too wide) in paragraph at lines 195--202 +Overfull \hbox (46.78696pt too wide) in paragraph at lines 196--203 \OT1/cmr/m/n/10.95 The pro-ce-dure mir-rors the $4$CT cut-and-reglue scheme (\O T1/cmtt/m/n/10.95 rainbow[]proof.tex\OT1/cmr/m/n/10.95 , \OT1/cmtt/m/n/10.95 wo rst[]case[]proof[]sketch.tex\OT1/cmr/m/n/10.95 , @@ -344,10 +318,10 @@ rst[]case[]proof[]sketch.tex\OT1/cmr/m/n/10.95 , [3] [4 <./fig_cut_depth_label.png>] [5 <./fig_cut_tire.png>] (./cut_depth_label.aux) ) Here is how much of TeX's memory you used: - 4588 strings out of 478268 - 74465 string characters out of 5846347 - 375417 words of memory out of 5000000 - 22768 multiletter control sequences out of 15000+600000 + 4590 strings out of 478268 + 74486 string characters out of 5846347 + 375437 words of memory out of 5000000 + 22770 multiletter control sequences out of 15000+600000 479174 words of font info for 66 fonts, out of 8000000 for 9000 1141 hyphenation exceptions out of 8191 55i,8n,63p,656b,312s stack positions out of 10000i,1000n,20000p,200000b,200000s @@ -367,7 +341,7 @@ y8.pfb> -Output written on cut_depth_label.pdf (5 pages, 500070 bytes). +Output written on cut_depth_label.pdf (5 pages, 504231 bytes). PDF statistics: 96 PDF objects out of 1000 (max. 8388607) 56 compressed objects within 1 object stream diff --git a/papers/coloring_nested_tire_graphs/notes/cut_depth_label.pdf b/papers/coloring_nested_tire_graphs/notes/cut_depth_label.pdf index ab54d77..fece50a 100644 Binary files a/papers/coloring_nested_tire_graphs/notes/cut_depth_label.pdf and b/papers/coloring_nested_tire_graphs/notes/cut_depth_label.pdf differ diff --git a/papers/coloring_nested_tire_graphs/notes/cut_depth_label.tex b/papers/coloring_nested_tire_graphs/notes/cut_depth_label.tex index 2eb5f0b..79cf4d2 100644 --- a/papers/coloring_nested_tire_graphs/notes/cut_depth_label.tex +++ b/papers/coloring_nested_tire_graphs/notes/cut_depth_label.tex @@ -13,6 +13,7 @@ \newtheorem*{obs}{Observation} \newtheorem*{prop}{Proposition} +\newtheorem*{definition}{Definition} \begin{document} \maketitle