Sethuraman's construction makes the draw explicit. The result is DISCRETE
with probability one however continuous the base measure is – which is what
makes the DP a clustering prior: repeated draws collide, and each distinct
value is a cluster. Alpha controls fragmentation; the expected number of
distinct values among n draws grows like alpha * log n, so it grows with
the data rather than being fixed in advance.
Value
List with weights, atoms, truncation_mass, and when size is
given samples, labels, n_clusters, expected_clusters.
Details
Truncating at n_atoms leaves part of the stick unbroken; that residual is
reported as truncation_mass and warned about when it is not negligible.
