You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
julia> Vector{Vector{Number}} <:
Vector{Union{Vector{Number}, Vector{S}}} where S<:Integer
true
The cause is in the function var_lt. A comment there claims that updating bb->ub = a instead of bb->ub = meet(bb->ub, a) is correct, but it turns out not to be. It should be possible to fix this for many practical cases by defining a simple_meet (to go with simple_join) and using it here.
The text was updated successfully, but these errors were encountered:
Found by @julbinb:
The cause is in the function
var_lt
. A comment there claims that updatingbb->ub = a
instead ofbb->ub = meet(bb->ub, a)
is correct, but it turns out not to be. It should be possible to fix this for many practical cases by defining asimple_meet
(to go withsimple_join
) and using it here.The text was updated successfully, but these errors were encountered: