From 5097be38dc832393edf3f4068dc0607f6f27a49c Mon Sep 17 00:00:00 2001 From: Joshua Potter Date: Fri, 5 May 2023 13:48:12 -0600 Subject: [PATCH] Convert to Aviary.html and clean-up tex. --- Bookshelf/Combinator/Aviary.html | 58 +++++++++++++++++++++++++++++++ Bookshelf/Combinator/Aviary.tex | 57 ------------------------------ Bookshelf/Real/Sequence.tex | 9 ++--- Exercises/Apostol/Chapter_I_3.tex | 21 +++++------ Exercises/Enderton/Chapter0.tex | 3 +- 5 files changed, 76 insertions(+), 72 deletions(-) create mode 100644 Bookshelf/Combinator/Aviary.html delete mode 100644 Bookshelf/Combinator/Aviary.tex diff --git a/Bookshelf/Combinator/Aviary.html b/Bookshelf/Combinator/Aviary.html new file mode 100644 index 0000000..f131f9c --- /dev/null +++ b/Bookshelf/Combinator/Aviary.html @@ -0,0 +1,58 @@ + + + + + + Bookshelf.Combinator.Aviary + + + + +

Bookshelf.Combinator.Aviary

+

+ A list of birds as defined in To Mock a Mockingbird. + Refer to Bookshelf/Combinator/Aviary + for implementation examples. +

+ + + diff --git a/Bookshelf/Combinator/Aviary.tex b/Bookshelf/Combinator/Aviary.tex deleted file mode 100644 index 8529a85..0000000 --- a/Bookshelf/Combinator/Aviary.tex +++ /dev/null @@ -1,57 +0,0 @@ -\documentclass{article} - -\input{preamble} - -\begin{document} - -\newcommand{\bird}[1]{\item{\makebox[5cm][l]{\textbf{#1:}}}} - -\section*{Aviary}% -\label{sec:aviary} - -A list of birds as defined in \textit{To Mock a Mockingbird}. -Refer to \href{../../../../Bookshelf/Combinator/Aviary.html}{Bookshelf/Combinator/Aviary} -for implementation examples. - -\begin{itemize} - \bird{Bald Eagle} $\hat{E}xy_1y_2y_3z_1z_2z_3 = x(y_1y_2y_3)(z_1z_2z_3)$ - \bird{Becard} $B_3xyzw = x(y(zw))$ - \bird{Blackbird} $B_1xyzw = x(yzw)$ - \bird{Bluebird} $Bxyz = x(yz)$ - \bird{Bunting} $B_2xyzwv = x(yzwv)$ - \bird{Cardinal Once Removed} $C^*xyzw = xywz$ - \bird{Cardinal} $Cxyz = xzy$ - \bird{Converse Warbler} $W'xy = yxx$ - \bird{Dickcissel} $D_1xyzwv = xyz(wv)$ - \bird{Double Mockingbird} $M_2xy = xy(xy)$ - \bird{Dove} $Dxyzw = xy(zw)$ - \bird{Dovekie} $D_2xyzwv = x(yz)(wv)$ - \bird{Eagle} $Exyzwv = xy(zwv)$ - \bird{Finch Once Removed} $F^*xyzw = xwzy$ - \bird{Finch} $Fxyz = zyx$ - \bird{Goldfinch} $Gxyzw = xw(yz)$ - \bird{Hummingbird} $Hxyz = xyzy$ - \bird{Identity Bird} $Ix = x$ - \bird{Kestrel} $Kxy = x$ - \bird{Lark} $Lxy = x(yy)$ - \bird{Mockingbird} $Mx = xx$ - \bird{Owl} $Oxy = y(xy)$ - \bird{Phoenix} $\Phi xyzw = x(yw)(zw)$ - \bird{Psi Bird} $\Psi xyzw = x(yz)(yw)$ - \bird{Quacky Bird} $Q_4xyz = z(yx)$ - \bird{Queer Bird} $Qxyz = y(xz)$ - \bird{Quirky Bird} $Q_3xyz = z(xy)$ - \bird{Quixotic Bird} $Q_1xyz = x(zy)$ - \bird{Quizzical Bird} $Q_2xyz = y(zx)$ - \bird{Robin Once Removed} $R^*xyzw = xzwy$ - \bird{Robin} $Rxyz = yzx$ - \bird{Sage Bird} $\Theta x = x(\Theta x)$ - \bird{Starling} $Sxyz = xz(yz)$ - \bird{Thrush} $Txy = yx$ - \bird{Turing Bird} $Uxy = y(xxy)$ - \bird{Vireo Once Removed} $V^*xyzw = xwyz$ - \bird{Vireo} $Vxyz = zxy$ - \bird{Warbler} $Wxy = xyy$ -\end{itemize} - -\end{document} diff --git a/Bookshelf/Real/Sequence.tex b/Bookshelf/Real/Sequence.tex index 149244f..4dfcc3d 100644 --- a/Bookshelf/Real/Sequence.tex +++ b/Bookshelf/Real/Sequence.tex @@ -2,8 +2,9 @@ \input{preamble} -\newcommand{\linkA}[1]{\href{../../../Bookshelf/Real/Sequence/Arithmetic.html\##1}{#1}} -\newcommand{\linkG}[1]{\href{../../../Bookshelf/Real/Sequence/Geometric.html\##1}{#1}} +\newcommand{\ns}{Real} +\newcommand{\linkA}[1]{\href{../Sequence/Arithmetic.html\#\ns.#1}{\ns.#1}} +\newcommand{\linkG}[1]{\href{../Sequence/Geometric.html\#\ns.#1}{\ns.#1}} \begin{document} @@ -16,7 +17,7 @@ $$\sum_{i=0}^n a_i = \frac{(n + 1)(a_0 + a_n)}{2}.$$ \begin{proof} - \linkA{Real.Arithmetic.sum\_recursive\_closed} + \linkA{Arithmetic.sum\_recursive\_closed} \end{proof} @@ -29,7 +30,7 @@ $$\sum_{i=0}^n a_i = \frac{a_0(1 - r^{n+1})}{1 - r}.$$ \begin{proof} - \linkG{Real.Geometric.sum\_recursive\_closed} + \linkG{Geometric.sum\_recursive\_closed} \end{proof} diff --git a/Exercises/Apostol/Chapter_I_3.tex b/Exercises/Apostol/Chapter_I_3.tex index d992d7d..deebe97 100644 --- a/Exercises/Apostol/Chapter_I_3.tex +++ b/Exercises/Apostol/Chapter_I_3.tex @@ -3,7 +3,8 @@ \input{preamble} -\newcommand{\link}[1]{\href{../../../../Exercises/Apostol/Chapter_I_3.html\##1}{#1}} +\newcommand{\ns}{Exercises.Apostol.Chapter\_I\_3.Real} +\newcommand{\link}[1]{\href{../Chapter_I_3.html\#\ns.#1}{\ns.#1}} \begin{document} @@ -15,7 +16,7 @@ is, there is a real number $L$ such that $L = \inf{S}$. \begin{proof} - \link{Real.exists\_isGLB} + \link{exists\_isGLB} \end{proof} @@ -26,7 +27,7 @@ For every real $x$ there exists a positive integer $n$ such that $n > x$. \begin{proof} - \link{Real.exists\_pnat\_geq\_self} + \link{exists\_pnat\_geq\_self} \end{proof} @@ -38,7 +39,7 @@ integer $n$ such that $nx > y$. \begin{proof} - \link{Real.exists\_pnat\_mul\_self\_geq\_of\_pos} + \link{exists\_pnat\_mul\_self\_geq\_of\_pos} \end{proof} @@ -51,7 +52,7 @@ for every integer $n \geq 1$, then $x = a$. \begin{proof} - \link{Real.forall\_pnat\_leq\_self\_leq\_frac\_imp\_eq} + \link{forall\_pnat\_leq\_self\_leq\_frac\_imp\_eq} \end{proof} @@ -69,8 +70,8 @@ Let $h$ be a given positive number and let $S$ be a set of real numbers. \begin{proof} \begin{enumerate}[(a)] - \item \link{Real.sup\_imp\_exists\_gt\_sup\_sub\_delta} - \item \link{Real.inf\_imp\_exists\_lt\_inf\_add\_delta} + \item \link{sup\_imp\_exists\_gt\_sup\_sub\_delta} + \item \link{inf\_imp\_exists\_lt\_inf\_add\_delta} \end{enumerate} \end{proof} @@ -91,8 +92,8 @@ $$C = \{a + b : a \in A, b \in B\}.$$ \begin{proof} \begin{enumerate}[(a)] - \item \link{Real.sup\_minkowski\_sum\_eq\_sup\_add\_sup} - \item \link{Real.inf\_minkowski\_sum\_eq\_inf\_add\_inf} + \item \link{sup\_minkowski\_sum\_eq\_sup\_add\_sup} + \item \link{inf\_minkowski\_sum\_eq\_inf\_add\_inf} \end{enumerate} \end{proof} @@ -108,7 +109,7 @@ $$\sup{S} \leq \inf{T}.$$ \begin{proof} - \link{Real.forall\_mem\_le\_forall\_mem\_imp\_sup\_le\_inf} + \link{forall\_mem\_le\_forall\_mem\_imp\_sup\_le\_inf} \end{proof} diff --git a/Exercises/Enderton/Chapter0.tex b/Exercises/Enderton/Chapter0.tex index 56da410..8a5a44d 100644 --- a/Exercises/Enderton/Chapter0.tex +++ b/Exercises/Enderton/Chapter0.tex @@ -2,7 +2,8 @@ \input{preamble} -\newcommand{\link}[1]{\href{../../../../Exercises/Enderton/Chapter0.html\##1}{#1}} +\newcommand{\ns}{Exercises.Enderton.Chapter0} +\newcommand{\link}[1]{\href{../Chapter0.html\#\ns.#1}{\ns.#1}} \begin{document}