Browse Source

few score organizing changes and names

master
Michael Winter 1 year ago
parent
commit
78b1ddeb6b
37 changed files with 32 additions and 47 deletions
  1. +0
    -0
      latex/a_history_of_the_domino_problem/a_history_of_the_domino_problem_score.aux
  2. +0
    -0
      latex/a_history_of_the_domino_problem/a_history_of_the_domino_problem_score.bbl
  3. +2
    -2
      latex/a_history_of_the_domino_problem/a_history_of_the_domino_problem_score.blg
  4. +29
    -23
      latex/a_history_of_the_domino_problem/a_history_of_the_domino_problem_score.log
  5. BIN
      latex/a_history_of_the_domino_problem/a_history_of_the_domino_problem_score.pdf
  6. BIN
      latex/a_history_of_the_domino_problem/a_history_of_the_domino_problem_score.synctex.gz
  7. +1
    -1
      latex/a_history_of_the_domino_problem/a_history_of_the_domino_problem_score.tex
  8. +0
    -0
      latex/a_history_of_the_domino_problem/hdp.bib
  9. +0
    -0
      latex/a_history_of_the_domino_problem/selects/._ammann.tiff
  10. +0
    -0
      latex/a_history_of_the_domino_problem/selects/._jaendal.png
  11. +0
    -0
      latex/a_history_of_the_domino_problem/selects/._kari.tiff
  12. +0
    -0
      latex/a_history_of_the_domino_problem/selects/._penrose.tiff
  13. +0
    -0
      latex/a_history_of_the_domino_problem/selects/._questions.tiff
  14. +0
    -0
      latex/a_history_of_the_domino_problem/selects/._robinson.tiff
  15. +0
    -0
      latex/a_history_of_the_domino_problem/selects/ammann.jpg
  16. +0
    -0
      latex/a_history_of_the_domino_problem/selects/ammann.xcf
  17. +0
    -0
      latex/a_history_of_the_domino_problem/selects/berger.jpg
  18. +0
    -0
      latex/a_history_of_the_domino_problem/selects/berger.xcf
  19. +0
    -0
      latex/a_history_of_the_domino_problem/selects/discos.png
  20. +0
    -0
      latex/a_history_of_the_domino_problem/selects/jaendel.jpg
  21. +0
    -0
      latex/a_history_of_the_domino_problem/selects/jaendel.xcf
  22. +0
    -0
      latex/a_history_of_the_domino_problem/selects/kari.jpg
  23. +0
    -0
      latex/a_history_of_the_domino_problem/selects/kari.xcf
  24. +0
    -0
      latex/a_history_of_the_domino_problem/selects/maquina.png
  25. +0
    -0
      latex/a_history_of_the_domino_problem/selects/maquinalit.jpg
  26. +0
    -0
      latex/a_history_of_the_domino_problem/selects/maquinalit.png
  27. +0
    -0
      latex/a_history_of_the_domino_problem/selects/maquinalit.xcf
  28. +0
    -0
      latex/a_history_of_the_domino_problem/selects/oracles.jpg
  29. +0
    -0
      latex/a_history_of_the_domino_problem/selects/oraclesannotated.jpg
  30. +0
    -0
      latex/a_history_of_the_domino_problem/selects/oraclesannotated.xcf
  31. +0
    -0
      latex/a_history_of_the_domino_problem/selects/penrose.jpg
  32. +0
    -0
      latex/a_history_of_the_domino_problem/selects/penrose.xcf
  33. +0
    -0
      latex/a_history_of_the_domino_problem/selects/robinson.jpg
  34. +0
    -0
      latex/a_history_of_the_domino_problem/selects/robinson.xcf
  35. BIN
      latex/documentation/hdp_documentation.pdf
  36. BIN
      latex/documentation/hdp_documentation.synctex.gz
  37. +0
    -21
      latex/documentation/texput.log

latex/documentation/hdp_documentation.aux → latex/a_history_of_the_domino_problem/a_history_of_the_domino_problem_score.aux View File


latex/documentation/hdp_documentation.bbl → latex/a_history_of_the_domino_problem/a_history_of_the_domino_problem_score.bbl View File


latex/documentation/hdp_documentation.blg → latex/a_history_of_the_domino_problem/a_history_of_the_domino_problem_score.blg View File

@@ -1,11 +1,11 @@
This is BibTeX, Version 0.99d (TeX Live 2019/Arch Linux)
Capacity: max_strings=100000, hash_size=100000, hash_prime=85009
The top-level auxiliary file: hdp_documentation.aux
The top-level auxiliary file: a_history_of_the_domino_problem_score.aux
The style file: unsrt.bst
Database file #1: hdp.bib
You've used 6 entries,
1791 wiz_defined-function locations,
492 strings with 4437 characters,
492 strings with 4477 characters,
and the built_in function-call counts, 1130 in all, are:
= -- 106
> -- 32

latex/documentation/hdp_documentation.log → latex/a_history_of_the_domino_problem/a_history_of_the_domino_problem_score.log View File

@@ -1,9 +1,9 @@
This is pdfTeX, Version 3.14159265-2.6-1.40.20 (TeX Live 2019/Arch Linux) (preloaded format=pdflatex 2019.9.6) 6 DEC 2019 20:54
This is pdfTeX, Version 3.14159265-2.6-1.40.20 (TeX Live 2019/Arch Linux) (preloaded format=pdflatex 2019.9.6) 9 DEC 2019 11:11
entering extended mode
restricted \write18 enabled.
%&-line parsing enabled.
**hdp_documentation.tex
(./hdp_documentation.tex
**a_history_of_the_domino_problem_score.tex
(./a_history_of_the_domino_problem_score.tex
LaTeX2e <2018-12-01>
(/usr/share/texmf-dist/tex/latex/base/letter.cls
Document Class: letter 2014/09/29 v1.2z Standard LaTeX document class
@@ -509,8 +509,8 @@ Package: enumitem 2019/02/04 v3.8 Customized lists
\enit@count@id=\count125
\enitdp@description=\count126
)
(./hdp_documentation.aux)
\openout1 = `hdp_documentation.aux'.
(./a_history_of_the_domino_problem_score.aux)
\openout1 = `a_history_of_the_domino_problem_score.aux'.

LaTeX Font Info: Checking defaults for OML/cmm/m/it on input line 72.
LaTeX Font Info: ... okay on input line 72.
@@ -526,7 +526,8 @@ LaTeX Font Info: Checking defaults for U/cmr/m/n on input line 72.
LaTeX Font Info: ... okay on input line 72.
LaTeX Font Info: Checking defaults for TS1/cmr/m/n on input line 72.
LaTeX Font Info: Try loading font information for TS1+cmr on input line 72.
(/usr/share/texmf-dist/tex/latex/base/ts1cmr.fd

(/usr/share/texmf-dist/tex/latex/base/ts1cmr.fd
File: ts1cmr.fd 2014/09/29 v2.5h Standard LaTeX font definitions
)
LaTeX Font Info: ... okay on input line 72.
@@ -664,7 +665,7 @@ File: selects/maquinalit.jpg Graphic file (type jpg)
<use selects/maquinalit.jpg>
Package pdftex.def Info: selects/maquinalit.jpg used on input line 141.
(pdftex.def) Requested size: 347.4297pt x 231.61348pt.
[3 <./selects/maquinalit.jpg>] (./hdp_documentation.bbl)
[3 <./selects/maquinalit.jpg>] (./a_history_of_the_domino_problem_score.bbl)
Underfull \hbox (badness 10000) in paragraph at lines 216--220

[]
@@ -4779,27 +4780,32 @@ Package pdftex.def Info: ../jaendel/jaendel_rao_score.pdf , page106 used on inp
ut line 277.
(pdftex.def) Requested size: 597.53416pt x 845.08372pt.

[240 <../jaendel/jaendel_rao_score.pdf>] (./hdp_documentation.aux) )
[240 <../jaendel/jaendel_rao_score.pdf>]
(./a_history_of_the_domino_problem_score.aux)

LaTeX Warning: Label(s) may have changed. Rerun to get cross-references right.

)
Here is how much of TeX's memory you used:
10520 strings out of 492623
195356 string characters out of 6135670
262037 words of memory out of 5000000
195576 string characters out of 6135670
262039 words of memory out of 5000000
14261 multiletter control sequences out of 15000+600000
6590 words of font info for 25 fonts, out of 8000000 for 9000
1141 hyphenation exceptions out of 8191
41i,18n,72p,1607b,521s stack positions out of 5000i,500n,10000p,200000b,80000s
{/usr/share
/texmf-dist/fonts/enc/dvips/cm-super/cm-super-ts1.enc}</usr/share/texmf-dist/fo
nts/type1/public/amsfonts/cm/cmbx10.pfb></usr/share/texmf-dist/fonts/type1/publ
ic/amsfonts/cm/cmbxti10.pfb></usr/share/texmf-dist/fonts/type1/public/amsfonts/
cm/cmmi10.pfb></usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmr10.pfb><
/usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmr8.pfb></usr/share/texmf
-dist/fonts/type1/public/amsfonts/cm/cmsy7.pfb></usr/share/texmf-dist/fonts/typ
e1/public/amsfonts/cm/cmti10.pfb></usr/share/texmf-dist/fonts/type1/public/amsf
onts/cm/cmti8.pfb></usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmtt10.
pfb></usr/share/texmf-dist/fonts/type1/public/cm-super/sfrm0700.pfb></usr/share
/texmf-dist/fonts/type1/public/cm-super/sfrm1000.pfb>
Output written on hdp_documentation.pdf (240 pages, 44375825 bytes).
41i,18n,72p,1697b,521s stack positions out of 5000i,500n,10000p,200000b,80000s
{/usr/share/texmf-dist/fonts/enc/dvips/cm-super/cm-super-ts1.enc}</usr/share/
texmf-dist/fonts/type1/public/amsfonts/cm/cmbx10.pfb></usr/share/texmf-dist/fon
ts/type1/public/amsfonts/cm/cmbxti10.pfb></usr/share/texmf-dist/fonts/type1/pub
lic/amsfonts/cm/cmmi10.pfb></usr/share/texmf-dist/fonts/type1/public/amsfonts/c
m/cmr10.pfb></usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmr8.pfb></us
r/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmsy7.pfb></usr/share/texmf-d
ist/fonts/type1/public/amsfonts/cm/cmti10.pfb></usr/share/texmf-dist/fonts/type
1/public/amsfonts/cm/cmti8.pfb></usr/share/texmf-dist/fonts/type1/public/amsfon
ts/cm/cmtt10.pfb></usr/share/texmf-dist/fonts/type1/public/cm-super/sfrm0700.pf
b></usr/share/texmf-dist/fonts/type1/public/cm-super/sfrm1000.pfb>
Output written on a_history_of_the_domino_problem_score.pdf (240 pages, 4437591
8 bytes).
PDF statistics:
1650 PDF objects out of 1728 (max. 8388607)
853 compressed objects within 9 object streams

BIN
latex/documentation/a_history_of_the_domino_problem_score.pdf → latex/a_history_of_the_domino_problem/a_history_of_the_domino_problem_score.pdf View File


BIN
latex/a_history_of_the_domino_problem/a_history_of_the_domino_problem_score.synctex.gz View File


latex/documentation/hdp_documentation.tex → latex/a_history_of_the_domino_problem/a_history_of_the_domino_problem_score.tex View File

@@ -211,7 +211,7 @@ ca 2015 & Jaendel \& Rao & 11 tiles with an incredible computer-assisted proof t

\bigskip

A special thanks to: Alice Koegel, Ana Filipovic\textsuperscript{$*$}, Angela Butterstein\textsuperscript{†}, Anita Carey-Yard\textsuperscript{†}, Aykan Safoğlu\textsuperscript{$*$}, Bjoern Gottstein, Charis von Ristok\textsuperscript{†}, Christof Pruss, Daniela Kern-Michler\textsuperscript{§}, David Frühauf\textsuperscript{$*$}, David Mathews\textsuperscript{$*$}, Denise Helene Sumi\textsuperscript{$*$}, Edith Lázár\textsuperscript{$*$}, Elena Morena Weber\textsuperscript{$*$}, Elke aus dem Moore\textsuperscript{†}, Elmar Mellert, Helmut Dietz\textsuperscript{†}, Irasema Fernandez, Johanna Markert\textsuperscript{$*$}, Julian Hartbaum\textsuperscript{‡}, Konstantin Lom\textsuperscript{†}, Leon Müllner\textsuperscript{$*$}, Luise Boege\textsuperscript{$*$}, Lukas Ludwig\textsuperscript{$*$}, Luke Wilkins\textsuperscript{$*$}, Marieanne Roth\textsuperscript{†}, Mathias Irmsher\textsuperscript{‡}, Mitra Wakil\textsuperscript{$*$}, Patrizia Bach\textsuperscript{$*$}, Philip Mecke\textsuperscript{$*$}, Robert Blatt\textsuperscript{$*$}, Sander Wickersheim\textsuperscript{†}, Savyon\textsuperscript{$*$}, Silke Pflüger\textsuperscript{†}, Sílvia das Fadas\textsuperscript{$*$}, Simar Preet Kaur\textsuperscript{$*$}, Sonja Flury\textsuperscript{†}, Sophia Guggenberger\textsuperscript{$*$}, Sophie-Charlotte Thieroff\textsuperscript{†}, Stephan Martens\textsuperscript{‡}, Susanna Flock\textsuperscript{$*$}, Tom Rosenberg\textsuperscript{$*$}, Vincenzo Talluto\textsuperscript{§}, Yuval Shenhar\textsuperscript{$*$}
A special thanks to: Alice Koegel, Ana Filipovic\textsuperscript{$*$}, Angela Butterstein\textsuperscript{†}, Anita Carey-Yard\textsuperscript{†}, Aykan Safoğlu\textsuperscript{$*$}, Bjoern Gottstein, Charis von Ristok\textsuperscript{†}, Christof Pruss, Daniela Kern-Michler\textsuperscript{§}, David Frühauf\textsuperscript{$*$}, David Mathews\textsuperscript{$*$}, Deborah Walker, Denise Helene Sumi\textsuperscript{$*$}, Didier Aschour, Edith Lázár\textsuperscript{$*$}, Elena Morena Weber\textsuperscript{$*$}, Elke aus dem Moore\textsuperscript{†}, Elmar Mellert, Florian Hoelscher, Gaetan Borot, Helmut Dietz\textsuperscript{†}, Irasema Fernandez, Johanna Markert\textsuperscript{$*$}, Julian Hartbaum\textsuperscript{‡}, Konstantin Lom\textsuperscript{†}, Leon Müllner\textsuperscript{$*$}, Luise Boege\textsuperscript{$*$}, Lukas Ludwig\textsuperscript{$*$}, Luke Wilkins\textsuperscript{$*$}, Marieanne Roth\textsuperscript{†}, Mathias Irmsher\textsuperscript{‡}, Mitra Wakil\textsuperscript{$*$}, Patrizia Bach\textsuperscript{$*$}, Philip Mecke\textsuperscript{$*$}, Robert Blatt\textsuperscript{$*$}, Sander Wickersheim\textsuperscript{†}, Savyon\textsuperscript{$*$}, Silke Pflüger\textsuperscript{†}, Sílvia das Fadas\textsuperscript{$*$}, Simar Preet Kaur\textsuperscript{$*$}, Sonja Flury\textsuperscript{†}, Sophia Guggenberger\textsuperscript{$*$}, Sophie-Charlotte Thieroff\textsuperscript{†}, Stephan Martens\textsuperscript{‡}, Susanna Flock\textsuperscript{$*$}, Tom Rosenberg\textsuperscript{$*$}, Vincenzo Talluto\textsuperscript{§}, and Yuval Shenhar\textsuperscript{$*$}.

* denotes contemporary resident at Akademie Schloss Solitude\\
† denotes Akademie Schloss Solitude staff\\

latex/documentation/hdp.bib → latex/a_history_of_the_domino_problem/hdp.bib View File


latex/documentation/selects/._ammann.tiff → latex/a_history_of_the_domino_problem/selects/._ammann.tiff View File


latex/documentation/selects/._jaendal.png → latex/a_history_of_the_domino_problem/selects/._jaendal.png View File


latex/documentation/selects/._kari.tiff → latex/a_history_of_the_domino_problem/selects/._kari.tiff View File


latex/documentation/selects/._penrose.tiff → latex/a_history_of_the_domino_problem/selects/._penrose.tiff View File


latex/documentation/selects/._questions.tiff → latex/a_history_of_the_domino_problem/selects/._questions.tiff View File


latex/documentation/selects/._robinson.tiff → latex/a_history_of_the_domino_problem/selects/._robinson.tiff View File


latex/documentation/selects/ammann.jpg → latex/a_history_of_the_domino_problem/selects/ammann.jpg View File


latex/documentation/selects/ammann.xcf → latex/a_history_of_the_domino_problem/selects/ammann.xcf View File


latex/documentation/selects/berger.jpg → latex/a_history_of_the_domino_problem/selects/berger.jpg View File


latex/documentation/selects/berger.xcf → latex/a_history_of_the_domino_problem/selects/berger.xcf View File


latex/documentation/selects/discos.png → latex/a_history_of_the_domino_problem/selects/discos.png View File


latex/documentation/selects/jaendel.jpg → latex/a_history_of_the_domino_problem/selects/jaendel.jpg View File


latex/documentation/selects/jaendel.xcf → latex/a_history_of_the_domino_problem/selects/jaendel.xcf View File


latex/documentation/selects/kari.jpg → latex/a_history_of_the_domino_problem/selects/kari.jpg View File


latex/documentation/selects/kari.xcf → latex/a_history_of_the_domino_problem/selects/kari.xcf View File


latex/documentation/selects/maquina.png → latex/a_history_of_the_domino_problem/selects/maquina.png View File


latex/documentation/selects/maquinalit.jpg → latex/a_history_of_the_domino_problem/selects/maquinalit.jpg View File


latex/documentation/selects/maquinalit.png → latex/a_history_of_the_domino_problem/selects/maquinalit.png View File


latex/documentation/selects/maquinalit.xcf → latex/a_history_of_the_domino_problem/selects/maquinalit.xcf View File


latex/documentation/selects/oracles.jpg → latex/a_history_of_the_domino_problem/selects/oracles.jpg View File


latex/documentation/selects/oraclesannotated.jpg → latex/a_history_of_the_domino_problem/selects/oraclesannotated.jpg View File


latex/documentation/selects/oraclesannotated.xcf → latex/a_history_of_the_domino_problem/selects/oraclesannotated.xcf View File


latex/documentation/selects/penrose.jpg → latex/a_history_of_the_domino_problem/selects/penrose.jpg View File


latex/documentation/selects/penrose.xcf → latex/a_history_of_the_domino_problem/selects/penrose.xcf View File


latex/documentation/selects/robinson.jpg → latex/a_history_of_the_domino_problem/selects/robinson.jpg View File


latex/documentation/selects/robinson.xcf → latex/a_history_of_the_domino_problem/selects/robinson.xcf View File


BIN
latex/documentation/hdp_documentation.pdf View File


BIN
latex/documentation/hdp_documentation.synctex.gz View File


+ 0
- 21
latex/documentation/texput.log View File

@@ -1,21 +0,0 @@
This is pdfTeX, Version 3.14159265-2.6-1.40.20 (TeX Live 2019/Arch Linux) (preloaded format=pdflatex 2019.9.6) 26 NOV 2019 11:07
entering extended mode
restricted \write18 enabled.
%&-line parsing enabled.
**hdp.tex

! Emergency stop.
<*> hdp.tex
*** (job aborted, file error in nonstop mode)

Here is how much of TeX's memory you used:
3 strings out of 492623
109 string characters out of 6135670
56958 words of memory out of 5000000
4018 multiletter control sequences out of 15000+600000
3640 words of font info for 14 fonts, out of 8000000 for 9000
1141 hyphenation exceptions out of 8191
0i,0n,0p,1b,6s stack positions out of 5000i,500n,10000p,200000b,80000s
! ==> Fatal error occurred, no output PDF file produced!

Loading…
Cancel
Save