From 99976ab19f4daa643112d6964dae33bb82951f26 Mon Sep 17 00:00:00 2001
From: Luke Naylor <l.naylor@sms.ed.ac.uk>
Date: Wed, 26 Jul 2023 16:52:53 +0100
Subject: [PATCH] Import examples from new notebook instead

---
 main.tex | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/main.tex b/main.tex
index efd0770..00cd7c3 100644
--- a/main.tex
+++ b/main.tex
@@ -704,7 +704,7 @@ bound for the rank of $E$:
 \end{proof}
 
 \begin{sagesilent}
-from plots_and_expressions import recurring
+from examples import recurring
 \end{sagesilent}
 
 \begin{example}[$v=(3, 2\ell, -2)$ on $\PP^2$]
@@ -722,7 +722,7 @@ illustrate the performance of later theorems about rank bounds
 \end{example}
 
 \begin{sagesilent}
-from plots_and_expressions import extravagant
+from examples import extravagant
 \end{sagesilent}
 
 \begin{example}[extravagant example: $v=(29, 13\ell, -3/2)$ on $\PP^2$]
@@ -1523,7 +1523,7 @@ The (non-exclusive) upper bounds for $r\coloneqq\chern_0(u)$ of a tilt semistabi
 in terms of the possible values for $q\coloneqq\chern_1^{\beta}(u)$ are as follows:
 
 \begin{sagesilent}
-from plots_and_expressions import bound_comparisons
+from examples import bound_comparisons
 qs, theorem2_bounds, theorem3_bounds = bound_comparisons(recurring)
 \end{sagesilent}
 
-- 
GitLab