I also tried to run the example “ex_S4.jl” but I got an error. What is the problem? Here is the result of running this example:
SCS v3.2.4 - Splitting Conic Solver
(c) Brendan O'Donoghue, Stanford University, 2012
cones: z: primal zero / dual free vars: 495
s: psd vars: 2485, ssize: 1
settings: eps_abs: 1.0e-007, eps_rel: 1.0e-007, eps_infeas: 1.0e-007
alpha: 1.50, scale: 1.00e-001, adaptive_scale: 1
max_iters: 2000, normalize: 1, rho_x: 1.00e-006
acceleration_lookback: 10, acceleration_interval: 10
compiled with openmp parallelization enabled
lin-sys: sparse-direct-amd-qdldl
nnz(A): 4971, nnz(P): 0
------------------------------------------------------------------
iter | pri res | dua res | gap | obj | scale | time (s)
------------------------------------------------------------------
0|1.53e+003 1.08e+002 2.15e+006 1.07e+006 1.00e-001 1.83e-002
250|5.92e+001 3.13e-001 4.86e+001 -8.74e+001 5.71e-003 9.57e-001
500|2.44e-001 1.48e-003 4.39e+000 -6.48e+000 5.71e-003 1.90e+000
750|9.02e-011 2.35e-013 3.75e-008 -1.00e+000 5.71e-003 2.89e+000
------------------------------------------------------------------
status: solved
timings: total: 2.89e+000s = setup: 1.11e-002s + solve: 2.88e+000s
lin-sys: 6.93e-002s, cones: 2.77e+000s, accel: 1.43e-002s
------------------------------------------------------------------
objective = -0.999756
------------------------------------------------------------------
ERROR: TaskFailedException
Stacktrace:
[1] wait
@ .\task.jl:345 [inlined]
[2] threading_run(fun::SymbolicWedderburn.var"#277#threadsfor_fun#81"{SymbolicWedderburn.var"#277#threadsfor_fun#80#82"{VariablePermutation{Vector{PolyVar{true}}}, StarAlgebras.Basis{Monomial{true}, UInt32, MonomialVector{true}}, Vector{UInt32}, Vector{Permutation{Int64, …}}, Monomial{true}, Base.OneTo{Int64}}}, static::Bool)
@ Base.Threads .\threadingconstructs.jl:38
[3] macro expansion
@ .\threadingconstructs.jl:89 [inlined]
[4] invariant_vectors(tbl::SymbolicWedderburn.Characters.CharacterTable{PermGroup{Int64, …}, Cyclotomics.Cyclotomic{Rational{Int64}, SparseVector{Rational{Int64}, Int64}}, PermutationGroups.Orbit1{Permutation{Int64, …}, Nothing}}, act::VariablePermutation{Vector{PolyVar{true}}}, basis::StarAlgebras.Basis{Monomial{true}, UInt32, MonomialVector{true}})
@ SymbolicWedderburn C:\Users\raven\.julia\packages\SymbolicWedderburn\0GTPj\src\wedderburn_decomposition.jl:134
[5] macro expansion
@ f:\darsi\david goluskin\julia\examples\sos_problem.jl:164 [inlined]
[6] macro expansion
@ .\timing.jl:463 [inlined]
[7] sos_problem(poly::Polynomial{true, Int64}, G::PermGroup{Int64, …}, action::VariablePermutation{Vector{PolyVar{true}}}, T::Type; decompose_psd::Bool, semisimple::Bool)
@ Main f:\darsi\david goluskin\julia\examples\sos_problem.jl:157
[8] top-level scope
@ f:\darsi\david goluskin\julia\examples\ex_S4.jl:36
nested task error: MethodError: no method matching action(::VariablePermutation{Vector{PolyVar{true}}}, ::Permutation{Int64, …}, ::Monomial{true})
Closest candidates are:
action(::VariablePermutation, ::AbstractPermutations.AbstractPermutation, ::Monomial) at f:\darsi\david goluskin\julia\examples\action_polynomials.jl:20
action(::SymbolicWedderburn.Action, ::GroupElement, ::AbstractTerm) at f:\darsi\david goluskin\julia\examples\action_polynomials.jl:12
action(::SymbolicWedderburn.Action, ::GroupElement, ::AbstractPolynomial) at f:\darsi\david goluskin\julia\examples\action_polynomials.jl:8
...
Stacktrace:
[1] macro expansion
@ C:\Users\raven\.julia\packages\SymbolicWedderburn\0GTPj\src\wedderburn_decomposition.jl:135 [inlined]
[2] #277#threadsfor_fun#80
@ .\threadingconstructs.jl:84 [inlined]
[3] #277#threadsfor_fun
@ .\threadingconstructs.jl:51 [inlined]
[4] (::Base.Threads.var"#1#2"{SymbolicWedderburn.var"#277#threadsfor_fun#81"{SymbolicWedderburn.var"#277#threadsfor_fun#80#82"{VariablePermutation{Vector{PolyVar{true}}}, StarAlgebras.Basis{Monomial{true}, UInt32, MonomialVector{true}}, Vector{UInt32}, Vector{Permutation{Int64, …}}, Monomial{true}, Base.OneTo{Int64}}}, Int64})()
@ Base.Threads .\threadingconstructs.jl:30