Domains - Category Framework

Skip to content
Back to top
View this page
Edit this page

# Domains

class sage.categories.domains.Domains(base_category)

  Bases: `CategoryWithAxiom_singleton`

  The category of domains.

  A domain (or non-commutative integral domain), is a ring, not necessarily commutative, with no nonzero zero divisors.

  EXAMPLES:

  Sage

      sage: C = Domains(); C
      Category of domains
      sage: C.super_categories()
      [Category of rings]
      sage: C is Rings().NoZeroDivisors()
      True

  Python

      >>> from sage.all import *
      >>> C = Domains(); C
      Category of domains
      >>> C.super_categories()
      [Category of rings]
      >>> C is Rings().NoZeroDivisors()
      True

  Commutative

    alias of `IntegralDomains`

  class ElementMethods

    Bases: `object`

  class ParentMethods

    Bases: `object`

  super_categories()

    EXAMPLES:

    Sage

        sage: Domains().super_categories()
        [Category of rings]

    Python

        >>> from sage.all import *
        >>> Domains().super_categories()
        [Category of rings]