From b589fb9844b723d64036616c252f1381ed76614e Mon Sep 17 00:00:00 2001 From: kalmar Date: Sun, 28 May 2017 20:00:22 +0200 Subject: [PATCH] algebra_square -> groupring_square, using groupring_mult --- src/checksolution.jl | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/src/checksolution.jl b/src/checksolution.jl index b39969a..726b16d 100644 --- a/src/checksolution.jl +++ b/src/checksolution.jl @@ -10,10 +10,10 @@ function EOI{T<:Number}(Δ::GroupRingElem{T}, λ::T) return Δ*Δ - λ*Δ end -function algebra_square(vect, elt) +function groupring_square(vect, elt) zzz = zeros(eltype(vect), elt.coeffs) zzz[1:length(vect)] = vect - return GroupAlgebras.algebra_multiplication(zzz, zzz, parent(elt).pm) + return GroupRings.groupring_mult(zzz, zzz, parent(elt).pm) end function compute_SOS(sqrt_matrix, elt) @@ -22,11 +22,11 @@ function compute_SOS(sqrt_matrix, elt) # result = zeros(T, length(elt.coeffs)) # for i in 1:n - # result += algebra_square(sqrt_matrix[:,i], elt) + # result += groupring_square(sqrt_matrix[:,i], elt) # end result = @parallel (+) for i in 1:n - PropertyT.algebra_square(sqrt_matrix[:,i], elt) + groupring_square(sqrt_matrix[:,i], elt) end return GroupRingElem(result, parent(elt)) end