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

D.13.6.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