|
D.4.26.9 groebnerBasis
Procedure from library normaliz.lib (see normaliz_lib).
- Usage:
- groebnerBasis(ideal I);
- Return:
- Returns a Gr"obner basis of the lattice ideal defined by the
elements of I which have to be binomials. The lattice ideal is
the restriction to the polynomial ring of the ideal of
the Laurent polynomial ring generated by I. The default monomial
order is DegRevLex where Deg is the total degree on the ambient
polynomial ring. Lex and DegLex orders can be chosen via options.
- Note:
- This function requires the previous setting of an NmzFilename.
The function does not delete the written files.
Example:
| LIB "normaliz.lib";
setNmzFilename("binomials");
ring S = 37,(u,v,w,x,y,z),dp;
ideal I = u2-v2, x2-y2, y2-vw, z2-xy;
groebnerBasis(I);
setNmzOption("lex",1);
groebnerBasis(I);
setNmzOption("lex",0);
| See also:
latticeIdeal.
|