From 2b18b96b1cd1b49f1833f5c1dcb11cebfa740527 Mon Sep 17 00:00:00 2001
From: Luke Naylor <l.naylor@sms.ed.ac.uk>
Date: Tue, 9 Jul 2024 14:30:14 +0100
Subject: [PATCH] Update subproject max-destabilizer-rank
c68c902 Add a snippet for reducing problem to fixed q, beta, and r
---
subprojects/max-destabilizer-rank | 2 +-
tex/appendix.tex | 1 +
2 files changed, 2 insertions(+), 1 deletion(-)
diff --git a/subprojects/max-destabilizer-rank b/subprojects/max-destabilizer-rank
index 6a482d4..c68c902 160000
--- a/subprojects/max-destabilizer-rank
+++ b/subprojects/max-destabilizer-rank
@@ -1 +1 @@
-Subproject commit 6a482d4af4c37476ddd73cd65ecb8b6aaef9e39e
+Subproject commit c68c9025caa2da4d3cd4397ea9ab39735fd9f233
diff --git a/tex/appendix.tex b/tex/appendix.tex
index e8207dc..0d4a79e 100644
--- a/tex/appendix.tex
+++ b/tex/appendix.tex
@@ -22,6 +22,7 @@
\rustlisting{../tilt.rs/src/}{tilt_stability/left_pseudo_semistabilizers.tex}
\subsubsection{Fixed $\chern_1^\beta(u)$ Submodule}
+\label{appendix:subsubsec:fixed-q}
\rustlisting{../tilt.rs/src/}{tilt_stability/left_pseudo_semistabilizers/fixed_q_beta.tex}
--
GitLab