1 | initial version |
The answer to the second question is yes: the command
sage -n export --list
displays the list of of your sws files. Then to convert, say, the one listed as admin:10
, run
sage -n export --ipynb=Output.ipynb admin:10
See sage -n --help
for further details. In SageMath 8.0 (arriving just after 7.6), some automatic conversion will be implemented.