The library normaliz.lib provides an interface for the use of Normaliz 2.7
within SINGULAR. The exchange of data is via files.
In addition to the top level
functions that aim at objects of type ideal or ring, several other auxiliary
functions allow the user to apply Normaliz to data of type intmat. Therefore
SINGULAR can be used as a comfortable environment for the work with Normaliz.
Please see the Normaliz2.7Documentation.pdf (included in the Normaliz
distribution) for a more extensive documentation of Normaliz.
nmz_sing.pdf describes this library version 2.2, but most points are
still valid.
Singular and Normaliz exchange data via files. These files are automatically
created and erased behind the scenes. As long as one wants to use only the
ring-theoretic functions there is no need for file management.
Note that the numerical invariants computed by Normaliz can be
accessed in this "automatic file mode".
However, if Singular is used as a frontend for Normaliz or the user
wants to inspect data not automatically returned to Singular, then
an explicit filename and a path can be specified for the exchange of
data. Moreover, the library provides functions for access to these files.
Deletion of the files is left to the user.
Use of this library requires the program Normaliz to be installed.
You can download it from
@uref{http://www.mathematik.uni-osnabrueck.de/normaliz/}. Please make sure
that the executables are in the search path or use setNmzExecPath
( setNmzExecPath).