The library normaliz.lib provides an interface for the use of Normaliz 2.2
within SINGULAR. The exchange of data is via files, the only possibility
offered by Normaliz in its present version. 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.2Documentation.pdf and nmz_sing.pdf
(both are included in the Normaliz distribution) for a more extensive
documentation of Normaliz.
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.