boundlab.zono.matmul.basic_estimate

boundlab.zono.matmul.basic_estimate(x, y)

Box bound: \(|x| \le ub_x,\ |y| \le ub_y \Rightarrow |xy| \le ub_x\,ub_y\) — zero center, width x.ub() @ y.ub().