diff --git a/main.tex b/main.tex index efd077090495400b841f90ae9dc24a2833979845..00cd7c3ca48258d7646904f8a77fdbf8dd24948a 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}