search

dpsanders / ReversePropagation.jl

MIT License
52 stars 6 forks source link

Need to define `sign_rev` #72

Open dpsanders opened 5 months ago

dpsanders commented 5 months ago 
julia> H(x) = 0.5 * (sign(x) + 1)
H (generic function with 1 method)

julia> S = Separator(H(x) * H(y), vars)
Separator(in(0.25(1 + sign(x))*(1 + sign(y)), [0, 0]), vars=x, y)

julia> inner, boundary = pave(X, S, 0.5)
ERROR: UndefVarError: `sign_rev` not defined
Stacktrace:
 [1] rev(::typeof(sign), z::Interval{Float64}, x::Interval{Float64})
   @ ReversePropagation ~/Dropbox/packages/ReversePropagation/src/reverse_icp.jl:76