Could not simultaneously block-diagonalize

[jeremypparker]

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