diff --git a/tex/appendix.tex b/tex/appendix.tex index e8fe049f0fbea2da880fccb7f50ec621f4b3c2bd..2088f385e00567b08fa799d61753600d9c8a5c49 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}