# Gcd domains¶

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

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]