primeFactorization

P27191 predicate

Indicates that one entity is the decomposition of another entity into a multiset or sequence of prime factors whose product equals the original.


Sample triples (1)
Subject Object
Gaussian integers every nonzero nonunit factors uniquely up to units and order

Please wait…