Bases: sage.categories.category_singleton.Category_singleton
The category of gcd domains domains where gcd can be computed but where there is no guarantee of factorisation into irreducibles
EXAMPLES:
sage: GcdDomains()
Category of gcd domains
sage: GcdDomains().super_categories()
[Category of integral domains]
TESTS:
sage: TestSuite(GcdDomains()).run()
Return None.
Indeed, the category of gcd domains defines no additional structure: a ring morphism between two gcd domains is a gcd domain morphism.
See also
EXAMPLES:
sage: GcdDomains().additional_structure()
EXAMPLES:
sage: GcdDomains().super_categories()
[Category of integral domains]