D.13.6.34 cleanTmp
Procedure from library
tropical.lib
(see
tropical_lib
).
Usage:
cleanTmp()
Purpose:
some procedures create latex and ps-files in the directory /tmp; in order to remove them simply call cleanTmp();
Return:
none
User manual for
Singular
version 4.3.1, 2022, generated by
texi2html
.