D.4.25 normal_lib

Library:

normal.lib

Purpose:

Normalization of Affine Rings

Authors:

G.-M. Greuel, greuel@mathematik.uni-kl.de,
S. Laplagne, slaplagn@dm.uba.ar,
G. Pfister, pfister@mathematik.uni-kl.de
P. Chini, chini@rhrk.uni-kl.de (normalConductor)

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