Skip to content
Snippets Groups Projects
Commit 99976ab1 authored by Luke Naylor's avatar Luke Naylor
Browse files

Import examples from new notebook instead

parent eac837dd
No related branches found
No related tags found
No related merge requests found
......@@ -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}
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment