boundlab.ibp.mul

Interval elementwise products, by the same component split as matmul: (c1 + e1)(c2 + e2) has three exact linear terms and one error-error term bounded by \(\pm(w_1 w_2)\).

Classes

MulBiased	Peel the Bias centers off both factors; the three center-carrying terms are exact linear maps, the rest is re-dispatched.
MulNoised	Handle the remaining error components: interval-to-interval products via to_intervals, and Noise * Noise by prop_noise().