kalmar/PropertyT.jl
1
0
Fork 0
mirror of https://github.com/kalmarek/PropertyT.jl.git synced 2024-11-26 09:00:28 +01:00
Code Issues Releases Wiki Activity

fix info

Browse Source
This commit is contained in:
kalmarek 2019-01-28 17:03:24 +01:00
parent 8e4dd2072c
commit 5ef5b93dbd
No known key found for this signature in database
GPG Key ID: 8BF1A3855328FC15
1 changed files with 6 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
src/1712.07167.jl
View File

@ -120,7 +120,7 @@ function computeλandP(sett::Symmetrized, Δ::GroupRingElem;
@info("Solver's status: $status") @info("Solver's status: $status")
save(filename(sett, :warmstart), "warmstart", ws, "Ps", Ps, "λ", λ) save(filename(sett, :warmstart), "warmstart", ws, "Ps", Ps, "λ", λ)
info("Reconstructing P...") @info("Reconstructing P...")
@time P = reconstruct(Ps, orbit_data) @time P = reconstruct(Ps, orbit_data)
return λ, P return λ, P
@ -153,7 +153,7 @@ function distance_to_positive_cone(Δ::GroupRingElem, λ, Q; R::Int=2)
return distance return distance
end end
@info("------------------------------------------------------------") @info("-"^76)
@info("Checking in interval arithmetic...") @info("Checking in interval arithmetic...")
λ = @interval(λ) λ = @interval(λ)
@info("λ ∈ $λ") @info("λ ∈ $λ")
@ -175,7 +175,7 @@ function distance_to_positive_cone(Δ::GroupRingElem, λ, Q; R::Int=2)
@info("Interval distance (to positive cone) ∈") @info("Interval distance (to positive cone) ∈")
@info("$(distance)") @info("$(distance)")
@info("------------------------------------------------------------") @info("-"^76)
return distance.lo return distance.lo
end end
@ -204,12 +204,12 @@ end
function check_property_T(sett::Settings) function check_property_T(sett::Settings)
fp = PropertyT.fullpath(sett) fp = PropertyT.fullpath(sett)
isdir(fp) || mkpath(fp) isdir(fp) || mkpath(fp)
@info("\#"^76) @info("="^76)
@info("Running tests for $(sett.name):" @info("Running tests for $(sett.name):")
@info("Upper bound for λ: $(sett.upper_bound), on radius $(sett.radius).") @info("Upper bound for λ: $(sett.upper_bound), on radius $(sett.radius).")
@info("Solver is $(sett.solver)") @info("Solver is $(sett.solver)")
@info("Warmstart: $(sett.warmstart)") @info("Warmstart: $(sett.warmstart)")
@info("\#"^76) @info("="^76)
if isfile(filename(sett,:Δ)) if isfile(filename(sett,:Δ))
# cached # cached