Symmetry reduction in Sumsofsquares

Specific Domains Optimization (Mathematical)
, , ,
3

Here is a minimal example similar to SumOfSquares documentation:

import MutableArithmetics as MA
using MultivariatePolynomials
using MultivariateBases
using DynamicPolynomials
@polyvar x[1:3]
poly = sum(x) + sum(x.^4)
using PermutationGroups
G = PermGroup([perm"(1,2,3)",perm"(1,2)"])
import CSDP
solver = CSDP.Optimizer
model = Model(solver)
@variable(model, t)
@objective(model, Max, t)
pattern = Symmetry.Pattern(G, Symmetry.VariablePermutation())
con_ref = @constraint model poly - t in SOSCone() symmetry = pattern
optimize!(model)
value(t)

This does not work, but if you change poly = sum(x) + sum(x.^4) to poly = sum(x) + sum(x.^2) it will work