Bases: sage.categories.category_singleton.Category_singleton
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()
Return True, since this in an object of the category of unique factorization domains.
EXAMPLES:
sage: Parent(QQ,category=UniqueFactorizationDomains()).is_unique_factorization_domain()
True
EXAMPLES:
sage: UniqueFactorizationDomains().super_categories()
[Category of gcd domains]