div_helper_zero_exclusive

Function div_helper_zero_exclusive 

Source
fn div_helper_zero_exclusive(
    dt: &DataType,
    lhs: &Interval,
    rhs: &Interval,
    zero_point: &Interval,
) -> Interval
Expand description

Divides the left-hand side interval by the right-hand side interval when neither interval contains zero.

This function takes in two intervals (lhs and rhs) as arguments and returns their quotient (whose data type is known to be dt). It is specifically designed to handle intervals that do not contain zero within their ranges. Returns an error if the division of bounds fails.

Left-hand side:  <--======----0------------>
Right-hand side: <--======----0------------>

                   or

Left-hand side:  <--======----0------------>
Right-hand side: <------------0--======---->

                   or

Left-hand side:  <------------0--======---->
Right-hand side: <--======----0------------>

                   or

Left-hand side:  <------------0--======---->
Right-hand side: <------------0--======---->

Caution: This function contains multiple calls to unwrap(). Therefore, it should be used with caution. Currently, it is used in contexts where the DataType (dt) is validated prior to calling this function.