MOI.is_valid can be falsely positive for bridged constraints
Mantenedores costumam responder em até 1 dia
Ninguém assumiu esta issue ainda.
Avaliação
- Dificuldade
- 4/5
- Tempo estimado
- 3-5 dias
- Facilidade para iniciantes
- 42/100
- Tipo de issue
- Bug
- Clareza
- Razoavelmente clara
- Status de atividade
- Estagnada
- Stack de tecnologia
- julia
- Domínio
- backend-api-design
Direção de pesquisa
Comece pela reprodução em test/Bridges/sdpa_models.jl e verifique as duas chamadas a MOI.is_valid para a constraint bridged. Em seguida, inspecione o diff do pull request referenciado, especialmente as linhas vinculadas, para rastrear como a validade das constraints é verificada. Está concluído quando a constraint original continuar válida, enquanto o índice incrementado retornar false.
Escrita pelo modelo de indexação a partir do texto da issue.
Descrição
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
- Linguagem predominante
- Julia
- Estrelas
- 506
- Forks
- 103
- Merge médio
- 1d 1h
- PRs com merge (30d)
- 9
Preparar o ambiente
Este projeto não oferece contêiner de desenvolvimento, Dockerfile nem guia de contribuição, então a configuração fica por sua conta: comece pelo README e veja nosso guia da primeira contribuição para os passos gerais.
Primeiros passos
- Leia a issue inteira e depois o guia de contribuição do projeto.
- Comente na issue dizendo que vai assumir — evita que duas pessoas façam o mesmo trabalho.
- Faça um fork do repositório e trabalhe em uma branch.
- Abra um pull request que referencie o número da issue.
Mais de jump-dev/MathOptInterface.jl
-
Dificuldade 2/5 1-3 horas Facilidade para iniciantes 78/100
jump-dev/MathOptInterface.jl#3113 ·
Mantenedores costumam responder em até 1 dia
-
[Bridges] MultirowChange in set_map.jl drops zero coefficientsTalvez já em andamento @odow assumiu há 7 dias. Aberta
jump-dev/MathOptInterface.jl#3106 · 2 comentários · 1 responsável ·
Mantenedores costumam responder em até 1 dia
-
Precision loss in Hessian computationTalvez já em andamento @blegat assumiu há 7 dias. Aberta
Dificuldade 5/5 Mais de uma semana Facilidade para iniciantes 15/100
jump-dev/MathOptInterface.jl#3104 · 11 comentários ·
Mantenedores costumam responder em até 1 dia
-
Layer instantiatorAberta
Dificuldade 5/5 Mais de uma semana Facilidade para iniciantes 35/100
jump-dev/MathOptInterface.jl#2986 · 3 comentários ·
Mantenedores costumam responder em até 1 dia
-
Dificuldade 5/5 Mais de uma semana Facilidade para iniciantes 25/100
jump-dev/MathOptInterface.jl#2969 · 2 comentários · 1 reação ·
Mantenedores costumam responder em até 1 dia
Todas as issues de jump-dev/MathOptInterface.jl
Issues semelhantes
-
bug
Dificuldade 2/5 1-3 horas Facilidade para iniciantes 73/100
Mantenedores costumam responder em até 1 dia
-
Dificuldade 1/5 Menos de uma hora Facilidade para iniciantes 76/100
-
documentation model-weights
Dificuldade 2/5 1-3 horas Facilidade para iniciantes 72/100
FluxML/Metalhead.jl#311 ·
Mantenedores costumam responder em até 1 dia
-
Dificuldade 1/5 Menos de uma hora Facilidade para iniciantes 83/100
JuliaMath/Polynomials.jl#647 ·
-
reactant ☣
Dificuldade 2/5 1-3 horas Facilidade para iniciantes 79/100
NumericalEarth/Breeze.jl#1110 ·
Mantenedores costumam responder em até 1 dia