Gcd domains#

class sage.categories.gcd_domains.GcdDomains#

Bases: 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#

Bases: object

class ParentMethods#

Bases: object

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]