diff --git a/content.tex b/content.tex index 4e8df71725dc0e5f6c066c93d97422c6c8ecd9cd..fd3925d7037d408115bfdee192e9b8340c199695 100644 --- a/content.tex +++ b/content.tex @@ -1895,38 +1895,38 @@ Given a Chern character $v$, the domain of the problem are first verified: that $v$ has positive rank, that it satisfies $\Delta(v) \geq 0$, and that $\beta_{-}(v)$ is rational. -\begin{figure} - \inputminted[ - frame=lines, - framesep=2mm, - baselinestretch=1.2, - fontsize=\scriptsize, - linenos, - firstline=24, - lastline=36 - ]{rust}{tilt.rs/src/tilt_stability/left_pseudo_semistabilizers.rs} - \caption{\raggedleft\texttt{tilt_stability::left_pseudo_semistabilizers\\::considered_b_for_beta}} - \label{fig:code:consideredb} -\end{figure} +\lstinputlisting[ + escapeinside={<@}{@>}, + captionpos=b, + frame=single, + numbers=left, + numberstyle={\scriptsize\ttfamily\color{black!60}}, + basicstyle={\linespread{0.9}\scriptsize\ttfamily}, + aboveskip=5mm, + firstline=79, + lastline=99, + caption={\raggedleft\texttt{tilt_stability::left_pseudo_semistabilizers\\::considered_b_for_beta}}, + label={fig:code:consideredb} +]{tilt.rs/src/tilt_stability/left_pseudo_semistabilizers.tex} Take $\beta_{-}(v)=\frac{a_v}{n}$ in simplest terms. Iterate over $q = \frac{b}{n} \in [0,\chern_1^{\beta_{-}}(v)]\cap\frac{1}{n}\ZZ$. The code used to generate the corresponding values for $b$ is shown in figure \ref{fig:code:consideredb}. -\begin{figure} - \inputminted[ - frame=lines, - framesep=2mm, - baselinestretch=1.2, - fontsize=\scriptsize, - linenos, +\lstinputlisting[ + escapeinside={<@}{@>}, + captionpos=b, + frame=single, + numbers=left, + numberstyle={\scriptsize\ttfamily\color{black!60}}, + basicstyle={\linespread{0.9}\scriptsize\ttfamily}, + aboveskip=5mm, firstline=79, - lastline=99 - ]{rust}{tilt.rs/src/tilt_stability/left_pseudo_semistabilizers.rs} - \caption{\raggedleft\texttt{tilt_stability::left_pseudo_semistabilizers\\::find_all}} - \label{fig:code:reducingtoeachb} -\end{figure} + lastline=99, + caption={\raggedleft\texttt{tilt_stability::left_pseudo_semistabilizers\\::find_all}}, + label={fig:code:reducingtoeachb} +]{tilt.rs/src/tilt_stability/left_pseudo_semistabilizers.tex} We can therefore reduce the problem of finding solutions to the problem to finding the solutions $u$ with each fixed possible $\chern_1^\beta(u)$