EuclideanDomains

class sage.categories.euclidean_domains.EuclideanDomains(s=None)

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()
class ElementMethods
class EuclideanDomains.ParentMethods
EuclideanDomains.super_categories(*args, **kwds)

EXAMPLES:

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

Previous topic

Enumerated Sets

Next topic

Fields

This Page