|
 |
 |
 |
 |
 |
 |
 |
 |
 |
D.4.17.5 nsatiety
Procedure from librarynoether.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.