Top
Back: ReesAlgebra
Forward: sagbi_lib
FastBack: realrad_lib
FastForward: sagbi_lib
Up: reesclos_lib
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

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:
 

Top Back: ReesAlgebra Forward: sagbi_lib FastBack: realrad_lib FastForward: sagbi_lib Up: reesclos_lib Top: Singular Manual Contents: Table of Contents Index: Index About: About this document
            User manual for Singular version 3-1-6, Dec 2012, generated by texi2html.