| #### D.4.18.23 rmNmzFiles Procedure from library `normaliz.lib` (see normaliz_lib). Usage: rmNmzFiles(); Purpose: This function removes the files created for and by Normaliz, using the last filename specified. It needs an explicit filename set (see setNmzFilename). Example:
    LIB "normaliz.lib";
    setNmzFilename("VeryInteresting");
    rmNmzFiles();
See also: readNmzData; setNmzDataPath; setNmzFilename; writeNmzData.

User manual for Singular version 4-0-2, 2015, generated by texi2html.