Missing star

Author: blegat

docs/src/tutorials/Symmetry/cyclic.jl

@@ -90,18 +90,6 @@ model = Model(solver)
 @variable(model, t)
 @objective(model, Max, t)
 pattern = Symmetry.Pattern(G, action)
-basis = MB.explicit_basis(MB.algebra_element(poly - t))
-using SymbolicWedderburn
-summands = SymbolicWedderburn.symmetry_adapted_basis(
-    Float64,
-    pattern.group,
-    pattern.action,
-    basis,
-    semisimple = true,
-)
-
-gram_basis = SumOfSquares.Certificate.Symmetry._gram_basis(pattern, basis, Float64)
-
 con_ref = @constraint(model, poly - t in SOSCone(), symmetry = pattern)
 optimize!(model)
 @test termination_status(model) == MOI.OPTIMAL #src

src/Certificate/newton_polytope.jl

@@ -721,7 +721,7 @@ function post_filter(
         )
     end
     for (mult, gram_monos) in zip(generators, multipliers_gram_monos)
-        MA.operate_to!(cache, +, SA.QuadraticForm(SignGram(-1, gram_monos)))
+        MA.operate_to!(cache, +, SA.QuadraticForm{SA.star}(SignGram(-1, gram_monos)))
         MA.operate!(SA.UnsafeAddMul(*), counter, mult, cache)
     end
     function decrease(sign, a, b, generator)

src/gram_matrix.jl

@@ -144,7 +144,7 @@ function MA.operate!(
     g::GramMatrix,
     args::Vararg{Any,N},
 ) where {N}
-    return MA.operate!(op, p, SA.QuadraticForm(g), args...)
+    return MA.operate!(op, p, SA.QuadraticForm{SA.star}(g), args...)
 end
 
 """
@@ -259,11 +259,11 @@ end
 #end
 
 function MA.operate_to!(a::SA.AlgebraElement, ::typeof(+), g::GramMatrix)
-    return MA.operate_to!(a, +, SA.QuadraticForm(g))
+    return MA.operate_to!(a, +, SA.QuadraticForm{SA.star}(g))
 end
 
 function MA.operate!(op::SA.UnsafeAdd, a::SA.AlgebraElement, g::GramMatrix)
-    return MA.operate!(op, a, SA.QuadraticForm(g))
+    return MA.operate!(op, a, SA.QuadraticForm{SA.star}(g))
 end
 
 function MA.operate!(