Skip to content

Reformulation - #56

Merged
ForeverHaibara merged 14 commits into
mainfrom
reformulation
Jun 13, 2026
Merged

Reformulation#56
ForeverHaibara merged 14 commits into
mainfrom
reformulation

Conversation

@ForeverHaibara

@ForeverHaibara ForeverHaibara commented Jun 11, 2026

Copy link
Copy Markdown
Owner

This PR involves these improvements.

  • Allows assumptions=True to use symbol assumptions.
  • Experimentally introduces noncommutative PSD problems as inputs.
  • Introduces a QCQP solver to identify and solve QCQP problems faster.
  • Uses scipy sparse matrices by default in SDP arithmetic. Also accepts scipy sparse matrcies in the arithmetic.
  • Improves SDP verbosity.
  • Fixes SOSPoly.solve_obj with constraints.

@ForeverHaibara
ForeverHaibara merged commit 6ce6151 into main Jun 13, 2026
@ForeverHaibara
ForeverHaibara deleted the reformulation branch July 5, 2026 12:54
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.

1 participant