Description
This function creates an input file for
Normaliz containing one or several matrices, whose rows are considered according to the type:
-
integral closure, normalization: generators of a rational cone
-
polytope: lattice points spanning a polytope
-
rees_algebra: exponent vectors of monomials generating an ideal
-
inequalities, equations, congruences: constraints defining the cone to be computed
-
inhom_inequalities, inhom_equations, inhom_congruences: inhomogeneous constraints defining the cone to be computed
-
normal_toric_ideal: generators of a lattice ideal
-
grading: a grading which gives positive degree to all generators
For a more detailed list see the Normaliz documentation.