UniqueFactorizationDomains

class sage.categories.unique_factorization_domains.UniqueFactorizationDomains(s=None)

Bases: sage.categories.category.Category

The category of unique factorization domains constructive unique factorization domains, i.e. where one can constructively factor members into a product of a finite number of irreducible elements

EXAMPLES:

sage: UniqueFactorizationDomains()
Category of unique factorization domains
sage: UniqueFactorizationDomains().super_categories()
[Category of gcd domains]

TESTS:

sage: TestSuite(UniqueFactorizationDomains()).run()

class ElementMethods

class UniqueFactorizationDomains.ParentMethods

UniqueFactorizationDomains.super_categories(*args, **kwds)

EXAMPLES:

sage: UniqueFactorizationDomains().super_categories()
[Category of gcd domains]