Singular

D.4.18.15 normaliz

Usage:

normaliz(intmat sgr,int nmz_mode);
normaliz(intmat sgr, int nmz_mode, intmat sgr2, int nmz_mode2, ...);

Return:

The function applies Normaliz to the parameter sgr in the mode set by nmz_mode. The function returns the intmat defined by the file with suffix gen.

It is also possible to give more than one pair of matrix and mode. In this case all matrices and modes are used. This can be used to combine modes 4,5,6.
Use nmz_mode=20 to specify a grading.

Note:

You will find procedures for many applications of Normaliz in this library, so the explicit call of this procedure may not be necessary.

LIB "normaliz.lib";
ring R=0,(x,y,z),dp;
intmat M[3][2]=3,1,
3,2,
1,3;
normaliz(M,1);
==> 1,1,
==> 2,1,
==> 1,2,
==> 3,1,
==> 1,3 
intmat Hyperplanes[2][3] = 2,-1,0, // 2x-y >= 0
1, 1,0; //  x+y >= 0
intmat Equation[1][3] = 0,1,-1;    // y = z
intmat Congruence[1][4] = 1,0,0,3;  // x = 0 (3)
normaliz(Hyperplanes,4,Equation,5,Congruence,6);
==> 3,-3,-3,
==> 3,-2,-2,
==> 3,-1,-1,
==> 3,0,0,
==> 3,1,1,
==> 3,2,2,
==> 3,3,3,
==> 3,4,4,
==> 3,5,5,
==> 3,6,6