normal.lib

normal.lib - A Singular library for normalization. Normalization of Affine Rings.