For the most recent version see the files IntegralBasis.mpl and NormalForm.mpl in: www.math.fsu.edu/~hoeij/LRE (in the subfolder 2026).