转自:CGAL学习手册
It refines EqualityComparable, where equality is defined w.r.t the ring element being represented.
转自: http://mathworld.wolfram.com/EuclideanRing.html
Euclidean Ring
A ring without zero divisors in which an integer norm and an associated division algorithm (i.e., aEuclidean algorithm) can be defined. For signed integers, the usual norm is theabsolute value and the division algorithm gives the ordinaryquotient and remainder. For polynomials, the norm is the degree.
Important examples of Euclidean rings (besides ) are theGaussian integers and , thering of polynomials with complex coefficients. All Euclidean rings are alsoprincipal rings.