Skip to contents

Make a Transformation that computes the sum of bounded ints with known dataset size.

Usage

make_sized_bounded_int_split_sum(size, bounds, .T = NULL)

Arguments

size

Number of records in input data.

bounds

Tuple of lower and upper bounds for data in the input domain.

.T

Atomic Input Type and Output Type

Value

Transformation

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>