Ask Your Question

Revision history [back]

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.