rmNmzFiles -- removes the files created by Normaliz

Synopsis

Usage:
rmNmzFiles()

Description

This function removes the files created for and by Normaliz, using the last filename created. These files are removed automatically unless a (non-empty) filename has been specified using setNmzFilename. In this case the filename is reset to the empty string.

i1 : setNmzFilename("VeryInteresting");

i2 : R=ZZ/37[x,y,z];

i3 : I=ideal(x^2*y, y^3);

o3 : Ideal of R

i4 : normalToricRing(I);

o4 : Ideal of R

i5 : get (setNmzFile()|".typ")

o5 = 2
     2
     1 0 
     0 1

i6 : rmNmzFiles();

i7 : getNmzFilename()

o7 =