EuclideanRing
ring
EuclideanRingFunctions
ring