boundlab.ibp.mul.MulNoised#

class boundlab.ibp.mul.MulNoised[source]#

Bases: OpHandler

Handle the remaining error components: interval-to-interval products via to_intervals, and Noise * Noise by prop_noise().

Methods

__init__

condition

Whether this handler applies to these operands (default: always).

handle

Transform the operands; sub-operations go through interp.<op> so the enclosing domain's handlers apply to them too.

override_handler

A copy of this handler that takes precedence over other when both are ready for the same call.

prop_noise

Elementwise \([-a, a] \cdot [-b, b] \subseteq \pm(ab)\), blending reasons by each factor's share of the total mass.

op: str = 'mul'#
condition(x, y, **kwargs)[source]#

Whether this handler applies to these operands (default: always).

handle(interp, x, y, **kwargs)[source]#

Transform the operands; sub-operations go through interp.<op> so the enclosing domain’s handlers apply to them too.

prop_noise(x, y)[source]#

Elementwise \([-a, a] \cdot [-b, b] \subseteq \pm(ab)\), blending reasons by each factor’s share of the total mass.

override_handler(other)#

A copy of this handler that takes precedence over other when both are ready for the same call.

overrides: list[type[OpHandler]] = []#