Top
Back: randomPoly
Forward: Miscellaneous libraries
FastBack: oldpolymake_lib
FastForward: Miscellaneous libraries
Up: tropical_lib
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

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


Top Back: randomPoly Forward: Miscellaneous libraries FastBack: oldpolymake_lib FastForward: Miscellaneous libraries Up: tropical_lib Top: Singular Manual Contents: Table of Contents Index: Index About: About this document
            User manual for Singular version 3-1-6, Dec 2012, generated by texi2html.