### Navigation

- index
- modules |
- next |
- previous |
- Category Theory »

# 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]

  TESTS:

      sage: TestSuite(GcdDomains()).run()

  class `ElementMethods`
  class `GcdDomains.``ParentMethods`
  `GcdDomains.``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

    `Category.additional_structure()`

    EXAMPLES:

        sage: GcdDomains().additional_structure()

  `GcdDomains.``super_categories`()

    EXAMPLES:

        sage: GcdDomains().super_categories()
        [Category of integral domains]

### Navigation

- index
- modules |
- next |
- previous |
- Category Theory »