|
|
D.4.24.34 intmat2binomials
Procedure from library normaliz.lib (see normaliz_lib).
- Usage:
- intmat2binomials(intmat M);
- Return:
- an ideal generated by the binomials 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).
The vector with all entries zero represents 1.
Example:
| | LIB "normaliz.lib";
ring S = 37,(u,v,w,x,y,z),dp;
intmat M[2][6] = 1,0,1,-1,-2,0, -3,4,5,0,0,1;
intmat2binomials(M);
==> _[1]=-xy2+uw
==> _[2]=v4w5z-u3
|
See also:
binomials2intmat.
|
