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