[−][src]Trait maths_traits::algebra::ring_like::UniquelyFactorizable
A marker trait for semirings where each element's set of irreducible divisors is unique
Note that this trait is independent of Factorizable
and doesn't contain its own
factors()
method since there are a number of notable examples of rings
where unique factorization is provable, but no known algorithm to find the factors is known.
This is the case for integer polynomials for example.