diff --git a/.gitignore b/.gitignore index 2b7bf79a28f8f9ad104869e298d95f08cd725860..b0bb3f7e190cbf86e43dffa9397515473077d430 100644 --- a/.gitignore +++ b/.gitignore @@ -6,6 +6,10 @@ examples.* !examples.ipynb characteristic_curves.* !characteristic_curves.ipynb +rank_zero_case.* +!rank_zero_case.ipynb +other_P_choice.* +!other_P_choice.ipynb filtered_sage.txt _minted-main/* sage-plots-for-main.tex diff --git a/Makefile b/Makefile index 62560da6f87eef41c9b2547451c9d214628fb28e..bc870bf46540b407c246577a5f103d0125f82d25 100644 --- a/Makefile +++ b/Makefile @@ -8,7 +8,7 @@ SAGETEXSCRIPT = main.sagetex.sage main.pdf: ${TEXFILES} main.sagetex.sout.tmp latexmk -main.sagetex.sout.tmp: ${SAGETEXSCRIPT} plots_and_expressions.py examples.py characteristic_curves.py +main.sagetex.sout.tmp: ${SAGETEXSCRIPT} plots_and_expressions.py examples.py characteristic_curves.py rank_zero_case.py other_P_choice.py PYTHONPATH=./sagetexscripts/ sage ${SAGETEXSCRIPT} ${SAGETEXSCRIPT}: ${TEXFILES} @@ -35,6 +35,20 @@ characteristic_curves.py: characteristic_curves.ipynb sage --preparse characteristic_curves.sage mv characteristic_curves.sage.py characteristic_curves.py +rank_zero_case.py: rank_zero_case.ipynb + jupyter nbconvert --to script rank_zero_case.ipynb + mv rank_zero_case.py rank_zero_case.sage + sed -e "/get_ipython/d" -i rank_zero_case.sage + sage --preparse rank_zero_case.sage + mv rank_zero_case.sage.py rank_zero_case.py + +other_P_choice.py: other_P_choice.ipynb + jupyter nbconvert --to script other_P_choice.ipynb + mv other_P_choice.py other_P_choice.sage + sed -e "/get_ipython/d" -i other_P_choice.sage + sage --preparse other_P_choice.sage + mv other_P_choice.sage.py other_P_choice.py + .PHONY: clean nosage noappendix clean: rm -rf **/__pycache__ diff --git a/other-P-choice.ipynb b/other_P_choice.ipynb similarity index 100% rename from other-P-choice.ipynb rename to other_P_choice.ipynb diff --git a/rank-zero-case.ipynb b/rank_zero_case.ipynb similarity index 100% rename from rank-zero-case.ipynb rename to rank_zero_case.ipynb