|
D.4.16.1 intclToricRing
Procedure from library normaliz.lib (see normaliz_lib).
- Usage:
- intclToricRing(ideal I);
- Return:
- The toric ring S is the subalgebra of the basering generated by the
leading monomials of the elements of I. The function computes the
integral closure T of S in the basering and returns an ideal listing
the algebra generators of T over the coefficient field.
The function returns the input ideal I if one of the options
supp , triang , or hvect has been activated.
However, in this case some numerical invariants are computed, and
some other data may be contained in files that you can read into
Singular (see showNuminvs, exportNuminvs).
- Note:
- A mathematical remark: the toric ring depends on the list of
monomials given, and not only on the ideal they generate!
Example:
| LIB "normaliz.lib";
ring R=37,(x,y,t),dp;
ideal I=x3,x2y,y3;
intclToricRing(I);
==> _[1]=y
==> _[2]=x
| See also:
ehrhartRing;
intclMonIdeal;
normalToricRing.
|