Skip to contents

lipschitz float mul constructor

Source: R/transformations.R
make_lipschitz_float_mul.Rd

Make a transformation that multiplies an aggregate by a constant.

Usage

make_lipschitz_float_mul(
  constant,
  bounds,
  .D = "AtomDomain<.T>",
  .M = "AbsoluteDistance<.T>"
)

Arguments

constant

The constant to multiply aggregates by.

bounds

Tuple of inclusive lower and upper bounds.

.D

Domain of the function. Must be AtomDomain<T> or VectorDomain<AtomDomain<T>>

.M

Metric. Must be AbsoluteDistance<T>, L1Distance<T> or L2Distance<T>

Value

Transformation

Details

The bounds clamp the input, in order to bound the increase in sensitivity from float rounding.

make_lipschitz_float_mul in Rust documentation.

Supporting Elements:

  • Input Domain: D

  • Output Domain: D

  • Input Metric: M

  • Output Metric: M