jump-dev / jump-dev/SumOfSquares.jl
Could not simultaneously block-diagonalize
- Dominant language
- Julia
- Stars
- 131
- Forks
- 26
- PR merge metrics
- No merged PRs in 30d
Description
On fd7336e, I am hitting an error on line 189 of wedderburn.jl
Firstly, the actual error raised is "ERROR: LoadError: UndefVarError: `dx` not defined" because of a minor bug on line 190, but the real underlying problem is that the simultaneous block-diagonalization fails. Unfortunately the example (attached) I have to repro this is rather resource intensive and it seems to run fine without an error at lower polynomial degree (though I have not exhaustively tested).
As with #381, I create a symmetry group with Oscar, a basis invariant under this group, a polynomial using that basis and then an SOS constraint from that polynomial.
[sos_repro.jl.txt](https://github.com/user-attachments/files/17475296/sos_repro.jl.txt)
Contributor guide
No contributing guide indexed for this repository
Research direction
Start with wedderburn.jl around lines 189-190 and run the attached sos_repro.jl.txt example on fd7336e. Investigate the reported dx error separately from the simultaneous block-diagonalization failure at the higher polynomial degree. Done means the resource-intensive reproduction no longer fails in the reported way.
Written by the indexing model from the issue text.
Assessment
- Tech stack
- julia
- Domain
- backend
- Issue type
- Bug
- Difficulty
- 4/5
- Estimated time
- 3-5 days
- Activity status
- Stale
- Clarity
- Mostly clear
- Newbie friendliness
- 35/100