jump-dev / jump-dev/MathOptInterface.jl
MOI.is_valid can be falsely positive for bridged constraints
- Ngôn ngữ chính
- Julia
- Star
- 504
- Fork
- 101
- Merge trung bình
- 6 giờ 26 phút
- Pull request đã merge (30 ngày)
- 22
Mô tả
Found as part of #2695. But it does't need to hold that up merging.
The last `MOI.is_valid` should return `false`:
```Julia
julia> import MathOptInterface as MOI
julia> include("test/Bridges/sdpa_models.jl")
julia> model = MOI.instantiate(StandardSDPAModel{Float64}; with_bridge_type = Float64);
julia> x = MOI.add_variables(model, 2);
julia> c = MOI.add_constraint(model, MOI.VectorOfVariables(x), MOI.Nonpositives(2));
julia> MOI.is_valid(model, c)
true
julia> MOI.is_valid(model, typeof(c)(c.value + 1))
true
```
See
https://github.com/jump-dev/MathOptInterface.jl/pull/2695/files#diff-87c703874f7251d45788070ce6ab50219cfe8b7561d08e6f6148d44afba24ccbR249-R251
Hướng dẫn đóng góp
Chưa lập chỉ mục được hướng dẫn đóng góp cho kho mã nguồn này
Đánh giá
Issue này chưa được đánh giá.