Cat::FactorialDomain --
the category of factorial domains
IntroductionCat::FactorialDomain represents the category of
factorial domains (i.e. unique factorisation domains).
Generating
the categoryCat::FactorialDomain()
Cat::GcdDomain
DetailsCat::FactorialDomain is an integral domain with gcd
where an unique factorization can be computed."factor" and
"sqrfree" and must return elements of the domain Factored over this
domain.irreducible(dom x)TRUE if x is an irreducible
element. The default implementation provided uses the method
"factor" and therefore may be quite inefficient.sqrfree(dom x)x as an
element of the domain Factored over this domain, such
that the factors have the type "sqrfree" or
"irreducible".Factored
for details about the representation of the factorization."factor" and therefore may be very inefficient."factor" and "sqrfree" must
return elements of the domain Factored now."Factor" was removed.