Euclidean domains

AUTHORS:

  • Teresa Gomez-Diaz (2008): initial version
  • Julian Rueth (2013-09-13): added euclidean degree, quotient remainder, and their tests
sage.categories.euclidean_domains.EuclideanDomains

The category of constructive euclidean domains, i.e., one can divide producing a quotient and a remainder where the remainder is either zero or its ElementMethods.euclidean_degree() is smaller than the divisor.

EXAMPLES:

sage: EuclideanDomains()
Category of euclidean domains
sage: EuclideanDomains().super_categories()
[Category of principal ideal domains]