From 02f2b6c2a3e904544f1b2bd70565f9a7cbfabf84 Mon Sep 17 00:00:00 2001
From: Luke Naylor <l.naylor@sms.ed.ac.uk>
Date: Thu, 18 Jul 2024 19:07:43 +0100
Subject: [PATCH] Add referenced notebook to appendix

---
 tex/appendix.tex | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/tex/appendix.tex b/tex/appendix.tex
index e8fe049..2088f38 100644
--- a/tex/appendix.tex
+++ b/tex/appendix.tex
@@ -1,4 +1,5 @@
 \chapter{Computing Pseudowalls Program}
+\label{appendix:tilt-rs}
 
 \section{Library, Utils CLI Frontend}
 
@@ -58,7 +59,9 @@
 	\import{../subprojects/max-destabilizer-rank/notebooks/}{examples}
 	\section{Other P Choice}
 	\import{../subprojects/max-destabilizer-rank/notebooks/}{other_P_choice}
-	\section{Existence of Wall Argument}
+	\section{Pseudo-walls for (R, 0, -D)}
+	\import{../subprojects/general-semi-homog-presentation/notebooks/}{general_presentations}
+	\section{Existence of Wall Argument for (R, 0, -D)}
 	\import{../subprojects/general-semi-homog-presentation/notebooks/}{existence_of_wall_argument}
 	\section{Transferring Walls via FMT}
 	\import{../subprojects/transferring-characteristic-walls/notebooks/}{transferring_walls}
-- 
GitLab