Procedures:
D.4.6.1 normal computes the normalization of basering/I D.4.6.2 HomJJ presentation of End_R(J) as affine ring, L a list