Macaulay2 » Documentation
Packages » Normaliz :: output files written by Normaliz

Depending on the options enabled (see setNmzOption), Normaliz writes additional output files. To obtain the content of these files within Macaulay2, use readNmzData or allComputations. The following files may be written, provided certain conditions are satisfied and the information that should go into them has been computed. We denote the files simply by their types. For the most types of inputs the ambient lattice is \ZZ^n if the input of Normaliz is a matrix of n columns. In types polytope and rees_algebra the ambient lattice is \ZZ^{n+1} since the input vectors are extended by 1 component. For congruences and inhomogeneous input it is \ZZ^{n-1} and for inhomogeneous congruences \ZZ^{n-2}. For input of type normal_toric_ideal the lattice is \ZZ^{r} where n-r is the rank of the input matrix. The essential lattice is gp(M) where M is the monoid computed by Normaliz internally, i.e. after a linear transformation such that the cone is full-dimensional and the integral closure has to be computed. See the documentation of Normaliz at https://github.com/Normaliz/Normaliz/blob/master/doc/Normaliz.pdf for more details.

• gen The Hilbert basis
• ext The extreme rays
• cst The constraints defining the cone and the lattice in the same format as they would appear in the input. Using this file as input for Normaliz will reproduce the Hilbert basis and all the other data computed.
• egn, esp These contain the Hilbert basis and the support hyperplanes respectively, however with respect to the essential lattice and a basis of it.
• typ This is the product of the matrices corresponding to egn and esp. That is, the support hyperplanes of the cone are evaluated (as linear forms) on the generators.
• tri The file tri contains a triangulation of the cone computed by Normaliz. Each of the rows of the matrix specifies a simplicial cone D: the entries except the last are the indices (with respect to the order in tgn) of those generators that span D, and the last entry is the multiplicity of D in the essential lattice, i.e. the absolute value of the determinant of the matrix of the spanning vectors (as elements of the essential lattice).
• tgn The file tgn contains a matrix of vectors (in the coordinates of the ambient lattice) spanning the simplicial cones in the triangulation.
• ht1 If the there was a grading available, the file ht1 contains the degree 1 elements of the cone.
• inv The file inv contains all the information computed that is not contained in any of the other files, e.g. the h-vector, the Hilbert polynomial, whether the semigroup is generated in degree 1, the index, the multiplicity, and the cardinality of sets like the Hilbert basis, support hyperplanes and so one.