sagetex
sagetex copied to clipboard
using sage over ssh
I wrote a small script to use a remote sage instance via ssh (currently a shell script, but could probably be move to python)
Would you be interested in adding it?
It can replace the remote_sage.py for some people and works around the API restrictions
Do you mean to use a remote Sage instance for purposes of SageTeX? You can always post it as a PR and we can take a look at how it fits in. I admit that this probably was never a very large use case for SageTeX.