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.