The library normaliz.lib provides an interface for the use of Normaliz 3.10.0 or
newer 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. Options
such as compoutationn goals or algorithmic variants can be activated.To some extent,
SINGULAR can therefore be used as an environment for interactive access to Normaliz.
Please see the Normaliz.pdf (included in the Normaliz
distribution) for a more extensive documentation of Normaliz.
Normaliz allows the use of a grading. In the Singular functions that access
Normaliz the parameter grading is an intvec that assigns a (not necessarily
positive) degree to every variable of the ambient polynomial ring.
But it must give positive degrees to the generators given to the function.
Singular and Normaliz exchange data via files. The input files use the Normaliz 3 syntax.
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. (Not all output files
of Normaliz can be read by this library.)
Use of this library requires the program Normaliz >=3.10.0 to be installed.
You can download it from
https://github.com/Normaliz/Normaliz/releases. Please make sure
that the executable is in the search path or use setNmzExecPath
( setNmzExecPath).
computes the normalization of the toric ring generated by the leading monomials of the elements of I proc hilbertSeriesToricRing(ideal I) computes the Hilbert series of the toric ring generated by the lead monomials of the elements in I. A grading can be specified