mirror of
https://github.com/kalmarek/PropertyT.jl.git
synced 2025-03-17 09:12:13 +01:00
logging changes
This commit is contained in:
parent
af009547b5
commit
80ac135f59
@ -138,6 +138,7 @@ function distance_to_positive_cone(Δ::GroupRingElem, λ, Q; R::Int=2)
|
|||||||
@info("λ = $λ")
|
@info("λ = $λ")
|
||||||
eoi = Δ^2-λ*Δ
|
eoi = Δ^2-λ*Δ
|
||||||
|
|
||||||
|
@info("Computing sum of squares decomposition...")
|
||||||
@time residual = eoi - compute_SOS(parent(eoi), augIdproj(Q))
|
@time residual = eoi - compute_SOS(parent(eoi), augIdproj(Q))
|
||||||
@info("ɛ(Δ² - λΔ - ∑ξᵢ*ξᵢ) ≈ $(@sprintf("%.10f", aug(residual)))")
|
@info("ɛ(Δ² - λΔ - ∑ξᵢ*ξᵢ) ≈ $(@sprintf("%.10f", aug(residual)))")
|
||||||
L1_norm = norm(residual,1)
|
L1_norm = norm(residual,1)
|
||||||
@ -164,6 +165,7 @@ function distance_to_positive_cone(Δ::GroupRingElem, λ, Q; R::Int=2)
|
|||||||
@info((check ? "They do." : "FAILED!"))
|
@info((check ? "They do." : "FAILED!"))
|
||||||
check || @warn("The following numbers are meaningless!")
|
check || @warn("The following numbers are meaningless!")
|
||||||
|
|
||||||
|
@info("Computing sum of squares decomposition...")
|
||||||
@time residual = eoi - compute_SOS(parent(eoi), Q)
|
@time residual = eoi - compute_SOS(parent(eoi), Q)
|
||||||
@info("ɛ(Δ² - λΔ - ∑ξᵢ*ξᵢ) ∈ $(aug(residual))")
|
@info("ɛ(Δ² - λΔ - ∑ξᵢ*ξᵢ) ∈ $(aug(residual))")
|
||||||
L1_norm = norm(residual,1)
|
L1_norm = norm(residual,1)
|
||||||
|
@ -136,8 +136,7 @@ function reconstruct(Ps::Vector{M},
|
|||||||
transfP = [dims[π].*Uπs[π]*Ps[π]*Uπs[π]' for π in 1:lU]
|
transfP = [dims[π].*Uπs[π]*Ps[π]*Uπs[π]' for π in 1:lU]
|
||||||
tmp = [zeros(Float64, size(first(transfP))) for _ in 1:lU]
|
tmp = [zeros(Float64, size(first(transfP))) for _ in 1:lU]
|
||||||
|
|
||||||
|
Threads.@threads for π in 1:lU
|
||||||
@time Threads.@threads for π in 1:lU
|
|
||||||
tmp[π] = perm_avg(tmp[π], transfP[π], values(preps))
|
tmp[π] = perm_avg(tmp[π], transfP[π], values(preps))
|
||||||
end
|
end
|
||||||
|
|
||||||
|
Loading…
Reference in New Issue
Block a user