implemented quotient ring of euclidean domain