MOI.is_valid can be falsely positive for bridged constraints
Los mantenedores suelen responder en 1 día
Nadie ha tomado este issue todavía.
Evaluación
- Dificultad
- 4/5
- Tiempo estimado
- 3-5 días
- Aptitud para principiantes
- 42/100
- Tipo de issue
- Error
- Claridad
- Bastante claro
- Estado de actividad
- Estancado
- Stack tecnológico
- julia
- Área
- backend-api-design
Línea de trabajo
Comienza con la reproducción en test/Bridges/sdpa_models.jl y verifica las dos llamadas a MOI.is_valid para la constraint puenteada. Después inspecciona el diff del pull request referenciado, especialmente las líneas enlazadas, para rastrear cómo se comprueba la validez de las constraints. Se considera terminado cuando la constraint original sigue siendo válida, mientras que el índice incrementado devuelve false.
Escrito por el modelo de indexación a partir del texto del issue.
Descripción
Found as part of #2695. But it does't need to hold that up merging.
The last MOI.is_valid should return false:
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
- Lenguaje dominante
- Julia
- Estrellas
- 506
- Forks
- 103
- Merge medio
- 1 d 1 h
- PR fusionados (30 d)
- 9
Preparar el entorno
Este proyecto no incluye contenedor de desarrollo, Dockerfile ni guía de contribución, así que la configuración corre por tu cuenta: empieza por su README y consulta nuestra guía para la primera contribución para los pasos generales.
Primeros pasos
- Lee el issue completo y luego la guía de contribución del proyecto.
- Comenta en el issue que vas a ocuparte — evita que dos personas hagan lo mismo.
- Haz un fork del repositorio y trabaja en una rama.
- Abre un pull request que haga referencia al número del issue.
Más de jump-dev/MathOptInterface.jl
-
Dificultad 2/5 1-3 horas Aptitud para principiantes 78/100
jump-dev/MathOptInterface.jl#3113 ·
Los mantenedores suelen responder en 1 día
-
[Bridges] MultirowChange in set_map.jl drops zero coefficientsPosiblemente ocupada @odow la tomó hace 7 días. Abierto
jump-dev/MathOptInterface.jl#3106 · 2 comentarios · 1 asignado ·
Los mantenedores suelen responder en 1 día
-
Precision loss in Hessian computationPosiblemente ocupada @blegat la tomó hace 7 días. Abierto
Dificultad 5/5 Más de una semana Aptitud para principiantes 15/100
jump-dev/MathOptInterface.jl#3104 · 11 comentarios ·
Los mantenedores suelen responder en 1 día
-
Layer instantiatorAbierto
Dificultad 5/5 Más de una semana Aptitud para principiantes 35/100
jump-dev/MathOptInterface.jl#2986 · 3 comentarios ·
Los mantenedores suelen responder en 1 día
-
Differentiable Optimization APIAbierto
Dificultad 5/5 Más de una semana Aptitud para principiantes 25/100
jump-dev/MathOptInterface.jl#2969 · 2 comentarios · 1 reacción ·
Los mantenedores suelen responder en 1 día
Todos los issues de jump-dev/MathOptInterface.jl
Issues similares
-
bug
Dificultad 2/5 1-3 horas Aptitud para principiantes 73/100
Los mantenedores suelen responder en 1 día
-
Dificultad 1/5 Menos de una hora Aptitud para principiantes 76/100
-
documentation model-weights
Dificultad 2/5 1-3 horas Aptitud para principiantes 72/100
FluxML/Metalhead.jl#311 ·
Los mantenedores suelen responder en 1 día
-
Dificultad 1/5 Menos de una hora Aptitud para principiantes 83/100
JuliaMath/Polynomials.jl#647 ·
-
reactant ☣
Dificultad 2/5 1-3 horas Aptitud para principiantes 79/100
NumericalEarth/Breeze.jl#1110 ·
Los mantenedores suelen responder en 1 día