|
D.13.1.20 polymakeKeepTmpFiles
Procedure from library oldpolymake.lib (see oldpolymake_lib).
- Usage:
- polymakeKeepTmpFiles(int i); i int
- Purpose:
- some procedures create files in the directory /tmp which are used for
computations with polymake respectively topcom; these will be removed
when the corresponding procedure is left; however, it might be
desireable to keep them for further computations with either polymake or
topcom; this can be achieved by this procedure; call the procedure as:
- polymakeKeepTmpFiles(1); - then the files will be kept
- polymakeKeepTmpFiles(0); - then files will be removed in the future
- Return:
- none
|