Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Simplify SDP index mapping #98

Open
wants to merge 1 commit into
base: master
Choose a base branch
from
Open

Conversation

blegat
Copy link
Contributor

@blegat blegat commented Jun 4, 2023

I was a bit worried at first when reading it because mapindices create columnwise lower-triangular indices while the MOI convention is columnwise upper-triangular.
Then it seems that the way it's used just goes back and forth and at it end it just gives the MOI variable indices ? I might be wrong but let's try (I need to get in the plane so no time to test 😆 )

@codecov
Copy link

codecov bot commented Jun 4, 2023

Codecov Report

Patch coverage: 100.00% and project coverage change: -0.30 ⚠️

Comparison is base (df1d1f1) 82.26% compared to head (6b22de0) 81.97%.

❗ Current head 6b22de0 differs from pull request most recent head b80a965. Consider uploading reports for the commit b80a965 to get more accurate results

Additional details and impacted files
@@            Coverage Diff             @@
##           master      #98      +/-   ##
==========================================
- Coverage   82.26%   81.97%   -0.30%     
==========================================
  Files          12       12              
  Lines        1269     1254      -15     
==========================================
- Hits         1044     1028      -16     
- Misses        225      226       +1     
Impacted Files Coverage Δ
src/structs.jl 80.00% <ø> (ø)
src/MOI_wrapper.jl 93.95% <100.00%> (-0.06%) ⬇️
src/scaling.jl 95.65% <100.00%> (-0.96%) ⬇️

... and 1 file with indirect coverage changes

☔ View full report in Codecov by Sentry.
📢 Do you have feedback about the report comment? Let us know in this issue.

@blegat
Copy link
Contributor Author

blegat commented Jun 4, 2023

The error seems unrelated since I get it in #99 as well

@joaquimg
Copy link
Collaborator

joaquimg commented Jun 4, 2023

looks good, just have to fix conflicts

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants