|
D.4.22.2 normalI
Procedure from library reesclos.lib (see reesclos_lib).
- Usage:
- normalI (I [,p[,r]]); I an ideal, p and r optional integers
- Return:
- the integral closure of I, ..., I^p, where I is an ideal in the
polynomial ring R=k[x(1),...x(n)]. If p is not given, or p==0,
compute the closure of all powers up to the maximum degree in t
occurring in the closure of R[It] (so this is the last power whose
closure is not just the sum/product of the smaller). If r
is given and r==1, normalI starts with a check whether I is already a
radical ideal.
The result is a list containing the closure of the desired powers of
I as ideals of the basering.
- Display:
- The procedure displays more comments for higher printlevel.
Example:
|