sized bounded int split sum constructor
Source:R/transformations.R
make_sized_bounded_int_split_sum.Rd
Make a Transformation that computes the sum of bounded ints with known dataset size.
Details
This uses a restricted-sensitivity proof that takes advantage of known dataset size for better utility. Adds the saturating sum of the positives to the saturating sum of the negatives.
Required features: contrib
make_sized_bounded_int_split_sum in Rust documentation.
Citations:
Supporting Elements:
Input Domain:
VectorDomain<AtomDomain<T>>
Output Domain:
AtomDomain<T>
Input Metric:
SymmetricDistance
Output Metric:
AbsoluteDistance<T>