can't use primal_feasibility_report with complex variables
Les mainteneurs répondent en général sous 1 jour
Personne n'a encore pris cette issue.
Évaluation
- Difficulté
- 2/5
- Temps estimé
- 1-3 heures
- Accessibilité débutants
- 78/100
- Type d'issue
- Bug
- Clarté
- Clairement spécifiée
- Activité
- Active
- Stack technique
- julia
- Domaine
- testing-qa
Piste de recherche
La trace de la pile pointe vers src/Utilities/distance_to_set.jl et src/feasibility_checker.jl ; commence par lire la gestion de la distance pour les ensembles EqualTo et le site d’appel du vérificateur de faisabilité. Reproduis l’exemple avec des variables complexes et vérifie que primal_feasibility_report gère sans erreur la contrainte EqualTo{ComplexF64} qui en résulte.
Rédigé par le modèle d'indexation à partir du texte de l'issue.
Description
Should be easy enough to implement.
using JuMP, LinearAlgebra
import Hypatia
function complex_test()
model = Model(Hypatia.Optimizer)
@variable(model, ρ[1:2,1:2] in HermitianPSDCone())
@constraint(model, tr(ρ) == 1)
@objective(model, Max, imag(ρ[1, 2]))
set_silent(model)
optimize!(model)
display(primal_feasibility_report(model))
return objective_value(model)
end
Stacktrace:
julia> complex_test()
ERROR: distance_to_set using the distance metric MathOptInterface.Utilities.ProjectionUpperBoundDistance() for set type MathOptInterface.EqualTo{ComplexF64} has not been implemented yet.
Stacktrace:
[1] error(s::String)
@ Base ./error.jl:44
[2] distance_to_set(d::MathOptInterface.Utilities.ProjectionUpperBoundDistance, ::Float64, set::MathOptInterface.EqualTo{…})
@ MathOptInterface.Utilities ~/.julia/packages/MathOptInterface/lY2WB/src/Utilities/distance_to_set.jl:75
[3] distance_to_set(point::Float64, set::MathOptInterface.EqualTo{ComplexF64})
@ MathOptInterface.Utilities ~/.julia/packages/MathOptInterface/lY2WB/src/Utilities/distance_to_set.jl:71
[4] _distance_to_set(point_f::JuMP.var"#115#116"{…}, func::GenericAffExpr{…}, set::MathOptInterface.EqualTo{…}, ::Type{…})
@ JuMP ~/.julia/packages/JuMP/insRt/src/feasibility_checker.jl:196
[5] _add_infeasible_constraints(model::Model, ::Type{…}, ::Type{…}, violated_constraints::Dict{…}, point_f::Function, atol::Float64)
@ JuMP ~/.julia/packages/JuMP/insRt/src/feasibility_checker.jl:160
[6] primal_feasibility_report(point::Function, model::Model; atol::Float64, skip_missing::Bool)
@ JuMP ~/.julia/packages/JuMP/insRt/src/feasibility_checker.jl:130
[7] primal_feasibility_report
@ ~/.julia/packages/JuMP/insRt/src/feasibility_checker.jl:109 [inlined]
[8] #primal_feasibility_report#113
@ ~/.julia/packages/JuMP/insRt/src/feasibility_checker.jl:48 [inlined]
[9] primal_feasibility_report
@ ~/.julia/packages/JuMP/insRt/src/feasibility_checker.jl:42 [inlined]
[10] primal_feasibility_report(model::Model; kwargs::@Kwargs{})
@ JuMP ~/.julia/packages/JuMP/insRt/src/feasibility_checker.jl:81
[11] primal_feasibility_report
@ ~/.julia/packages/JuMP/insRt/src/feasibility_checker.jl:68 [inlined]
[12] complex_test()
@ Main ./REPL[5]:8
[13] top-level scope
@ REPL[6]:1
Some type information was truncated. Use `show(err)` to see complete types.
- Langage dominant
- Julia
- Étoiles
- 506
- Forks
- 103
- Merge moyen
- 1 j 1 h
- PR mergées (30 j)
- 9
Préparer son environnement
Ce projet ne fournit ni conteneur de développement, ni Dockerfile, ni guide de contribution : l'installation est à votre charge. Commencez par son README, et consultez notre guide de la première contribution pour les étapes générales.
Par où commencer
- Lisez l'issue en entier, puis le guide de contribution du projet.
- Signalez en commentaire que vous la prenez — cela évite que deux personnes fassent le même travail.
- Forkez le dépôt et travaillez sur une branche.
- Ouvrez une pull request qui référence le numéro de l'issue.
Autres issues de jump-dev/MathOptInterface.jl
-
[Bridges] MultirowChange in set_map.jl drops zero coefficientsPeut-être pris @odow l’a pris il y a 7 jours. Ouverte
jump-dev/MathOptInterface.jl#3106 · 2 commentaires · 1 personne assignée ·
Les mainteneurs répondent en général sous 1 jour
-
Precision loss in Hessian computationPeut-être pris @blegat l’a pris il y a 7 jours. Ouverte
Difficulté 5/5 Plus d'une semaine Accessibilité débutants 15/100
jump-dev/MathOptInterface.jl#3104 · 11 commentaires ·
Les mainteneurs répondent en général sous 1 jour
-
Layer instantiatorOuverte
Difficulté 5/5 Plus d'une semaine Accessibilité débutants 35/100
jump-dev/MathOptInterface.jl#2986 · 3 commentaires ·
Les mainteneurs répondent en général sous 1 jour
-
Differentiable Optimization APIOuverte
Difficulté 5/5 Plus d'une semaine Accessibilité débutants 25/100
jump-dev/MathOptInterface.jl#2969 · 2 commentaires · 1 réaction ·
Les mainteneurs répondent en général sous 1 jour
-
Add Batched{S} setOuverteType: Set Request
Difficulté 5/5 Plus d'une semaine Accessibilité débutants 35/100
jump-dev/MathOptInterface.jl#2904 · 15 commentaires · 7 réactions ·
Les mainteneurs répondent en général sous 1 jour
Toutes les issues de jump-dev/MathOptInterface.jl
Issues similaires
-
bug
Difficulté 2/5 1-3 heures Accessibilité débutants 73/100
Les mainteneurs répondent en général sous 1 jour
-
Difficulté 1/5 Moins d'une heure Accessibilité débutants 76/100
-
Difficulté 2/5 1-3 heures Accessibilité débutants 76/100
SciML/OrdinaryDiffEq.jl#4907 ·
Les mainteneurs répondent en général sous 4 jours
-
documentation model-weights
Difficulté 2/5 1-3 heures Accessibilité débutants 72/100
FluxML/Metalhead.jl#311 ·
Les mainteneurs répondent en général sous 1 jour
-
Difficulté 1/5 Moins d'une heure Accessibilité débutants 83/100
JuliaMath/Polynomials.jl#647 ·