diff --git a/latex/documentation/hdp.bib b/latex/documentation/hdp.bib new file mode 100644 index 0000000..25ba1ac --- /dev/null +++ b/latex/documentation/hdp.bib @@ -0,0 +1,78 @@ + +@article{doi:10.1002/j.1538-7305.1961.tb03975.x, +author = {Wang, Hao}, +title = {Proving Theorems by Pattern Recognition — II}, +journal = {Bell System Technical Journal}, +volume = {40}, +number = {1}, +pages = {1-41}, +year = {1961} +} + +@book{berger1966undecidability, + title={The Undecidability of the Domino Problem}, + author={Berger, R.}, + isbn={9780821812662}, + series={Memoirs ; No 1/66}, + url={https://books.google.com/books?id=mLfTCQAAQBAJ}, + year={1966}, + publisher={American Mathematical Society} +} + +@Article{Robinson1971, +author="Robinson, Raphael M.", +title="Undecidability and nonperiodicity for tilings of the plane", +journal="Inventiones mathematicae", +year="1971", +month="Sep", +day="01", +volume="12", +number="3", +pages="177--209", +issn="1432-1297", +doi="10.1007/BF01418780", +url="https://doi.org/10.1007/BF01418780" +} + +@book{Grunbaum:1986:TP:19304, + author = {Gr\"{u}nbaum, Branko and Shephard, G C}, + title = {Tilings and Patterns}, + year = {1986}, + isbn = {0-716-71193-1}, + publisher = {W. H. Freeman \& Co.}, + address = {New York, NY, USA}, +} + +@article{Kari:1996:SAS:245761.245817, + author = {Kari, Jarkko}, + title = {A Small Aperiodic Set of Wang Tiles}, + journal = {Discrete Math.}, + issue_date = {Nov. 15, 1996}, + volume = {160}, + number = {1-3}, + month = nov, + year = {1996}, + issn = {0012-365X}, + pages = {259--264}, + numpages = {6}, + url = {http://dx.doi.org/10.1016/0012-365X(95)00120-L}, + doi = {10.1016/0012-365X(95)00120-L}, + acmid = {245817}, + publisher = {Elsevier Science Publishers B. V.}, + address = {Amsterdam, The Netherlands, The Netherlands}, +} + +@article{DBLP:journals/corr/JeandelR15, + author = {Emmanuel Jeandel and + Micha{\"{e}}l Rao}, + title = {An aperiodic set of 11 Wang tiles}, + journal = {CoRR}, + volume = {abs/1506.06492}, + year = {2015}, + url = {http://arxiv.org/abs/1506.06492}, + archivePrefix = {arXiv}, + eprint = {1506.06492}, + timestamp = {Mon, 13 Aug 2018 16:48:45 +0200}, + biburl = {https://dblp.org/rec/bib/journals/corr/JeandelR15}, + bibsource = {dblp computer science bibliography, https://dblp.org} +} \ No newline at end of file diff --git a/latex/documentation/hdp_documentation.aux b/latex/documentation/hdp_documentation.aux new file mode 100644 index 0000000..ed691d8 --- /dev/null +++ b/latex/documentation/hdp_documentation.aux @@ -0,0 +1,11 @@ +\relax +\catcode 95\active +\citation{*} +\bibstyle{unsrt} +\bibdata{hdp} +\bibcite{doi:10.1002/j.1538-7305.1961.tb03975.x}{1} +\bibcite{berger1966undecidability}{2} +\bibcite{Robinson1971}{3} +\bibcite{Grunbaum:1986:TP:19304}{4} +\bibcite{Kari:1996:SAS:245761.245817}{5} +\bibcite{DBLP:journals/corr/JeandelR15}{6} diff --git a/latex/documentation/hdp_documentation.bbl b/latex/documentation/hdp_documentation.bbl new file mode 100644 index 0000000..bbeaed9 --- /dev/null +++ b/latex/documentation/hdp_documentation.bbl @@ -0,0 +1,33 @@ +\begin{thebibliography}{1} + +\bibitem{doi:10.1002/j.1538-7305.1961.tb03975.x} +Hao Wang. +\newblock Proving theorems by pattern recognition — ii. +\newblock {\em Bell System Technical Journal}, 40(1):1--41, 1961. + +\bibitem{berger1966undecidability} +R.~Berger. +\newblock {\em The Undecidability of the Domino Problem}. +\newblock Memoirs ; No 1/66. American Mathematical Society, 1966. + +\bibitem{Robinson1971} +Raphael~M. Robinson. +\newblock Undecidability and nonperiodicity for tilings of the plane. +\newblock {\em Inventiones mathematicae}, 12(3):177--209, Sep 1971. + +\bibitem{Grunbaum:1986:TP:19304} +Branko Gr\"{u}nbaum and G~C Shephard. +\newblock {\em Tilings and Patterns}. +\newblock W. H. Freeman \& Co., New York, NY, USA, 1986. + +\bibitem{Kari:1996:SAS:245761.245817} +Jarkko Kari. +\newblock A small aperiodic set of wang tiles. +\newblock {\em Discrete Math.}, 160(1-3):259--264, November 1996. + +\bibitem{DBLP:journals/corr/JeandelR15} +Emmanuel Jeandel and Micha{\"{e}}l Rao. +\newblock An aperiodic set of 11 wang tiles. +\newblock {\em CoRR}, abs/1506.06492, 2015. + +\end{thebibliography} diff --git a/latex/documentation/hdp_documentation.blg b/latex/documentation/hdp_documentation.blg new file mode 100644 index 0000000..860a4ae --- /dev/null +++ b/latex/documentation/hdp_documentation.blg @@ -0,0 +1,46 @@ +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 style file: unsrt.bst +Database file #1: hdp.bib +You've used 6 entries, + 1791 wiz_defined-function locations, + 492 strings with 4437 characters, +and the built_in function-call counts, 1130 in all, are: += -- 106 +> -- 32 +< -- 0 ++ -- 14 +- -- 8 +* -- 69 +:= -- 188 +add.period$ -- 19 +call.type$ -- 6 +change.case$ -- 4 +chr.to.int$ -- 0 +cite$ -- 6 +duplicate$ -- 55 +empty$ -- 122 +format.name$ -- 8 +if$ -- 251 +int.to.chr$ -- 0 +int.to.str$ -- 6 +missing$ -- 8 +newline$ -- 33 +num.names$ -- 6 +pop$ -- 15 +preamble$ -- 1 +purify$ -- 0 +quote$ -- 0 +skip$ -- 19 +stack$ -- 0 +substring$ -- 62 +swap$ -- 6 +text.length$ -- 0 +text.prefix$ -- 0 +top$ -- 0 +type$ -- 0 +warning$ -- 0 +while$ -- 11 +width$ -- 7 +write$ -- 68 diff --git a/latex/documentation/hdp_documentation.log b/latex/documentation/hdp_documentation.log new file mode 100644 index 0000000..f6e9230 --- /dev/null +++ b/latex/documentation/hdp_documentation.log @@ -0,0 +1,703 @@ +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 19:28 +entering extended mode + restricted \write18 enabled. + %&-line parsing enabled. +**hdp_documentation.tex +(./hdp_documentation.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 +(/usr/share/texmf-dist/tex/latex/base/size10.clo +File: size10.clo 2018/09/03 v1.4i Standard LaTeX file (size option) +) +\longindentation=\dimen102 +\indentedwidth=\dimen103 +\labelcount=\count80 +) +(/usr/share/texmf-dist/tex/latex/geometry/geometry.sty +Package: geometry 2018/04/16 v5.8 Page Geometry + +(/usr/share/texmf-dist/tex/latex/graphics/keyval.sty +Package: keyval 2014/10/28 v1.15 key=value parser (DPC) +\KV@toks@=\toks14 +) +(/usr/share/texmf-dist/tex/generic/oberdiek/ifpdf.sty +Package: ifpdf 2018/09/07 v3.3 Provides the ifpdf switch +) +(/usr/share/texmf-dist/tex/generic/oberdiek/ifvtex.sty +Package: ifvtex 2016/05/16 v1.6 Detect VTeX and its facilities (HO) +Package ifvtex Info: VTeX not detected. +) +(/usr/share/texmf-dist/tex/generic/ifxetex/ifxetex.sty +Package: ifxetex 2010/09/12 v0.6 Provides ifxetex conditional +) +\Gm@cnth=\count81 +\Gm@cntv=\count82 +\c@Gm@tempcnt=\count83 +\Gm@bindingoffset=\dimen104 +\Gm@wd@mp=\dimen105 +\Gm@odd@mp=\dimen106 +\Gm@even@mp=\dimen107 +\Gm@layoutwidth=\dimen108 +\Gm@layoutheight=\dimen109 +\Gm@layouthoffset=\dimen110 +\Gm@layoutvoffset=\dimen111 +\Gm@dimlist=\toks15 +) +(/usr/share/texmf-dist/tex/latex/mathtools/mathtools.sty +Package: mathtools 2018/01/08 v1.21 mathematical typesetting tools + +(/usr/share/texmf-dist/tex/latex/tools/calc.sty +Package: calc 2017/05/25 v4.3 Infix arithmetic (KKT,FJ) +\calc@Acount=\count84 +\calc@Bcount=\count85 +\calc@Adimen=\dimen112 +\calc@Bdimen=\dimen113 +\calc@Askip=\skip41 +\calc@Bskip=\skip42 +LaTeX Info: Redefining \setlength on input line 80. +LaTeX Info: Redefining \addtolength on input line 81. +\calc@Ccount=\count86 +\calc@Cskip=\skip43 +) +(/usr/share/texmf-dist/tex/latex/mathtools/mhsetup.sty +Package: mhsetup 2017/03/31 v1.3 programming setup (MH) +) +(/usr/share/texmf-dist/tex/latex/amsmath/amsmath.sty +Package: amsmath 2018/12/01 v2.17b AMS math features +\@mathmargin=\skip44 + +For additional information on amsmath, use the `?' option. +(/usr/share/texmf-dist/tex/latex/amsmath/amstext.sty +Package: amstext 2000/06/29 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@=\dimen114 +)) +(/usr/share/texmf-dist/tex/latex/amsmath/amsbsy.sty +Package: amsbsy 1999/11/29 v1.2d Bold Symbols +\pmbraise@=\dimen115 +) +(/usr/share/texmf-dist/tex/latex/amsmath/amsopn.sty +Package: amsopn 2016/03/08 v2.02 operator names +) +\inf@bad=\count87 +LaTeX Info: Redefining \frac on input line 223. +\uproot@=\count88 +\leftroot@=\count89 +LaTeX Info: Redefining \overline on input line 385. +\classnum@=\count90 +\DOTSCASE@=\count91 +LaTeX Info: Redefining \ldots on input line 482. +LaTeX Info: Redefining \dots on input line 485. +LaTeX Info: Redefining \cdots on input line 606. +\Mathstrutbox@=\box27 +\strutbox@=\box28 +\big@size=\dimen116 +LaTeX Font Info: Redeclaring font encoding OML on input line 729. +LaTeX Font Info: Redeclaring font encoding OMS on input line 730. +\macc@depth=\count92 +\c@MaxMatrixCols=\count93 +\dotsspace@=\muskip10 +\c@parentequation=\count94 +\dspbrk@lvl=\count95 +\tag@help=\toks17 +\row@=\count96 +\column@=\count97 +\maxfields@=\count98 +\andhelp@=\toks18 +\eqnshift@=\dimen117 +\alignsep@=\dimen118 +\tagshift@=\dimen119 +\tagwidth@=\dimen120 +\totwidth@=\dimen121 +\lineht@=\dimen122 +\@envbody=\toks19 +\multlinegap=\skip45 +\multlinetaggap=\skip46 +\mathdisplay@stack=\toks20 +LaTeX Info: Redefining \[ on input line 2844. +LaTeX Info: Redefining \] on input line 2845. +) +LaTeX Info: Thecontrolsequence`\('isalreadyrobust on input line 129. +LaTeX Info: Thecontrolsequence`\)'isalreadyrobust on input line 129. +LaTeX Info: Thecontrolsequence`\['isalreadyrobust on input line 129. +LaTeX Info: Thecontrolsequence`\]'isalreadyrobust on input line 129. +\g_MT_multlinerow_int=\count99 +\l_MT_multwidth_dim=\dimen123 +\origjot=\skip47 +\l_MT_shortvdotswithinadjustabove_dim=\dimen124 +\l_MT_shortvdotswithinadjustbelow_dim=\dimen125 +\l_MT_above_intertext_sep=\dimen126 +\l_MT_below_intertext_sep=\dimen127 +\l_MT_above_shortintertext_sep=\dimen128 +\l_MT_below_shortintertext_sep=\dimen129 +) +(/usr/share/texmf-dist/tex/latex/wasysym/wasysym.sty +Package: wasysym 2003/10/30 v2.0 Wasy-2 symbol support package +\symwasy=\mathgroup4 +LaTeX Font Info: Overwriting symbol font `wasy' in version `bold' +(Font) U/wasy/m/n --> U/wasy/b/n on input line 90. +) +(/usr/share/texmf-dist/tex/latex/tools/multicol.sty +Package: multicol 2018/12/27 v1.8v multicolumn formatting (FMi) +\c@tracingmulticols=\count100 +\mult@box=\box29 +\multicol@leftmargin=\dimen130 +\c@unbalance=\count101 +\c@collectmore=\count102 +\doublecol@number=\count103 +\multicoltolerance=\count104 +\multicolpretolerance=\count105 +\full@width=\dimen131 +\page@free=\dimen132 +\premulticols=\dimen133 +\postmulticols=\dimen134 +\multicolsep=\skip48 +\multicolbaselineskip=\skip49 +\partial@page=\box30 +\last@line=\box31 +\maxbalancingoverflow=\dimen135 +\mult@rightbox=\box32 +\mult@grightbox=\box33 +\mult@gfirstbox=\box34 +\mult@firstbox=\box35 +\@tempa=\box36 +\@tempa=\box37 +\@tempa=\box38 +\@tempa=\box39 +\@tempa=\box40 +\@tempa=\box41 +\@tempa=\box42 +\@tempa=\box43 +\@tempa=\box44 +\@tempa=\box45 +\@tempa=\box46 +\@tempa=\box47 +\@tempa=\box48 +\@tempa=\box49 +\@tempa=\box50 +\@tempa=\box51 +\@tempa=\box52 +\c@columnbadness=\count106 +\c@finalcolumnbadness=\count107 +\last@try=\dimen136 +\multicolovershoot=\dimen137 +\multicolundershoot=\dimen138 +\mult@nat@firstbox=\box53 +\colbreak@box=\box54 +\mc@col@check@num=\count108 +) +(/usr/share/texmf-dist/tex/generic/dirtree/dirtree.sty +Package: dirtree 2012/12/11 v0.32 package wrapper for dirtree + +(/usr/share/texmf-dist/tex/generic/dirtree/dirtree.tex +`dirtree' v0.32, 2012/12/11 (jcc) +\DT@offset=\dimen139 +\DT@width=\dimen140 +\DT@sep=\dimen141 +\DT@all=\dimen142 +\DT@rulewidth=\dimen143 +\DT@dotwidth=\dimen144 +\DTbaselineskip=\dimen145 +\DT@counti=\count109 +\DT@countii=\count110 +\DT@countiii=\count111 +\DT@countiv=\count112 +\DT@indent=\dimen146 +\DT@parskip=\dimen147 +\DT@baselineskip=\dimen148 +) +File: dirtree.tex 2012/12/11 v0.32 `dirtree' (jcc) +) +(/usr/share/texmf-dist/tex/latex/underscore/underscore.sty +Package: underscore 2006/09/13 +LaTeX Info: Redefining \_ on input line 42. +) +(/usr/share/texmf-dist/tex/latex/pdfpages/pdfpages.sty +Package: pdfpages 2017/10/31 v0.5l Insert pages of external PDF documents (AM) + +(/usr/share/texmf-dist/tex/latex/base/ifthen.sty +Package: ifthen 2014/09/29 v1.1c Standard LaTeX ifthen package (DPC) +) +(/usr/share/texmf-dist/tex/latex/eso-pic/eso-pic.sty +Package: eso-pic 2018/04/12 v2.0h eso-pic (RN) + +(/usr/share/texmf-dist/tex/generic/oberdiek/atbegshi.sty +Package: atbegshi 2016/06/09 v1.18 At begin shipout hook (HO) + +(/usr/share/texmf-dist/tex/generic/oberdiek/infwarerr.sty +Package: infwarerr 2016/05/16 v1.4 Providing info/warning/error messages (HO) +) +(/usr/share/texmf-dist/tex/generic/oberdiek/ltxcmds.sty +Package: ltxcmds 2016/05/16 v1.23 LaTeX kernel commands for general use (HO) +)) +(/usr/share/texmf-dist/tex/latex/xcolor/xcolor.sty +Package: xcolor 2016/05/11 v2.12 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 225. + +(/usr/share/texmf-dist/tex/latex/graphics-def/pdftex.def +File: pdftex.def 2018/01/08 v1.0l Graphics/color driver for pdftex +) +Package xcolor Info: Model `cmy' substituted by `cmy0' on input line 1348. +Package xcolor Info: Model `hsb' substituted by `rgb' on input line 1352. +Package xcolor Info: Model `RGB' extended on input line 1364. +Package xcolor Info: Model `HTML' substituted by `rgb' on input line 1366. +Package xcolor Info: Model `Hsb' substituted by `hsb' on input line 1367. +Package xcolor Info: Model `tHsb' substituted by `hsb' on input line 1368. +Package xcolor Info: Model `HSB' substituted by `hsb' on input line 1369. +Package xcolor Info: Model `Gray' substituted by `gray' on input line 1370. +Package xcolor Info: Model `wave' substituted by `hsb' on input line 1371. +)) +(/usr/share/texmf-dist/tex/latex/graphics/graphicx.sty +Package: graphicx 2017/06/01 v1.1a Enhanced LaTeX Graphics (DPC,SPQR) + +(/usr/share/texmf-dist/tex/latex/graphics/graphics.sty +Package: graphics 2017/06/25 v1.2c Standard LaTeX Graphics (DPC,SPQR) + +(/usr/share/texmf-dist/tex/latex/graphics/trig.sty +Package: trig 2016/01/03 v1.10 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 99. +) +\Gin@req@height=\dimen149 +\Gin@req@width=\dimen150 +) +\AM@pagewidth=\dimen151 +\AM@pageheight=\dimen152 + +(/usr/share/texmf-dist/tex/latex/pdfpages/pppdftex.def +File: pppdftex.def 2017/10/31 v0.5l Pdfpages driver for pdfTeX (AM) +) +\AM@pagebox=\box55 +\AM@global@opts=\toks21 +\AM@toc@title=\toks22 +\c@AM@survey=\count113 +\AM@templatesizebox=\box56 +) +(/usr/share/texmf-dist/tex/latex/sclang-prettifier/sclang-prettifier.sty +Package: sclang-prettifier 2014/06/14 v0.1 A package for prettyprinting SuperCo +llider source code + +(/usr/share/texmf-dist/tex/latex/base/textcomp.sty +Package: textcomp 2018/08/11 v2.0j Standard LaTeX package +Package textcomp Info: Sub-encoding information: +(textcomp) 5 = only ISO-Adobe without \textcurrency +(textcomp) 4 = 5 + \texteuro +(textcomp) 3 = 4 + \textohm +(textcomp) 2 = 3 + \textestimated + \textcurrency +(textcomp) 1 = TS1 - \textcircled - \t +(textcomp) 0 = TS1 (full) +(textcomp) Font families with sub-encoding setting implement +(textcomp) only a restricted character set as indicated. +(textcomp) Family '?' is the default used for unknown fonts. +(textcomp) See the documentation for details. +Package textcomp Info: Setting ? sub-encoding to TS1/1 on input line 79. + +(/usr/share/texmf-dist/tex/latex/base/ts1enc.def +File: ts1enc.def 2001/06/05 v3.0e (jk/car/fm) Standard LaTeX file +Now handling font encoding TS1 ... +... processing UTF-8 mapping file for font encoding TS1 + +(/usr/share/texmf-dist/tex/latex/base/ts1enc.dfu +File: ts1enc.dfu 2018/10/05 v1.2f UTF-8 support for inputenc + defining Unicode char U+00A2 (decimal 162) + defining Unicode char U+00A3 (decimal 163) + defining Unicode char U+00A4 (decimal 164) + defining Unicode char U+00A5 (decimal 165) + defining Unicode char U+00A6 (decimal 166) + defining Unicode char U+00A7 (decimal 167) + defining Unicode char U+00A8 (decimal 168) + defining Unicode char U+00A9 (decimal 169) + defining Unicode char U+00AA (decimal 170) + defining Unicode char U+00AC (decimal 172) + defining Unicode char U+00AE (decimal 174) + defining Unicode char U+00AF (decimal 175) + defining Unicode char U+00B0 (decimal 176) + defining Unicode char U+00B1 (decimal 177) + defining Unicode char U+00B2 (decimal 178) + defining Unicode char U+00B3 (decimal 179) + defining Unicode char U+00B4 (decimal 180) + defining Unicode char U+00B5 (decimal 181) + defining Unicode char U+00B6 (decimal 182) + defining Unicode char U+00B7 (decimal 183) + defining Unicode char U+00B9 (decimal 185) + defining Unicode char U+00BA (decimal 186) + defining Unicode char U+00BC (decimal 188) + defining Unicode char U+00BD (decimal 189) + defining Unicode char U+00BE (decimal 190) + defining Unicode char U+00D7 (decimal 215) + defining Unicode char U+00F7 (decimal 247) + defining Unicode char U+0192 (decimal 402) + defining Unicode char U+02C7 (decimal 711) + defining Unicode char U+02D8 (decimal 728) + defining Unicode char U+02DD (decimal 733) + defining Unicode char U+0E3F (decimal 3647) + defining Unicode char U+2016 (decimal 8214) + defining Unicode char U+2020 (decimal 8224) + defining Unicode char U+2021 (decimal 8225) + defining Unicode char U+2022 (decimal 8226) + defining Unicode char U+2030 (decimal 8240) + defining Unicode char U+2031 (decimal 8241) + defining Unicode char U+203B (decimal 8251) + defining Unicode char U+203D (decimal 8253) + defining Unicode char U+2044 (decimal 8260) + defining Unicode char U+204E (decimal 8270) + defining Unicode char U+2052 (decimal 8274) + defining Unicode char U+20A1 (decimal 8353) + defining Unicode char U+20A4 (decimal 8356) + defining Unicode char U+20A6 (decimal 8358) + defining Unicode char U+20A9 (decimal 8361) + defining Unicode char U+20AB (decimal 8363) + defining Unicode char U+20AC (decimal 8364) + defining Unicode char U+20B1 (decimal 8369) + defining Unicode char U+2103 (decimal 8451) + defining Unicode char U+2116 (decimal 8470) + defining Unicode char U+2117 (decimal 8471) + defining Unicode char U+211E (decimal 8478) + defining Unicode char U+2120 (decimal 8480) + defining Unicode char U+2122 (decimal 8482) + defining Unicode char U+2126 (decimal 8486) + defining Unicode char U+2127 (decimal 8487) + defining Unicode char U+212E (decimal 8494) + defining Unicode char U+2190 (decimal 8592) + defining Unicode char U+2191 (decimal 8593) + defining Unicode char U+2192 (decimal 8594) + defining Unicode char U+2193 (decimal 8595) + defining Unicode char U+2329 (decimal 9001) + defining Unicode char U+232A (decimal 9002) + defining Unicode char U+2422 (decimal 9250) + defining Unicode char U+25E6 (decimal 9702) + defining Unicode char U+25EF (decimal 9711) + defining Unicode char U+266A (decimal 9834) + defining Unicode char U+FEFF (decimal 65279) +)) +LaTeX Info: Redefining \oldstylenums on input line 334. +Package textcomp Info: Setting cmr sub-encoding to TS1/0 on input line 349. +Package textcomp Info: Setting cmss sub-encoding to TS1/0 on input line 350. +Package textcomp Info: Setting cmtt sub-encoding to TS1/0 on input line 351. +Package textcomp Info: Setting cmvtt sub-encoding to TS1/0 on input line 352. +Package textcomp Info: Setting cmbr sub-encoding to TS1/0 on input line 353. +Package textcomp Info: Setting cmtl sub-encoding to TS1/0 on input line 354. +Package textcomp Info: Setting ccr sub-encoding to TS1/0 on input line 355. +Package textcomp Info: Setting ptm sub-encoding to TS1/4 on input line 356. +Package textcomp Info: Setting pcr sub-encoding to TS1/4 on input line 357. +Package textcomp Info: Setting phv sub-encoding to TS1/4 on input line 358. +Package textcomp Info: Setting ppl sub-encoding to TS1/3 on input line 359. +Package textcomp Info: Setting pag sub-encoding to TS1/4 on input line 360. +Package textcomp Info: Setting pbk sub-encoding to TS1/4 on input line 361. +Package textcomp Info: Setting pnc sub-encoding to TS1/4 on input line 362. +Package textcomp Info: Setting pzc sub-encoding to TS1/4 on input line 363. +Package textcomp Info: Setting bch sub-encoding to TS1/4 on input line 364. +Package textcomp Info: Setting put sub-encoding to TS1/5 on input line 365. +Package textcomp Info: Setting uag sub-encoding to TS1/5 on input line 366. +Package textcomp Info: Setting ugq sub-encoding to TS1/5 on input line 367. +Package textcomp Info: Setting ul8 sub-encoding to TS1/4 on input line 368. +Package textcomp Info: Setting ul9 sub-encoding to TS1/4 on input line 369. +Package textcomp Info: Setting augie sub-encoding to TS1/5 on input line 370. +Package textcomp Info: Setting dayrom sub-encoding to TS1/3 on input line 371. +Package textcomp Info: Setting dayroms sub-encoding to TS1/3 on input line 372. + +Package textcomp Info: Setting pxr sub-encoding to TS1/0 on input line 373. +Package textcomp Info: Setting pxss sub-encoding to TS1/0 on input line 374. +Package textcomp Info: Setting pxtt sub-encoding to TS1/0 on input line 375. +Package textcomp Info: Setting txr sub-encoding to TS1/0 on input line 376. +Package textcomp Info: Setting txss sub-encoding to TS1/0 on input line 377. +Package textcomp Info: Setting txtt sub-encoding to TS1/0 on input line 378. +Package textcomp Info: Setting lmr sub-encoding to TS1/0 on input line 379. +Package textcomp Info: Setting lmdh sub-encoding to TS1/0 on input line 380. +Package textcomp Info: Setting lmss sub-encoding to TS1/0 on input line 381. +Package textcomp Info: Setting lmssq sub-encoding to TS1/0 on input line 382. +Package textcomp Info: Setting lmvtt sub-encoding to TS1/0 on input line 383. +Package textcomp Info: Setting lmtt sub-encoding to TS1/0 on input line 384. +Package textcomp Info: Setting qhv sub-encoding to TS1/0 on input line 385. +Package textcomp Info: Setting qag sub-encoding to TS1/0 on input line 386. +Package textcomp Info: Setting qbk sub-encoding to TS1/0 on input line 387. +Package textcomp Info: Setting qcr sub-encoding to TS1/0 on input line 388. +Package textcomp Info: Setting qcs sub-encoding to TS1/0 on input line 389. +Package textcomp Info: Setting qpl sub-encoding to TS1/0 on input line 390. +Package textcomp Info: Setting qtm sub-encoding to TS1/0 on input line 391. +Package textcomp Info: Setting qzc sub-encoding to TS1/0 on input line 392. +Package textcomp Info: Setting qhvc sub-encoding to TS1/0 on input line 393. +Package textcomp Info: Setting futs sub-encoding to TS1/4 on input line 394. +Package textcomp Info: Setting futx sub-encoding to TS1/4 on input line 395. +Package textcomp Info: Setting futj sub-encoding to TS1/4 on input line 396. +Package textcomp Info: Setting hlh sub-encoding to TS1/3 on input line 397. +Package textcomp Info: Setting hls sub-encoding to TS1/3 on input line 398. +Package textcomp Info: Setting hlst sub-encoding to TS1/3 on input line 399. +Package textcomp Info: Setting hlct sub-encoding to TS1/5 on input line 400. +Package textcomp Info: Setting hlx sub-encoding to TS1/5 on input line 401. +Package textcomp Info: Setting hlce sub-encoding to TS1/5 on input line 402. +Package textcomp Info: Setting hlcn sub-encoding to TS1/5 on input line 403. +Package textcomp Info: Setting hlcw sub-encoding to TS1/5 on input line 404. +Package textcomp Info: Setting hlcf sub-encoding to TS1/5 on input line 405. +Package textcomp Info: Setting pplx sub-encoding to TS1/3 on input line 406. +Package textcomp Info: Setting pplj sub-encoding to TS1/3 on input line 407. +Package textcomp Info: Setting ptmx sub-encoding to TS1/4 on input line 408. +Package textcomp Info: Setting ptmj sub-encoding to TS1/4 on input line 409. +) +(/usr/share/texmf-dist/tex/latex/listings/listings.sty +\lst@mode=\count114 +\lst@gtempboxa=\box57 +\lst@token=\toks23 +\lst@length=\count115 +\lst@currlwidth=\dimen153 +\lst@column=\count116 +\lst@pos=\count117 +\lst@lostspace=\dimen154 +\lst@width=\dimen155 +\lst@newlines=\count118 +\lst@lineno=\count119 +\abovecaptionskip=\skip50 +\belowcaptionskip=\skip51 +\lst@maxwidth=\dimen156 + +(/usr/share/texmf-dist/tex/latex/listings/lstmisc.sty +File: lstmisc.sty 2019/02/27 1.8b (Carsten Heinz) +\c@lstnumber=\count120 +\lst@skipnumbers=\count121 +\lst@framebox=\box58 +) +(/usr/share/texmf-dist/tex/latex/listings/listings.cfg +File: listings.cfg 2019/02/27 1.8b listings configuration +)) +Package: listings 2019/02/27 1.8b (Carsten Heinz) +\currentchar@scpr=\count122 +\toks@scpr=\toks24 +) +(/usr/share/texmf-dist/tex/latex/url/url.sty +\Urlmuskip=\muskip11 +Package: url 2013/09/16 ver 3.4 Verb mode for urls, etc. +) +(/usr/share/texmf-dist/tex/latex/datetime2/datetime2.sty +Package: datetime2 2018/07/20 v1.5.3 (NLCT) date and time formats + +(/usr/share/texmf-dist/tex/latex/tracklang/tracklang.sty +Package: tracklang 2018/05/13 v1.3.6 (NLCT) Track Languages + +(/usr/share/texmf-dist/tex/generic/tracklang/tracklang.tex)) +(/usr/share/texmf-dist/tex/latex/etoolbox/etoolbox.sty +Package: etoolbox 2018/08/19 v2.5f e-TeX tools for LaTeX (JAW) +\etb@tempcnta=\count123 +) +(/usr/share/texmf-dist/tex/latex/xkeyval/xkeyval.sty +Package: xkeyval 2014/12/03 v2.7a package option processing (HA) + +(/usr/share/texmf-dist/tex/generic/xkeyval/xkeyval.tex +(/usr/share/texmf-dist/tex/generic/xkeyval/xkvutils.tex +\XKV@toks=\toks25 +\XKV@tempa@toks=\toks26 +) +\XKV@depth=\count124 +File: xkeyval.tex 2014/12/03 v2.7a key=value parser (HA) +))) +(./hdp_documentation.aux) +\openout1 = `hdp_documentation.aux'. + +LaTeX Font Info: Checking defaults for OML/cmm/m/it on input line 71. +LaTeX Font Info: ... okay on input line 71. +LaTeX Font Info: Checking defaults for T1/cmr/m/n on input line 71. +LaTeX Font Info: ... okay on input line 71. +LaTeX Font Info: Checking defaults for OT1/cmr/m/n on input line 71. +LaTeX Font Info: ... okay on input line 71. +LaTeX Font Info: Checking defaults for OMS/cmsy/m/n on input line 71. +LaTeX Font Info: ... okay on input line 71. +LaTeX Font Info: Checking defaults for OMX/cmex/m/n on input line 71. +LaTeX Font Info: ... okay on input line 71. +LaTeX Font Info: Checking defaults for U/cmr/m/n on input line 71. +LaTeX Font Info: ... okay on input line 71. +LaTeX Font Info: Checking defaults for TS1/cmr/m/n on input line 71. +LaTeX Font Info: Try loading font information for TS1+cmr on input line 71. + (/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 71. + +*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: +* h-part:(L,W,R)=(50.58878pt, 496.33032pt, 50.58878pt) +* v-part:(T,H,B)=(50.58878pt, 743.8693pt, 50.58878pt) +* \paperwidth=597.50787pt +* \paperheight=845.04684pt +* \textwidth=496.33032pt +* \textheight=743.8693pt +* \oddsidemargin=-21.68121pt +* \evensidemargin=-21.68121pt +* \topmargin=-78.68121pt +* \headheight=12.0pt +* \headsep=45.0pt +* \topskip=10.0pt +* \footskip=25.0pt +* \marginparwidth=90.0pt +* \marginparsep=11.0pt +* \columnsep=10.0pt +* \skip\footins=10.0pt plus 2.0pt minus 4.0pt +* \hoffset=0.0pt +* \voffset=0.0pt +* \mag=1000 +* \@twocolumnfalse +* \@twosidefalse +* \@mparswitchfalse +* \@reversemarginfalse +* (1in=72.27pt=25.4mm, 1cm=28.453pt) + +\AtBeginShipoutBox=\box59 +(/usr/share/texmf-dist/tex/context/base/mkii/supp-pdf.mkii +[Loading MPS to PDF converter (version 2006.09.02).] +\scratchcounter=\count125 +\scratchdimen=\dimen157 +\scratchbox=\box60 +\nofMPsegments=\count126 +\nofMParguments=\count127 +\everyMPshowfont=\toks27 +\MPscratchCnt=\count128 +\MPscratchDim=\dimen158 +\MPnumerator=\count129 +\makeMPintoPDFobject=\count130 +\everyMPtoPDFconversion=\toks28 +) (/usr/share/texmf-dist/tex/latex/oberdiek/epstopdf-base.sty +Package: epstopdf-base 2016/05/15 v2.6 Base part for package epstopdf + +(/usr/share/texmf-dist/tex/latex/oberdiek/grfext.sty +Package: grfext 2016/05/16 v1.2 Manage graphics extensions (HO) + +(/usr/share/texmf-dist/tex/generic/oberdiek/kvdefinekeys.sty +Package: kvdefinekeys 2016/05/16 v1.4 Define keys (HO) +)) +(/usr/share/texmf-dist/tex/latex/oberdiek/kvoptions.sty +Package: kvoptions 2016/05/16 v3.12 Key value format for package options (HO) + +(/usr/share/texmf-dist/tex/generic/oberdiek/kvsetkeys.sty +Package: kvsetkeys 2016/05/16 v1.17 Key value parser (HO) + +(/usr/share/texmf-dist/tex/generic/oberdiek/etexcmds.sty +Package: etexcmds 2016/05/16 v1.6 Avoid name clashes with e-TeX commands (HO) + +(/usr/share/texmf-dist/tex/generic/oberdiek/ifluatex.sty +Package: ifluatex 2016/05/16 v1.4 Provides the ifluatex switch (HO) +Package ifluatex Info: LuaTeX not detected. +)))) +(/usr/share/texmf-dist/tex/generic/oberdiek/pdftexcmds.sty +Package: pdftexcmds 2018/09/10 v0.29 Utility functions of pdfTeX for LuaTeX (HO +) +Package pdftexcmds Info: LuaTeX not detected. +Package pdftexcmds Info: \pdf@primitive is available. +Package pdftexcmds Info: \pdf@ifprimitive is available. +Package pdftexcmds Info: \pdfdraftmode found. +) +Package epstopdf-base Info: Redefining graphics rule for `.eps' on input line 4 +38. +Package grfext Info: Graphics extension search list: +(grfext) [.pdf,.png,.jpg,.mps,.jpeg,.jbig2,.jb2,.PDF,.PNG,.JPG,.JPE +G,.JBIG2,.JB2,.eps] +(grfext) \AppendGraphicsExtensions on input line 456. + +(/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 +)) +(/usr/share/texmf-dist/tex/latex/oberdiek/pdflscape.sty +Package: pdflscape 2016/05/14 v0.11 Display of landscape pages in PDF (HO) + +(/usr/share/texmf-dist/tex/latex/graphics/lscape.sty +Package: lscape 2000/10/22 v3.01 Landscape Pages (DPC) +) +Package pdflscape Info: Auto-detected driver: pdftex on input line 81. +) +\c@lstlisting=\count131 +LaTeX Font Info: Try loading font information for U+wasy on input line 83. + +(/usr/share/texmf-dist/tex/latex/wasysym/uwasy.fd +File: uwasy.fd 2003/10/30 v2.0 Wasy-2 symbol font definitions +) + +File: selects/maquina.png Graphic file (type png) + +Package pdftex.def Info: selects/maquina.png used on input line 86. +(pdftex.def) Requested size: 243.20457pt x 182.39981pt. + +File: selects/discos.png Graphic file (type png) + +Package pdftex.def Info: selects/discos.png used on input line 89. +(pdftex.def) Requested size: 243.20457pt x 182.39043pt. + +Overfull \hbox (5.41216pt too wide) in paragraph at lines 83--91 + [] + [] + +[1 + +{/var/lib/texmf/fonts/map/pdftex/updmap/pdftex.map} <./selects/maquina.png> <./ +selects/discos.png>] (./hdp_documentation.bbl) [2] + +File: selects/berger.jpg Graphic file (type jpg) + +Package pdftex.def Info: selects/berger.jpg used on input line 165. +(pdftex.def) Requested size: 496.33032pt x 493.99615pt. + [3 <./selects/berger.jpg>] + +File: selects/robinson.jpg Graphic file (type jpg) + +Package pdftex.def Info: selects/robinson.jpg used on input line 172. +(pdftex.def) Requested size: 496.33032pt x 497.65826pt. +[4 <./selects/robinson.jpg>] + +File: selects/penrose.jpg Graphic file (type jpg) + +Package pdftex.def Info: selects/penrose.jpg used on input line 179. +(pdftex.def) Requested size: 496.33032pt x 495.04794pt. + [5 <./selects/penrose.jpg>] + +File: selects/ammann.jpg Graphic file (type jpg) + +Package pdftex.def Info: selects/ammann.jpg used on input line 186. +(pdftex.def) Requested size: 496.33032pt x 493.47119pt. + [6 <./selects/ammann.jpg>] + +File: selects/kari.jpg Graphic file (type jpg) + +Package pdftex.def Info: selects/kari.jpg used on input line 193. +(pdftex.def) Requested size: 496.33032pt x 497.88864pt. + [7 <./selects/kari.jpg>] + +File: selects/jaendal.jpg Graphic file (type jpg) + +Package pdftex.def Info: selects/jaendal.jpg used on input line 200. +(pdftex.def) Requested size: 496.33032pt x 496.07713pt. + [8 <./selects/jaendal.jpg>] +(./hdp_documentation.aux) ) +Here is how much of TeX's memory you used: + 9452 strings out of 492623 + 155823 string characters out of 6135670 + 245318 words of memory out of 5000000 + 13219 multiletter control sequences out of 15000+600000 + 5916 words of font info for 23 fonts, out of 8000000 for 9000 + 1141 hyphenation exceptions out of 8191 + 41i,10n,72p,1183b,315s stack positions out of 5000i,500n,10000p,200000b,80000s + +Output written on hdp_documentation.pdf (8 pages, 35781729 bytes). +PDF statistics: + 59 PDF objects out of 1000 (max. 8388607) + 35 compressed objects within 1 object stream + 0 named destinations out of 1000 (max. 500000) + 41 words of extra memory for PDF output out of 10000 (max. 10000000) + diff --git a/latex/documentation/hdp_documentation.pdf b/latex/documentation/hdp_documentation.pdf new file mode 100644 index 0000000..40e7229 Binary files /dev/null and b/latex/documentation/hdp_documentation.pdf differ diff --git a/latex/documentation/hdp_documentation.synctex.gz b/latex/documentation/hdp_documentation.synctex.gz new file mode 100644 index 0000000..818f48e Binary files /dev/null and b/latex/documentation/hdp_documentation.synctex.gz differ diff --git a/latex/documentation/hdp_documentation.tex b/latex/documentation/hdp_documentation.tex new file mode 100644 index 0000000..1bdfaba --- /dev/null +++ b/latex/documentation/hdp_documentation.tex @@ -0,0 +1,205 @@ +\documentclass[10pt]{letter} + +\usepackage[a4paper, top=0.7in, bottom=0.7in, left=0.7in, right=0.7in]{geometry} +\usepackage{mathtools} +\usepackage{wasysym} +\usepackage{multicol} +\usepackage{dirtree} +\usepackage{underscore} +\usepackage{pdfpages} +\usepackage[framed,numbered]{sclang-prettifier} +\usepackage{listings} +\usepackage[obeyspaces]{url} +\usepackage{datetime2} +%\usepackage{draftwatermark} +\renewcommand{\arraystretch}{1.3} +\usepackage{graphicx} + +\DTMsetdatestyle{default} +\DTMsetup{datesep={.}} + +%\SetWatermarkColor[rgb]{1, 0.6, 0.6} +%\SetWatermarkScale{2} +%\SetWatermarkHorCenter{1.25in} +%\SetWatermarkVerCenter{1.25in} + +% Define Language +\lstdefinelanguage{Lilypond} +{ + % list of keywords + morekeywords={ + } +} + +% Set Language +\lstset{ + numbers=left, + numberstyle=\small, + numberstyle = \color{black!33}, + numbersep=8pt, + frame = single, + language={Lilypond}, +} + +\newenvironment{note}{ +\vspace{-3mm} +\small +\par +\leftskip=4em\rightskip=5em +\noindent\ignorespaces}{\par\smallskip} + +\makeatletter +\newenvironment{thebibliography}[1] + {\list{\@biblabel{\@arabic\c@enumiv}}% + {\settowidth\labelwidth{\@biblabel{#1}}% + \leftmargin\labelwidth + \advance\leftmargin\labelsep + \usecounter{enumiv}% + \let\p@enumiv\@empty + \renewcommand\theenumiv{\@arabic\c@enumiv}}% + \sloppy + \clubpenalty4000 + \@clubpenalty \clubpenalty + \widowpenalty4000% + \sfcode`\.\@m} + {\def\@noitemerr + {\@latex@warning{Empty `thebibliography' environment}}% + \endlist} +\newcommand\newblock{\hskip .11em\@plus.33em\@minus.07em} +\makeatother + +\begin{document} + +\textit{\textbf{a history of the domino problem}} \\ +a performance-installation + +\begin{flushright} +michael winter \\ schloss solitude and cdmx; 2018 - 2019 \\ +\end{flushright} + +\bigskip + +\begin{center} +\begin{tabular}{cc} + + \centering + \includegraphics[width=0.49\linewidth]{selects/maquina.png} + + \centering + \includegraphics[width=0.49\linewidth]{selects/discos.png} +\end{tabular} +\end{center} + +\bigskip +\bigskip + +\textbf{Description / note} + +The domino problem, first posed by Hao Wang in 1961, is an epistemological question that asks whether there exists an algorithm to determine if an arbitrary finite set of tiles with colored edges can cover the plane such that adjacent edges match color. He conjectured that if a set of such tiles covers the plane, it can only do so periodically. However, in 1966, his student, Robert Berger, proved that the problem is undecidable (that is, there is no general algorithm) by showing the existence of a set of tiles that can only cover the plane aperiodically. This initial set contained more than 20000 tiles. Over the past 60 years, there has been a continual reduction in the size of provably aperiodic sets to the most recent discovery of a set of 11 tiles along with a proof that no smaller sets exist. It is a beautiful narrative / history of a particular epistemological problem that challenged a group of people not only to solve it, but to understand it to the extent possible. + +\textit{a history of the domino problem} is a performance-installation that visualizes and sonifies aperiodic tilings in order to trace the history of the domino problem. The tilings are visualized using a cryptographic scheme in which two `shadow images', each which look completely random independently, are combined / overlayed at various orientations to reveal the tilings in a form that replaces the colored edges of the original constructions with binary codes. The shadow images are printed on photomasks typically used to manufacture computer chips: quartz wafers with a chrome coating etched at a pixel size of 20 microns. A high-precision, motorized multiaxis stage aligns the shadow images to reveal the tilings (along with 3 other images of poetic texts inspired by the history of the domino problem). The whole apparatus rests on a light source that illuminates the photomasks which are then magnified and projected. The visualizations are accompanied by musical compositions generated from the tilings that can be realized live by performers as intermittent augmentations within the installation or as singular pieces in concert. + +The aim of the work is to create an artistic experience that demonstrates the aesthetic qualities of these found mathematical objects while also functioning as a sort of historical record. + +This is ultimately a piece about how things fit together. + +\bigskip + +\textbf{Installation, performance setting, and technical requirements} + +As an installation, the apparatus that aligns the image should be centered in a dark room such that observers can view the photomasks up close. Ideally, this should be set up with a teleprompter mirror at a 45 degree angle above the apparatus so that the viewer can see the photomasks without having to bend over. On the other side of the mirror, a camera is placed such that the resulting projected image aligns with what the viewer sees in the teleprompter mirror. The camera side must be darkened out with a cover in order for as much reflection to the viewer as possible. + +In the installation, recordings of the musical pieces are played back; sometimes randomly and sometimes in sync with the respective tilings from which they were generated. The installation can be augmented (e.g. for an exhibition opening) by live performances of the musical pieces instead of the recordings. If so, direct access to the apparatus should be avoided in order for a situation where the observers can view the projected images and listen to the musical accompaniment in a tranquil and focused environment. + +The computer code needed to run the installation along with all the code that generated the piece and schematics to rebuild the installation are available at \url{https://gitea.unboundedpress.org/mwinter/a_history_of_the_domino_problem}. + +\bigskip + +\textbf{Partial historical timeline of the domino problem} + +pre-history:\\ +\begin{tabular}{p{0.8in}p{1.25in}p{4.25in}} +17th century & Leibniz & pioneer of binary arithmetic and the idea of computing machines \\ +ca 1928 & Hilbert & posed the original "Entsheidungsproblem" \\ +ca 1931 & Goedel & first showed that their exists truths that are undecidable with a finite set of axioms \\ +ca 1936 & Turing & invented the concept of the modern day computer and showed its limits yet was unfortunately persecuted for his sexuality despite being a key figure in the triumph of the allied nations against the nazi regime +\end{tabular} + +conjecture and first proof:\\ +\begin{tabular}{p{0.8in}p{1.25in}p{4.25in}} +ca 1961 & Wang & conjectured that aperiodic tilings of the plane did not exist \\ +ca 1966 & Berger & showed that an aperiodic set 20000+ tiles exist (using his method this was quickly reduced to 104 then 92 by Berger and Knuth, respectively) +\end{tabular} + +first wave of reduction:\\ +\begin{tabular}{p{0.8in}p{1.25in}p{4.25in}} +ca 1971 & Robinson \& Lauchli & 56 and 40 tiles, respectively; using a similar technique of tiling arbitrarily large squares discovered independently +\end{tabular} + +second wave of reduction:\\ +\begin{tabular}{p{0.8in}p{1.25in}p{4.25in}} +ca 1986 & Penrose \& Amman & 32 and 16 tiles, respectively; using a method that translates different, non-squared aperiodic tiles into Wang tiles +\end{tabular} + +third wave of reduction:\\ +\begin{tabular}{p{0.8in}p{1.25in}p{4.25in}} +ca 1996 & Kari \& Culik & 13 tiles using an new construction with aperiodic integer sequences +\end{tabular} + +final reduction\\ +\begin{tabular}{p{0.8in}p{1.25in}p{4.25in}} +ca 2015 & Jaendel \& Rao & 11 tiles with an incredible computer-assisted proof that no smaller aperiodic sets exist +\end{tabular} + +\bigskip + +\textbf{Selected Bibliography} + +\nocite{*} +\bibliographystyle{unsrt} +\bibliography{hdp} + +\newpage +\vspace*{\fill} + \centering + \includegraphics[width=1\linewidth]{selects/berger.jpg} +Berger +\vspace*{\fill} + +\newpage +\vspace*{\fill} + \centering + \includegraphics[width=1\linewidth]{selects/robinson.jpg} +Robinson +\vspace*{\fill} + +\newpage +\vspace*{\fill} + \centering + \includegraphics[width=1\linewidth]{selects/penrose.jpg} +Penrose +\vspace*{\fill} + +\newpage +\vspace*{\fill} + \centering + \includegraphics[width=1\linewidth]{selects/ammann.jpg} +Ammann +\vspace*{\fill} + +\newpage +\vspace*{\fill} + \centering + \includegraphics[width=1\linewidth]{selects/kari.jpg} +Kari +\vspace*{\fill} + +\newpage +\vspace*{\fill} + \centering + \includegraphics[width=1\linewidth]{selects/jaendal.jpg} +Jaendal-Rao + +\vspace*{\fill} + +\end{document} \ No newline at end of file diff --git a/latex/documentation/selects/._ammann.tiff b/latex/documentation/selects/._ammann.tiff new file mode 100644 index 0000000..80781a2 Binary files /dev/null and b/latex/documentation/selects/._ammann.tiff differ diff --git a/latex/documentation/selects/._jaendal.png b/latex/documentation/selects/._jaendal.png new file mode 100644 index 0000000..44d3b09 Binary files /dev/null and b/latex/documentation/selects/._jaendal.png differ diff --git a/latex/documentation/selects/._kari.tiff b/latex/documentation/selects/._kari.tiff new file mode 100644 index 0000000..7bc40e8 Binary files /dev/null and b/latex/documentation/selects/._kari.tiff differ diff --git a/latex/documentation/selects/._penrose.tiff b/latex/documentation/selects/._penrose.tiff new file mode 100644 index 0000000..88fae7c Binary files /dev/null and b/latex/documentation/selects/._penrose.tiff differ diff --git a/latex/documentation/selects/._questions.tiff b/latex/documentation/selects/._questions.tiff new file mode 100644 index 0000000..8dfe405 Binary files /dev/null and b/latex/documentation/selects/._questions.tiff differ diff --git a/latex/documentation/selects/._robinson.tiff b/latex/documentation/selects/._robinson.tiff new file mode 100644 index 0000000..c14bf89 Binary files /dev/null and b/latex/documentation/selects/._robinson.tiff differ diff --git a/latex/documentation/selects/ammann.jpg b/latex/documentation/selects/ammann.jpg new file mode 100644 index 0000000..9bcfac7 Binary files /dev/null and b/latex/documentation/selects/ammann.jpg differ diff --git a/latex/documentation/selects/ammann.xcf b/latex/documentation/selects/ammann.xcf new file mode 100644 index 0000000..fba8600 Binary files /dev/null and b/latex/documentation/selects/ammann.xcf differ diff --git a/latex/documentation/selects/berger.jpg b/latex/documentation/selects/berger.jpg new file mode 100644 index 0000000..20bd179 Binary files /dev/null and b/latex/documentation/selects/berger.jpg differ diff --git a/latex/documentation/selects/berger.xcf b/latex/documentation/selects/berger.xcf new file mode 100644 index 0000000..029a23c Binary files /dev/null and b/latex/documentation/selects/berger.xcf differ diff --git a/latex/documentation/selects/jaendal.jpg b/latex/documentation/selects/jaendal.jpg new file mode 100644 index 0000000..2db57d7 Binary files /dev/null and b/latex/documentation/selects/jaendal.jpg differ diff --git a/latex/documentation/selects/jaendal.xcf b/latex/documentation/selects/jaendal.xcf new file mode 100644 index 0000000..d86c114 Binary files /dev/null and b/latex/documentation/selects/jaendal.xcf differ diff --git a/latex/documentation/selects/kari.jpg b/latex/documentation/selects/kari.jpg new file mode 100644 index 0000000..e75cba6 Binary files /dev/null and b/latex/documentation/selects/kari.jpg differ diff --git a/latex/documentation/selects/kari.xcf b/latex/documentation/selects/kari.xcf new file mode 100644 index 0000000..826f5f1 Binary files /dev/null and b/latex/documentation/selects/kari.xcf differ diff --git a/latex/documentation/selects/oracles.jpg b/latex/documentation/selects/oracles.jpg new file mode 100644 index 0000000..0ffccd1 Binary files /dev/null and b/latex/documentation/selects/oracles.jpg differ diff --git a/latex/documentation/selects/penrose.jpg b/latex/documentation/selects/penrose.jpg new file mode 100644 index 0000000..0bb6740 Binary files /dev/null and b/latex/documentation/selects/penrose.jpg differ diff --git a/latex/documentation/selects/penrose.xcf b/latex/documentation/selects/penrose.xcf new file mode 100644 index 0000000..fc85021 Binary files /dev/null and b/latex/documentation/selects/penrose.xcf differ diff --git a/latex/documentation/selects/robinson.jpg b/latex/documentation/selects/robinson.jpg new file mode 100644 index 0000000..17044d9 Binary files /dev/null and b/latex/documentation/selects/robinson.jpg differ diff --git a/latex/documentation/selects/robinson.xcf b/latex/documentation/selects/robinson.xcf new file mode 100644 index 0000000..362ff38 Binary files /dev/null and b/latex/documentation/selects/robinson.xcf differ diff --git a/latex/documentation/texput.log b/latex/documentation/texput.log new file mode 100644 index 0000000..8e2b03d --- /dev/null +++ b/latex/documentation/texput.log @@ -0,0 +1,21 @@ +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! diff --git a/supercollider/main.scd b/supercollider/main.scd index a5734c0..e861752 100644 --- a/supercollider/main.scd +++ b/supercollider/main.scd @@ -25,7 +25,6 @@ s.record(~dir +/+ ".." +/+ "recs" +/+ "berger_knuth.wav", duration: (30 * 60)); s.record(~dir +/+ ".." +/+ "recs" +/+ "robinson.wav", duration: (30 * 60)); -//Potential TODO: add (de)crescendo markings and update synthdef to have the fades ~penroseTiling = ~penrose.value(120, 5, ~seed); ~penroseCreateSynths.value; ~penroseMusic = ~penroseMusicify.value(~penroseTiling, 0, 0, 99, 99, 6, 3, 3.5, ~seed); @@ -43,7 +42,7 @@ s.record(~dir +/+ ".." +/+ "recs" +/+ "penrose.wav", duration: (30 * 60)); ~ammannSound.play; ~ammannTranscribe.value(~ammannMusic); ~visualize.value(~ammann.value(200, 200), 0, 0, name: "ammann") -s.record(~dir +/+ ".." +/+ "recs" +/+ "ammann.wav", duration: 300); +s.record(~dir +/+ ".." +/+ "recs" +/+ "ammann.wav", duration: (30 * 60)); ~kariTiling = ~kari_culik.value(500, 500, 0, 0, true); @@ -53,7 +52,7 @@ s.record(~dir +/+ ".." +/+ "recs" +/+ "ammann.wav", duration: 300); ~kariSound.play; ~kariTranscribe.value(~kariMusic); ~visualize.value(~kari_culik.value(200, 200, 0, 5, true), 0, 0, scale: 1, name: "kari"); -s.record(~dir +/+ ".." +/+ "recs" +/+ "kari_culik.wav", duration: 300); +s.record(~dir +/+ ".." +/+ "recs" +/+ "kari_culik.wav", duration: (30 * 60)); ~jaendelTiling = ~jaendel.value(14, 0, 0, 0); @@ -63,7 +62,7 @@ s.record(~dir +/+ ".." +/+ "recs" +/+ "kari_culik.wav", duration: 300); ~jaendelSound.play; ~jaendelTranscribe.value(~jaendelMusic); ~visualize.value(~jaendelTiling, 0, 0, name: "jaendel"); -s.record(~dir +/+ ".." +/+ "recs" +/+ "jaendel_rao.wav", duration: 300); +s.record(~dir +/+ ".." +/+ "recs" +/+ "jaendel_rao.wav", duration: 30 * 60); //~~~~~~~~~crypto visualizer code diff --git a/supercollider/stepper_control.scd b/supercollider/stepper_control.scd index c68414c..75d39f1 100644 --- a/supercollider/stepper_control.scd +++ b/supercollider/stepper_control.scd @@ -2,27 +2,27 @@ var imageDist, micronsPerStep, automation, imgPositions, curPos, tarPos, netAddress, serialPort, serialListener, moveTo, jogControl, jogHorizontal, jogVertical, -imgSelect, imgCalibrate, automate; +imgSelect, imgCalibrate, automate, lastSelect; // init global vars -imageDist = 100; // in steps +imageDist = 300; // in microns micronsPerStep = 0.0977; automation = false; imgPositions = 9.collect({nil}); curPos = Point.new(0, 0); tarPos = Point.new(0, 0); netAddress = NetAddr.new("127.0.0.1", 7777); -serialPort = SerialPort("/dev/ttyACM0", baudrate: 115200, crtscts: true); +~serialPort = SerialPort("/dev/ttyACM0", baudrate: 115200, crtscts: true); // recieve motor feedback -serialListener = Routine({ +~serialListener = Routine({ var byte, str, res, valArray, stepper, limitSwitchNeg, limitSwitchPos, safeMode, limitPos; safeMode = false; loop{ - byte = serialPort.read; + byte = ~serialPort.read; if(byte==13, { if(str[1].asString == "[", { valArray = str.asString.interpret.postln; @@ -38,8 +38,16 @@ serialListener = Routine({ } }); if(automation, { - if((curPos.x - tarPos.x).abs < 100, {tarPos.x = imageDist.rand2}); - if((curPos.y - tarPos.y).abs < 100, {tarPos.y = imageDist.rand2}); + var centerPos = nil, dist = 0; + if(lastSelect != 0, { + centerPos = imgPositions[lastSelect].deepCopy; + dist = 300; + }, { + centerPos = imgPositions[4].deepCopy; + dist = imageDist / micronsPerStep; + }); + if((curPos.x - tarPos.x).abs < 100, {tarPos.x = centerPos.x + dist.rand2}); + if((curPos.y - tarPos.y).abs < 100, {tarPos.y = centerPos.y + dist.rand2}); moveTo.value(tarPos); }); }, { @@ -58,8 +66,8 @@ serialListener = Routine({ // send new coordinates to the arduino / motors moveTo = {arg point; - serialPort.putAll(point.x.asInteger.asString ++ " " ++ point.y.asInteger.asString); - serialPort.put(10); + ~serialPort.putAll(point.x.asInteger.asString ++ " " ++ point.y.asInteger.asString); + ~serialPort.put(10); }; jogControl = {arg axis; @@ -90,7 +98,7 @@ jogHorizontal = jogControl.value('/jog_horizontal'); jogVertical = jogControl.value('/jog_vertical'); imgSelect = { - var lastSelect = nil; + //var lastSelect = nil; OSCFunc({arg msg; var imgIndex; if(msg[1] > 0, { @@ -102,10 +110,13 @@ imgSelect = { netAddress.sendMsg("/STATE/SET", "{automate: 0}"); lastSelect = imgIndex; }, { + lastSelect = 0; + /* imgIndex = msg[1].neg - 1; if(imgIndex == lastSelect, { if(imgPositions[imgIndex] != nil, {tarPos = imgPositions[imgIndex].deepCopy; moveTo.value(tarPos)}); netAddress.sendMsg("/STATE/SET", "{img_" ++ (imgIndex + 1).asInteger.asString ++ "_select: " ++ (imgIndex + 1) ++ "}")}); + */ }); }, '/img_select', netAddress) }.value; @@ -140,7 +151,10 @@ automate = OSCFunc({arg msg; 9.do({arg i; netAddress.sendMsg("/STATE/SET", "{img_" ++ (i + 1).asString ++ "_select: " ++ (i + 1).neg ++ "}")}); }, '/automate', netAddress); ) - +~serialPort.close +~serialPort = SerialPort.new("/dev/ttyACM0", baudrate: 115200, crtscts: true); +~serialListener.reset +~serialListener.play(AppClock); ( // TODO: