Functions with branches

[baggepinnen]

Hello! I just tried this package to see if it could be useful for automatic stability proofs of nonlinear feedback systems using the circle criterion. I'm not sure if I'm using it wrong, but I get an infinite enclosure for a simple function (relative saturation)

julia> using RangeEnclosures

julia> domain = RangeEnclosures.Interval(-3, 3)
[-3, 3]

julia> fun = x->clamp(x, -1, 1)/x
#105 (generic function with 1 method)

julia> plot(fun, domain.lo, domain.hi)

julia> enclose(fun, domain, BranchAndBoundEnclosure())
[-∞, ∞]