Bases: sage.categories.category.Category
The category of euclidean domains constructive euclidean domain, i.e. one can divide producing a quotient and a remainder where the remainder is either zero or is “smaller” than the divisor
EXAMPLES:
sage: EuclideanDomains()
Category of euclidean domains
sage: EuclideanDomains().super_categories()
[Category of principal ideal domains]
TESTS:
sage: TestSuite(EuclideanDomains()).run()
EXAMPLES:
sage: EuclideanDomains().super_categories()
[Category of principal ideal domains]