|
D.4.15.10 locAtZero
Procedure from library normal.lib (see normal_lib).
- Usage:
- locAtZero(I); I = ideal
- Return:
- int, 1 if I has only one point which is located at zero, 0 otherwise
- Assume:
- I is given as a standard bases in the basering
- Note:
- only useful in affine rings, in local rings vdim does the check
Example:
|