Top
Back: randomPolyInT
Forward: Miscellaneous libraries
FastBack:
FastForward:
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


Top Back: randomPolyInT Forward: Miscellaneous libraries FastBack: FastForward: Up: tropical_lib Top: Singular Manual Contents: Table of Contents Index: Index About: About this document
            User manual for Singular version 4-0-3, 2016, generated by texi2html.