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

Update subproject max-destabilizer-rank

c68c902 Add a snippet for reducing problem to fixed q, beta, and r
parent 1fc4ae58
No related branches found
No related tags found
No related merge requests found
Pipeline #39926 passed
Subproject commit 6a482d4af4c37476ddd73cd65ecb8b6aaef9e39e Subproject commit c68c9025caa2da4d3cd4397ea9ab39735fd9f233
...@@ -22,6 +22,7 @@ ...@@ -22,6 +22,7 @@
\rustlisting{../tilt.rs/src/}{tilt_stability/left_pseudo_semistabilizers.tex} \rustlisting{../tilt.rs/src/}{tilt_stability/left_pseudo_semistabilizers.tex}
\subsubsection{Fixed $\chern_1^\beta(u)$ Submodule} \subsubsection{Fixed $\chern_1^\beta(u)$ Submodule}
\label{appendix:subsubsec:fixed-q}
\rustlisting{../tilt.rs/src/}{tilt_stability/left_pseudo_semistabilizers/fixed_q_beta.tex} \rustlisting{../tilt.rs/src/}{tilt_stability/left_pseudo_semistabilizers/fixed_q_beta.tex}
......
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