Documentation update: Attributing the De Jong algorithm and the Grauert-Remmert-De Jong criterion #4117
Description
Dear Dan and Mike (@Dgrayson, @MStillman),
I am writing to propose a correction for the documentation of the integralClosure routines.
As the author of the 1998 paper "An algorithm for computing the integral closure", I suggest
that the documentation distinguishes more clearly between the mathematical algorithm
and its later optimizations:
Grauert-Remmert-De Jong criterion: The theoretical foundation for the Noetherian case (De Jong, 1998).
De Jong algorithm: The iterative normalization procedure.
GLS-optimization: Credit Greuel-Laplagne-Seelisch (2010) specifically for the faster computation of Hom(I,I) using fractional ideals.
Magma already correctly refers to it as the "de Jong algorithm". Harmonizing this across Macaulay2 would ensure historical and
mathematical accuracy for the community.
Best regards,
Theo de Jong