Gcd domains¶
-
class
sage.categories.gcd_domains.GcdDomains(s=None)¶ Bases:
sage.categories.category_singleton.Category_singletonThe 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.
See also
EXAMPLES:
sage: GcdDomains().additional_structure()
-
super_categories()¶ EXAMPLES:
sage: GcdDomains().super_categories() [Category of integral domains]
-
class