Synopsis: filter_distribution <distribution> { <distribution> }Filters out slices from a distribution. A slice is filtered out if the quotient between the total probability captured by the slice, and the upper bound on the total error in the slice, is less than
The filtered distribution is automatically assigned an appropriate name and written to the distributions directory. If this directory does not exist, it will be created.
Arguments <distribution> where
<distribution>is the path to a distribution