Home Online Manual
Top
Back: randomPolyInT
Forward: Miscellaneous libraries
FastBack: realizationMatroids_lib
FastForward: Miscellaneous libraries
Up: tropical_lib
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

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