Skip to content
Snippets Groups Projects

Compare revisions

Changes are shown as if the source revision was being merged into the target revision. Learn more about comparing revisions.

Source

Select target project
No results found

Target

Select target project
  • personal-latex-documents/research/max-destabilizer-rank
1 result
Show changes
Commits on Source (4)
FROM registry.gitlab.com/lukenaylor/latex/sage-tex-chroma-image:latest
# Add the tree-sitter parser for Rust
RUN git clone --depth=1 --branch v0.20.4 https://github.com/tree-sitter/tree-sitter-rust.git /root/src/tree-sitter-rust
# Install the pseudowalls sage package
RUN sage -pip install pseudowalls --extra-index-url https://gitlab.com/api/v4/projects/43962374/packages/pypi/simple
// .devcontainer/devcontainer.json // .devcontainer/devcontainer.json
{ {
"name": "LaTeX&SageTex Devcontainer", "name": "LaTeX&SageTex&Chromacode Devcontainer",
"image": "registry.gitlab.com/lukenaylor/latex/sagetex-image:latest", "dockerFile": "./Dockerfile",
"postCreateCommand": "sage -pip install pseudowalls --extra-index-url https://gitlab.com/api/v4/projects/43962374/packages/pypi/simple",
"customizations": { "customizations": {
"vscode": { "vscode": {
"settings": { "settings": {
......
...@@ -2,13 +2,19 @@ variables: ...@@ -2,13 +2,19 @@ variables:
GIT_SUBMODULE_STRATEGY: normal GIT_SUBMODULE_STRATEGY: normal
build: build:
image: registry.gitlab.com/lukenaylor/latex/sagetex-image:latest image: registry.gitlab.com/lukenaylor/latex/sage-tex-chroma-image:latest
tags: ["x64"] tags: ["x64"]
# The following is in the Dockerfile (can't see to use that)
before_script:
- echo $SHELL
- source /root/.bashrc
- git clone --depth=1 --branch v0.20.4 https://github.com/tree-sitter/tree-sitter-rust.git /root/src/tree-sitter-rust
- sage -pip install pseudowalls --extra-index-url https://gitlab.com/api/v4/projects/43962374/packages/pypi/simple
script: script:
- echo $SHELL - echo $SHELL
- source /root/.bashrc - source /root/.bashrc
- sage -pip install "pseudowalls==0.0.3" --extra-index-url https://gitlab.com/api/v4/projects/43962374/packages/pypi/simple - make pretex
- make main.pdf || echo make failed - latexmk -use-make
artifacts: artifacts:
paths: paths:
- main.pdf - main.pdf
......
...@@ -5,13 +5,15 @@ MAINTEXFILE = main.tex ...@@ -5,13 +5,15 @@ MAINTEXFILE = main.tex
TEXFILES = ${MAINTEXFILE} TEXFILES = ${MAINTEXFILE}
NOTEBOOKBASENAMES = plots_and_expressions examples characteristic_curves rank_zero_case other_P_choice NOTEBOOKBASENAMES = plots_and_expressions examples characteristic_curves rank_zero_case other_P_choice
main.pdf: ${TEXFILES} main.sagetex.sout.tmp SAGETEXARTIFACT=main.sagetex.sout
main.pdf: ${TEXFILES} ${SAGETEXARTIFACT}
latexmk latexmk
sage_artifacts: main.sagetex.sout.tmp sage_artifacts: ${SAGETEXARTIFACT}
SAGETEXSCRIPT = main.sagetex.sage SAGETEXSCRIPT = main.sagetex.sage
main.sagetex.sout.tmp: ${SAGETEXSCRIPT} notebook_py_libs ${SAGETEXARTIFACT}: ${SAGETEXSCRIPT} notebook_py_libs
PYTHONPATH=./sagetexscripts/ sage ${SAGETEXSCRIPT} PYTHONPATH=./sagetexscripts/ sage ${SAGETEXSCRIPT}
${SAGETEXSCRIPT}: ${TEXFILES} ${SAGETEXSCRIPT}: ${TEXFILES}
...@@ -32,8 +34,33 @@ $(foreach _base, $(NOTEBOOKBASENAMES), $(eval $(call NOTEBOOK_TO_LIB_RULE, $(_ba ...@@ -32,8 +34,33 @@ $(foreach _base, $(NOTEBOOKBASENAMES), $(eval $(call NOTEBOOK_TO_LIB_RULE, $(_ba
notebook_py_libs: $(addsuffix .py, $(NOTEBOOKBASENAMES)) notebook_py_libs: $(addsuffix .py, $(NOTEBOOKBASENAMES))
# TEX FILES FROM RUST
define RUST_TO_TEX_RULE
$(1).tex: $(1).rs
chromacode -r -i $(1).rs -o $(1).tex
endef
RUSTSNIPPETSBASE=tilt.rs/src/tilt_stability/considered_b_for_beta tilt.rs/src/tilt_stability/find_all
RUSTBASENAMES=$(basename $(wildcard tilt.rs/src/**/*.rs)) ${RUSTSNIPPETSBASE}
$(foreach _base, $(RUSTBASENAMES), $(eval $(call RUST_TO_TEX_RULE, $(_base))))
rust_tex: $(addsuffix .tex, $(RUSTBASENAMES))
# specific snippets of rust
#
tilt.rs/src/tilt_stability/considered_b_for_beta.rs: tilt.rs/src/tilt_stability/left_pseudo_semistabilizers.rs
sed -n -e '24,36p' $^ > $@
tilt.rs/src/tilt_stability/find_all.rs: tilt.rs/src/tilt_stability/left_pseudo_semistabilizers.rs
sed -n -e '79,99p' $^ > $@
# MISCELANEOUS # MISCELANEOUS
# Stuff that can be built before ever running latex:
pretex: rust_tex notebook_py_libs
.PHONY: clean nosage noappendix .PHONY: clean nosage noappendix
clean: clean:
rm -rf **/__pycache__ rm -rf **/__pycache__
...@@ -43,5 +70,5 @@ clean: ...@@ -43,5 +70,5 @@ clean:
nosage: nosage:
latexmk latexmk
noappendix: ${TEXFILES} main.sagetex.sout.tmp noappendix: ${TEXFILES} ${SAGETEXARTIFACT}
latexmk latexmk
...@@ -1896,18 +1896,9 @@ $v$ has positive rank, that it satisfies $\Delta(v) \geq 0$, and that ...@@ -1896,18 +1896,9 @@ $v$ has positive rank, that it satisfies $\Delta(v) \geq 0$, and that
$\beta_{-}(v)$ is rational. $\beta_{-}(v)$ is rational.
\lstinputlisting[ \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}}, caption={\raggedleft\texttt{tilt_stability::left_pseudo_semistabilizers\\::considered_b_for_beta}},
label={fig:code:consideredb} label={fig:code:consideredb}
]{tilt.rs/src/tilt_stability/left_pseudo_semistabilizers.tex} ]{tilt.rs/src/tilt_stability/considered_b_for_beta.tex}
Take $\beta_{-}(v)=\frac{a_v}{n}$ in simplest terms. 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$. Iterate over $q = \frac{b}{n} \in [0,\chern_1^{\beta_{-}}(v)]\cap\frac{1}{n}\ZZ$.
...@@ -1915,18 +1906,9 @@ The code used to generate the corresponding values for $b$ is shown in figure ...@@ -1915,18 +1906,9 @@ The code used to generate the corresponding values for $b$ is shown in figure
\ref{fig:code:consideredb}. \ref{fig:code:consideredb}.
\lstinputlisting[ \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\\::find_all}}, caption={\raggedleft\texttt{tilt_stability::left_pseudo_semistabilizers\\::find_all}},
label={fig:code:reducingtoeachb} label={fig:code:reducingtoeachb}
]{tilt.rs/src/tilt_stability/left_pseudo_semistabilizers.tex} ]{tilt.rs/src/tilt_stability/find_all.tex}
We can therefore reduce the problem of finding solutions to the problem to 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)$ finding the solutions $u$ with each fixed possible $\chern_1^\beta(u)$
......
...@@ -4,6 +4,26 @@ ...@@ -4,6 +4,26 @@
\input{newcommands.tex} \input{newcommands.tex}
\input{theoremstyles.tex} \input{theoremstyles.tex}
\input{newunicodes.tex} \input{newunicodes.tex}
\definecolor{backcolour}{rgb}{0.95,0.95,0.92}
\lstset{
escapeinside={<@}{@>},
inputencoding=utf8,
extendedchars=true,
basicstyle={\linespread{1.1}\scriptsize\ttfamily},
breaklines=true,
showstringspaces=false,
showspaces=false,
numbers=left,
numberstyle={\scriptsize\ttfamily\color{black!60}},
%numbersep=9pt,
backgroundcolor=\color{backcolour},
aboveskip=5mm,
tabsize=2,
breaklines=true,
showtabs=false,
captionpos=b,
literate={β}{{\beta}}1 {μ}{{\mu}}1 {ü}{{\"u}}1 {°}{\dg}1 {}{{b}}1 {}{{n}}1
}
\usepackage{sagetex} \usepackage{sagetex}
...@@ -39,4 +59,4 @@ Practical Methods for Narrowing Down Possible Walls} ...@@ -39,4 +59,4 @@ Practical Methods for Narrowing Down Possible Walls}
\newpage \newpage
\printbibliography \printbibliography
\end{document} \end{document}
\ No newline at end of file
\newunicodechar{}{b} \newunicodechar{}{b}
\newunicodechar{}{n} \newunicodechar{}{n}
\newunicodechar{}{\in} \newunicodechar{}{$\in$}
\newunicodechar{𝜇}{\mu} \newunicodechar{𝜇}{$\mu$}
\newunicodechar{}{\cdot} \newunicodechar{}{$\cdot$}
\newunicodechar{}{$\mathbb{Q}$} \newunicodechar{}{$\mathbb{Q}$}
\newunicodechar{}{{$\mathbb{Z}$}} \newunicodechar{}{{$\mathbb{Z}$}}
...@@ -3,13 +3,13 @@ ...@@ -3,13 +3,13 @@
\usepackage{amsthm} \usepackage{amsthm}
\usepackage{graphicx} \usepackage{graphicx}
\usepackage{hyperref} \usepackage{hyperref}
\usepackage{color} \usepackage{xcolor}
\usepackage{subcaption} \usepackage{subcaption}
\usepackage{cancel} \usepackage{cancel}
\usepackage{mathtools} \usepackage{mathtools}
\usepackage[]{breqn} \usepackage[]{breqn}
\usepackage[nomap]{FiraMono} \usepackage[nomap]{FiraMono}
\usepackage[cache=false]{minted}
\usepackage{newunicodechar} \usepackage{newunicodechar}
\usepackage{multicol} \usepackage{multicol}
\usepackage{listingsutf8}