mirror of
https://github.com/kalmarek/PropertyT.jl.git
synced 2024-12-24 18:10:29 +01:00
Finally move all intense interval arithmetic to Interval{Float64}
This commit is contained in:
parent
dbed75103e
commit
41e53a598a
@ -83,11 +83,12 @@ end
|
|||||||
function distance_to_cone{T<:Rational, S<:Interval}(κ::T, sqrt_matrix::Array{S,2}, Δ::GroupAlgebraElement{T})
|
function distance_to_cone{T<:Rational, S<:Interval}(κ::T, sqrt_matrix::Array{S,2}, Δ::GroupAlgebraElement{T})
|
||||||
SOS = compute_SOS(sqrt_matrix, Δ)
|
SOS = compute_SOS(sqrt_matrix, Δ)
|
||||||
info(logger, "ɛ(∑ξᵢ*ξᵢ) ∈ $(GroupAlgebras.ɛ(SOS))")
|
info(logger, "ɛ(∑ξᵢ*ξᵢ) ∈ $(GroupAlgebras.ɛ(SOS))")
|
||||||
|
κⁱⁿᵗ = @interval(κ)
|
||||||
SOS_diff = EOI(Δ, κ) - SOS
|
Δⁱⁿᵗ = GroupAlgebraElement([@interval(c) for c in Δ.coefficients], Δ.product_matrix)
|
||||||
|
SOS_diff = EOI(Δⁱⁿᵗ, κⁱⁿᵗ) - SOS
|
||||||
eoi_SOS_L₁_dist = norm(SOS_diff,1)
|
eoi_SOS_L₁_dist = norm(SOS_diff,1)
|
||||||
|
|
||||||
info(logger, "κ = $κ (≈$(@sprintf("%.10f",float(κ))))")
|
info(logger, "κ = $κ (≈≥$(@sprintf("%.10f",float(κ))))")
|
||||||
ɛ_dist = GroupAlgebras.ɛ(SOS_diff)
|
ɛ_dist = GroupAlgebras.ɛ(SOS_diff)
|
||||||
|
|
||||||
info(logger, "ɛ(Δ² - κΔ - ∑ξᵢ*ξᵢ) ∈ $(ɛ_dist)")
|
info(logger, "ɛ(Δ² - κΔ - ∑ξᵢ*ξᵢ) ∈ $(ɛ_dist)")
|
||||||
|
Loading…
Reference in New Issue
Block a user