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

Adjust build

Build seen to work locally, now to test in CI
parent 4f760f58
No related branches found
No related tags found
No related merge requests found
Pipeline #32566 failed
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,15 @@ variables: ...@@ -2,13 +2,15 @@ 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/sagetex-image:latest
image:
dockerfile: .devcontainer/Dockerfile
tags: ["x64"] tags: ["x64"]
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,24 @@ ...@@ -4,6 +4,24 @@
\input{newcommands.tex} \input{newcommands.tex}
\input{theoremstyles.tex} \input{theoremstyles.tex}
\input{newunicodes.tex} \input{newunicodes.tex}
\lstset{
escapeinside={<@}{@>},
inputencoding=utf8,
extendedchars=true,
frame=single,
basicstyle={\linespread{0.9}\scriptsize\ttfamily},
showstringspaces=false,
showspaces=false,
numbers=left,
numberstyle={\scriptsize\ttfamily\color{black!60}},
numbersep=9pt,
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 +57,4 @@ Practical Methods for Narrowing Down Possible Walls} ...@@ -39,4 +57,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}$}}
...@@ -9,7 +9,7 @@ ...@@ -9,7 +9,7 @@
\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}
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