Skip to content

Conversation

blegat
Copy link
Member

@blegat blegat commented Jan 21, 2025

When using Mosek after a POI layer without any bridge in-between, the performance was catastrophic because the PSD variable where bridged to affine constraints as the bridges didn't see through the POI layers that PSD variables were supported.

Copy link

codecov bot commented Jan 21, 2025

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 97.54%. Comparing base (2774d92) to head (e4c952b).
⚠️ Report is 2 commits behind head on master.

Additional details and impacted files
@@            Coverage Diff             @@
##           master     #167      +/-   ##
==========================================
+ Coverage   97.52%   97.54%   +0.02%     
==========================================
  Files           5        5              
  Lines        1452     1468      +16     
==========================================
+ Hits         1416     1432      +16     
  Misses         36       36              

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

🚀 New features to boost your workflow:
  • ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.

@joaquimg
Copy link
Member

Nice! can you just add tests for constrained variable(s)?

@blegat blegat requested a review from joaquimg January 22, 2025 19:49
Copy link
Member

@joaquimg joaquimg left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Only thing pending it the constraint index issue, or you plan to solve it in a follow up PR?

set::MOI.AbstractScalarSet,
)
inner_vi, inner_ci = MOI.add_constrained_variable(model.optimizer, set)
return _add_variable(model, inner_vi), inner_ci # FIXME map inner_ci
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

This still needs a fix, right? Otherwise, vi and ci wont actually match

set::MOI.AbstractVectorSet,
)
inner_vis, inner_ci = MOI.add_constrained_variables(model.optimizer, set)
return _add_variable.(Ref(model), inner_vis), inner_ci # FIXME map inner_ci
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

same as above

optimizer = POI.Optimizer(NoFreeVariablesModel{Float64}())
set = MOI.LessThan(1.0)
@test MOI.supports_add_constrained_variable(optimizer, typeof(set))
x, c = MOI.add_constrained_variable(optimizer, set)
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

we should probably add a test to check the match between ci and vi.

@blegat blegat requested a review from joaquimg August 26, 2025 05:38
@blegat blegat merged commit af1b237 into master Aug 26, 2025
8 checks passed
@blegat blegat deleted the bl/constr_var branch August 26, 2025 14:22
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Development

Successfully merging this pull request may close these issues.

2 participants