Procedures:
D.4.25.1 normal normalization of an affine ring D.4.25.2 normalP normalization of an affine ring in positive characteristic D.4.25.3 normalC normalization of an affine ring through a chain of rings D.4.25.4 HomJJ presentation of End_R(J) as affine ring, J an ideal D.4.25.5 genus computes the geometric genus of a projective curve D.4.25.6 primeClosure integral closure of R/p, p a prime ideal D.4.25.7 closureFrac writes a poly in integral closure as element of Quot(R/p) D.4.25.8 iMult intersection multiplicity of the ideals of the list L D.4.25.9 deltaLoc sum of delta invariants at conjugated singular points D.4.25.10 locAtZero checks whether the zero set of I is located at 0 D.4.25.11 norTest checks the output of normal, normalP, normalC D.4.25.12 getSmallest computes the polynomial of smallest degree of J D.4.25.13 getOneVar computes a polynomial of J in the variable vari D.4.25.14 changeDenominator computes ideal U2 such that 1/c1*U1=1/c2*U2 D.4.25.15 normalConductor computation of the conductor as ideal in the basering D.4.25.16 isNormal test if already normal