quot

EuclideanRing EuclideanRingFunctions

quotmod

EuclideanRing EuclideanRingFunctions