Gcd domains

class sage.categories.gcd_domains.GcdDomains(s=None)

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]
class ElementMethods
class ParentMethods
additional_structure()

Return None.

Indeed, the category of gcd domains defines no additional structure: a ring morphism between two gcd domains is a gcd domain morphism.

EXAMPLES:

sage: GcdDomains().additional_structure()
super_categories()

EXAMPLES:

sage: GcdDomains().super_categories()
[Category of integral domains]