Is there a quick way to remove all the output from a sagews file? Also, is there a quick way to split a sagews file into two files? I am happy to use a terminal if there are commands for these jobs Thanks
1 | initial version |
Is there a quick way to remove all the output from a sagews file? Also, is there a quick way to split a sagews file into two files? I am happy to use a terminal if there are commands for these jobs Thanks