See documentation for make_lipschitz_float_mul()
for details.
Usage
then_lipschitz_float_mul(
lhs,
constant,
bounds,
.D = "AtomDomain<.T>",
.M = "AbsoluteDistance<.T>"
)
See documentation for make_lipschitz_float_mul()
for details.
then_lipschitz_float_mul(
lhs,
constant,
bounds,
.D = "AtomDomain<.T>",
.M = "AbsoluteDistance<.T>"
)