### D.4.24 normal_lib

Library:
  normal.lib
Purpose:
  Normalization of Affine Rings
Authors:
  J. Boehm boehm@mathematik.uni-kl.de,
  W. Decker decker@mathematik.uni-kl.de,
  G.-M. Greuel, greuel@mathematik.uni-kl.de,
  S. Laplagne, slaplagn@dm.uba.ar,
  G. Pfister, pfister@mathematik.uni-kl.de,
  A. Steenpass steenpass@mathematik.uni-kl.de,
  S. Steidel steidel@mathematik.uni-kl.de,
  P. Chini, chini@rhrk.uni-kl.de (normalConductor)

Procedures:

> D.4.24.1 normal |  | normalization of an affine ring
> D.4.24.2 locNormal |  | normalization of R/I using local methods
> D.4.24.3 modNormal |  | normalization of R/I using modular methods
> D.4.24.4 normalP |  | normalization of an affine ring in positive characteristic
> D.4.24.5 normalC |  | normalization of an affine ring through a chain of rings
> D.4.24.6 HomJJ |  | presentation of End_R(J) as affine ring, J an ideal
> D.4.24.7 genus |  | computes the geometric genus of a projective curve
> D.4.24.8 primeClosure |  | integral closure of R/p, p a prime ideal
> D.4.24.9 closureFrac |  | writes a poly in integral closure as element of Quot(R/p)
> D.4.24.10 iMult |  | intersection multiplicity of the ideals of the list L
> D.4.24.11 deltaLoc |  | sum of delta invariants at conjugated singular points
> D.4.24.12 locAtZero |  | checks whether the zero set of I is located at 0
> D.4.24.13 norTest |  | checks the output of normal, normalP, normalC
> D.4.24.14 getSmallest |  | computes the polynomial of smallest degree of J
> D.4.24.15 getOneVar |  | computes a polynomial of J in the variable vari
> D.4.24.16 changeDenominator |  | computes ideal U2 such that 1/c1*U1=1/c2*U2
> D.4.24.17 normalConductor |  | computation of the conductor as ideal in the basering
> D.4.24.18 isNormal |  | test if already normal

See also: integralbasis_lib.

User manual for Singular version 4.4.1, 2025, generated by texi2html.