Procedure from library normaliz.lib (see normaliz_lib).
Usage:
intmat2mons(intmat M);
Return:
an ideal generated by the monomials which correspond to the exponent
vectors given by the rows of M
Note:
The number of variables in the basering nvars(basering) has to
be at least the number of columns ncols(M), otherwise the
function exits with an error.
is thrown (see ERROR).