Skip to contents

See documentation for make_lipschitz_float_mul() for details.

Usage

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

Arguments

lhs

The prior transformation or metric space.

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