Cat::FactorialDomain
--
the category of factorial domainsCat::FactorialDomain
represents the category of
factorial domains (i.e. unique factorisation domains).
Cat::FactorialDomain()
Cat::GcdDomain
Cat::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.