|
D.4.13.2 depthIdeal
Procedure from library mregular.lib (see mregular_lib).
- Usage:
- depthIdeal (i[,e]); i ideal, e integer
- Return:
- an integer, the depth of S/i where S=K[x(0)..x(n)] is the basering.
(returns -1 if i is not homogeneous or if i=(1))
- Assume:
- i is a proper homogeneous ideal.
e=0: (default)
If K is an infinite field, makes random changes of coordinates.
If K is a finite field, works over a transcendental extension.
e=1: Makes random changes of coordinates even when K is finite.
It works if it terminates, but may result in an infinite
loop. After 30 loops, a warning message is displayed and
-1 is returned.
- Note:
- If printlevel > 0 (default = 0), dim(S/i) is also displayed.
Example:
|