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.34 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: groebnerCone FastBack: FastForward: Up: tropical_lib Top: Singular Manual Contents: Table of Contents Index: Index About: About this document
            User manual for Singular version 4.3.2, 2023, generated by texi2html.