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¶
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.
See also
EXAMPLES:
sage: GcdDomains().additional_structure()
- super_categories()¶
EXAMPLES:
sage: GcdDomains().super_categories() [Category of integral domains]