D.13.3.35 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-0-3, 2016, generated by
texi2html
.