From feb7571121d4395d5bb4f656a340f36301eed88c Mon Sep 17 00:00:00 2001
From: Luke Naylor <l.naylor@sms.ed.ac.uk>
Date: Tue, 9 Jul 2024 23:20:41 +0100
Subject: [PATCH] Complete adding listing for chapter 5
---
Makefile | 8 +++++++-
tex/computing-solutions.tex | 27 ++++++++++++++++++++++-----
tilt.rs | 2 +-
3 files changed, 30 insertions(+), 7 deletions(-)
diff --git a/Makefile b/Makefile
index 456f289..712fa5d 100644
--- a/Makefile
+++ b/Makefile
@@ -38,7 +38,7 @@ $(1).rs.tex.git-untrack: $(1).rs
chromacode -r -f -i $(1).rs -o $(1).rs.tex.git-untrack
endef
-RUSTSNIPPETSBASE=tilt.rs/src/tilt_stability/considered_b_for_beta.git-untrack tilt.rs/src/tilt_stability/find_all.git-untrack tilt.rs/src/tilt_stability/left_pseudo_semistabilizers/find_all.git-untrack
+RUSTSNIPPETSBASE=tilt.rs/src/tilt_stability/considered_b_for_beta.git-untrack tilt.rs/src/tilt_stability/find_all.git-untrack tilt.rs/src/tilt_stability/left_pseudo_semistabilizers/find_all.git-untrack tilt.rs/src/tilt_stability/left_pseudo_semistabilizers/fixed_q_beta/find_all.git-untrack tilt.rs/src/tilt_stability/left_pseudo_semistabilizers/fixed_q_beta/possible_chern2.git-untrack
RUSTBASENAMES=$(sort $(basename $(wildcard tilt.rs/src/*.rs)) $(basename $(wildcard tilt.rs/src/**/*.rs)) ${RUSTSNIPPETSBASE})
$(foreach _base, $(RUSTBASENAMES), $(eval $(call RUST_TO_TEX_RULE, $(_base))))
@@ -56,6 +56,12 @@ tilt.rs/src/tilt_stability/find_all.git-untrack.rs: tilt.rs/src/tilt_stability/l
tilt.rs/src/tilt_stability/left_pseudo_semistabilizers/find_all.git-untrack.rs: tilt.rs/src/tilt_stability/left_pseudo_semistabilizers/fixed_q_beta.rs
sed -n -e '128,137p' $^ > $@
+tilt.rs/src/tilt_stability/left_pseudo_semistabilizers/fixed_q_beta/find_all.git-untrack.rs: tilt.rs/src/tilt_stability/left_pseudo_semistabilizers/fixed_q_beta/fixed_r.rs
+ sed -n -e '37,42p' $^ > $@
+
+tilt.rs/src/tilt_stability/left_pseudo_semistabilizers/fixed_q_beta/possible_chern2.git-untrack.rs: tilt.rs/src/tilt_stability/left_pseudo_semistabilizers/fixed_q_beta/fixed_r.rs
+ sed -n -e '44,69p' $^ > $@
+
# MISCELANEOUS
.PHONY: clean nosage noappendix
diff --git a/tex/computing-solutions.tex b/tex/computing-solutions.tex
index 5b0f1a1..6d69370 100644
--- a/tex/computing-solutions.tex
+++ b/tex/computing-solutions.tex
@@ -162,13 +162,13 @@ This is shown in Listing \ref{fig:code:reducingtoeachr}.
\lstinputlisting[
firstnumber=128,
float,
- caption={\raggedleft\texttt{tilt_stability::left_pseudo_semistabilizers\\::fixed_q_beta::Problem_Data::find_all}},
+ caption={\raggedleft\texttt{tilt_stability::left_pseudo_semistabilizers\\::fixed_q_beta::ProblemData::find_all}},
label={fig:code:reducingtoeachr}
]{../tilt.rs/src/tilt_stability/left_pseudo_semistabilizers/find_all.git-untrack.rs.tex.git-untrack}
\subsubsection{Iterating Over Possible
-\texorpdfstring{$d=\chern_2(u)$}{d}
+\texorpdfstring{$d=\chern_2(u)/\ell^2$}{d}
for Fixed
\texorpdfstring{$r=\chern_0(u)$}{r}
and
@@ -191,13 +191,30 @@ gives us that these solutions are precisely
such that three numerical conditions are met
($\chern^{\beta_{-}}(u)>0$, $\Delta(u) \geq 0$, $\Delta(v-u) \geq 0$).
Subsection \ref{subsec:bounds-on-d}
-from the previous Chapter showed that these conditions are
-equivalent to bounds on $d$ given by the Equations
+from the previous chapter showed that these conditions are
+equivalent to bounds on $d$ given by the equations
in Subsubsection \ref{subsubsect:all-bounds-on-d-prob2}
It therefore remains to just pick values
$d\in\frac{1}{\lcm(m,2n^2)}\ZZ$ within the bounds.
+Listing \ref{fig:code:solveforfixedr} is the code for solving this
+specialisation of the problem, where the possible $d$ values are computed in
+Listing \ref{fig:code:possible_chern2}.
+The explicit code for the bounds can be found in the appendix at
+\ref{appendix:subsubsec:fixed-r}.
-{\color{red} TODO INSERT SNIPPET}
+\lstinputlisting[
+ firstnumber=37,
+ float,
+ caption={\raggedleft\texttt{tilt_stability::left_pseudo_semistabilizers\\::fixed_q_beta::fixed_r::ProblemData::find_all}},
+ label={fig:code:solveforfixedr}
+]{../tilt.rs/src/tilt_stability/left_pseudo_semistabilizers/fixed_q_beta/find_all.git-untrack.rs.tex.git-untrack}
+
+\lstinputlisting[
+ firstnumber=44,
+ float,
+ caption={\raggedleft\texttt{tilt_stability::left_pseudo_semistabilizers\\::fixed_q_beta::fixed_r::ProblemData::possible_chern2}},
+ label={fig:code:possible_chern2}
+]{../tilt.rs/src/tilt_stability/left_pseudo_semistabilizers/fixed_q_beta/possible_chern2.git-untrack.rs.tex.git-untrack}
\subsection{Benchmarking Different Bounds}
diff --git a/tilt.rs b/tilt.rs
index 63df864..6689d9a 160000
--- a/tilt.rs
+++ b/tilt.rs
@@ -1 +1 @@
-Subproject commit 63df86414d22b14802518868002a1b5b2dfa6dd2
+Subproject commit 6689d9a00a4378a45842340f49533970ade268ef
--
GitLab