| #### D.4.16.5 nsatiety Procedure from library `noether.lib` (see noether_lib). Usage: nsatiety (i); i ideal, Return: an integer, the satiety of i. (returns -1 if i is not homogeneous) Assume: i is a homogeneous ideal of the basering R=K[x(0)..x(n)]. Theory: The satiety, or saturation index, of a homogeneous ideal i is the least integer s such that, for all d>=s, the degree d part of the ideals i and isat=sat(i,maxideal(1))[1] coincide.

User manual for Singular version 4-0-2, 2015, generated by texi2html.