Thesis_Main.tex

\documentclass[12pt]{report} % Times New Roman, 12pt
%\usepackage{style/gscale_thesis_singlespace} % Single spaced thesis 
\usepackage{style/gscale_thesis_doublespace} % Double spaced thesis
\usepackage{style/fancyheadings} % Header and footer styling
\usepackage{setspace} % Allows double spacing but skips headers/footers
\setcounter{tocdepth}{1} % Limits the TOC to chapter and section names
\usepackage{breakcites}
\usepackage{microtype}
% Additional packages
\usepackage{graphicx} % Allows the inclusion of figures
\usepackage{subcaption} % Allows captions to be added to subfigures
\usepackage[justification=centering]{caption} % Centres caption text
\usepackage{array} % Used for table formatting
\newcolumntype{P}[1]{>{\raggedright\let\newline\\\arraybackslash\hspace{0pt}}m{#1}}
\usepackage{booktabs} % Fancy-style tables
\usepackage{longtable} % Allows for tables that are more than one page long
\usepackage{float} % Better figure placement control
\usepackage{enumerate} % Numbered lists
\usepackage[shortlabels]{enumitem} % For controlling enumerate labels
\usepackage[shortcuts]{extdash} % Allows manual hyphenation of hypenated words
\usepackage{amsmath} % Non-standard math symbols
\usepackage{amsfonts} % Extended fonts for mathematics

\usepackage[hidelinks]{hyperref} % Linking to LaTeX labels and external URLs
\usepackage{newunicodechar}
\usepackage{fourier}
\usepackage{comment}
\usepackage{mathrsfs}
% For nice captions and floating environments, such as for my code snippets
\usepackage{caption}

\usepackage[newfloat,outputdir=build]{minted}
% Credits to Arash Esbati (https://tex.stackexchange.com/a/254177) for the
% listings-related component of minted usage.
\usepackage[most]{tcolorbox}

\usepackage[colorlinks = true,
            linkcolor = blue,
            urlcolor  = blue,
            citecolor = blue,
            anchorcolor = blue]{hyperref}

\newcommand{\MYhref}[3][blue]{\href{#2}{\color{#1}{#3}}}%

\AtBeginEnvironment{minted}{\singlespacing}

%textmarker style from colorbox doc
\tcbset{textmarker/.style={%
        enhanced,
        parbox=false,boxrule=0mm,boxsep=0mm,arc=0mm,
        outer arc=0mm,left=6mm,right=3mm,top=7pt,bottom=7pt,
        toptitle=1mm,bottomtitle=1mm,oversize}}


% define new colorboxes
\newtcolorbox{hintBox}{textmarker,
    borderline west={6pt}{0pt}{yellow},
    colback=yellow!10!white}
\newtcolorbox{importantBox}{textmarker,
    borderline west={6pt}{0pt}{red},
    colback=red!10!white}
\newtcolorbox{noteBox}{textmarker,
    borderline west={6pt}{0pt}{green},
    colback=green!10!white}

% define commands for easy access
\newcommand{\note}[1]{\begin{noteBox} \textbf{Note:} #1 \end{noteBox}}
\newcommand{\important}[1]{\begin{importantBox} \textbf{Important:} #1 \end{importantBox}}

\newcommand{\bluecheck}{}%
\DeclareRobustCommand{\bluecheck}{%
  \tikz\fill[scale=0.4, color=blue]
  (0,.35) -- (.25,0) -- (1,.7) -- (.25,.15) -- cycle;%
}

\usemintedstyle{colorful}
\input{macros}

\newunicodechar{λ}{\ensuremath{\mathnormal\lambda}}
\newunicodechar{∙}{\ensuremath{\mathnormal\cdot}}
\newunicodechar{⊔}{\ensuremath{\mathnormal\sqcup}}
\newunicodechar{ℓ}{\ensuremath{\mathnormal\ell}}
\newunicodechar{≈}{\ensuremath{\mathnormal\approx}}
\newunicodechar{←}{\ensuremath{\mathnormal\from}}
\newunicodechar{→}{\ensuremath{\mathnormal\to}}
\newunicodechar{ε}{\ensuremath{\mathnormal\epsilon}}
\newunicodechar{∀}{\ensuremath{\mathnormal\forall}}
\newunicodechar{⟦}{\ensuremath{\mathnormal\llbracket}}
\newunicodechar{⟧}{\ensuremath{\mathnormal\rrbracket}}
\newunicodechar{∘}{\ensuremath{\mathnormal\circ}}
\newunicodechar{∎}{\ensuremath{\mathnormal\blacksquare}}
\newunicodechar{⋆}{\ensuremath{\mathnormal\star}}
\newunicodechar{₂}{\ensuremath{\textsubscript{2}}}
\newunicodechar{₁}{\ensuremath{\textsubscript{1}}}
\newunicodechar{ʳ}{\ensuremath{\textsuperscript{r}}}
\newunicodechar{ˡ}{\ensuremath{\textsuperscript{l}}}
\newunicodechar{⇒}{\ensuremath{\mathnormal\Rightarrow}}
\newunicodechar{⟺}{\ensuremath{\mathnormal\Longleftrightarrow}}
\newunicodechar{≉}{\ensuremath{\mathnormal\not\approx}}	
\newunicodechar{⁻}{\ensuremath{\textsuperscript{-}}}	
\newunicodechar{₃}{\ensuremath{\textsubscript{3}}}
\newunicodechar{‿}{\ensuremath{\mathnormal\smile}}
\newunicodechar{∼}{\ensuremath{\mathnormal\sim}}
\newunicodechar{×}{\ensuremath{\mathnormal\times}}
\newunicodechar{¹}{\ensuremath{\textsuperscript{1}}}
\newunicodechar{ₙ}{\ensuremath{\textsubscript{n}}}
\newunicodechar{≡}{\ensuremath{\mathnormal\equiv}}
\newunicodechar{⟨}{\ensuremath{\mathnormal\langle}}
\newunicodechar{⟩}{\ensuremath{\mathnormal\rangle}}
\newunicodechar{◦}{\ensuremath{\mathnormal\circ}}
\newunicodechar{₀}{\ensuremath{\textsubscript{0}}}
\newunicodechar{∃}{\ensuremath{\mathnormal\exists}}
\newunicodechar{Σ}{\ensuremath{\mathnormal\Sigma}}
\newunicodechar{¬}{\ensuremath{\mathnormal\neg}}
\newunicodechar{ℕ}{\ensuremath{\mathnormal\mathbb{N}}}

\numberwithin{equation}{section} % Numbers equations based on their section

% ********************************
\begin{document}
\include{definitions} % LaTeX variables for preface pages/headers
    
\beforepreface % Half title page, title page, declaration page   
  \include{abstr} % Abstract
  \include{dedic} % Dedication
  \include{acknowledgements} % Acknowledgements
  \referencepages % Table of Contents, List of Figures, List of Tables
  \academicstatement{academicachievementdeclaration}
\afterpreface
        
  \include{Introduction}                  
        \setcounter{figure}{0}
        \setcounter{equation}{0}
        \setcounter{table}{0}

      \include{UniversalAlgebra}                  
        \setcounter{figure}{0}
        \setcounter{equation}{0}
        \setcounter{table}{0}

      \include{Agda}                  
        \setcounter{figure}{0}
        \setcounter{equation}{0}
        \setcounter{table}{0}

  \include{algebrasurvey}                  
        \setcounter{figure}{0}
        \setcounter{equation}{0}
        \setcounter{table}{0}

  \include{quasigrouploop}                  
        \setcounter{figure}{0}
        \setcounter{equation}{0}
        \setcounter{table}{0}

  \include{semigroupring}                  
        \setcounter{figure}{0}
        \setcounter{equation}{0}
        \setcounter{table}{0}

  \include{kleenealgebra}                  
        \setcounter{figure}{0}
        \setcounter{equation}{0}
        \setcounter{table}{0}

  \include{Probleminprogramalgebra}                  
       \setcounter{figure}{0}
       \setcounter{equation}{0}
       \setcounter{table}{0}

  \include{conclusion}
        \setcounter{figure}{0}
        \setcounter{equation}{0}
        \setcounter{table}{0}

\begin{appendix}

\end{appendix}


% The bibliography is set up to allow for multiple bib files
\bibliographystyle{ACM-Reference-Format}
\nocite{*}
\bibliography{references}

\label{NumDocumentPages}

\end{document}
% ********************************