Gcd domains¶
- class sage.categories.gcd_domains.GcdDomains[source]¶
- 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] - >>> from sage.all import * >>> GcdDomains() Category of gcd domains >>> GcdDomains().super_categories() [Category of integral domains] - additional_structure()[source]¶
- 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() - >>> from sage.all import * >>> GcdDomains().additional_structure()