From 6f82292b525ddd3a7ecb956cb6dd34b62668b633 Mon Sep 17 00:00:00 2001 From: kalmarek Date: Tue, 4 Dec 2018 04:50:24 +0100 Subject: [PATCH] add normalizing 36 in comments --- paper_data/check_positivity.jl | 9 ++++++--- 1 file changed, 6 insertions(+), 3 deletions(-) diff --git a/paper_data/check_positivity.jl b/paper_data/check_positivity.jl index 8db2dc5..b1bbc88 100644 --- a/paper_data/check_positivity.jl +++ b/paper_data/check_positivity.jl @@ -30,7 +30,7 @@ if K == nothing || LAMBDA == nothing throw(invalid_use_message) end -info("Running checks for Adj₅ + $K·Op₅ - $LAMBDA·Δ₅") +info("Running checks for 36(Adj₅ + $K·Op₅) - $LAMBDA·Δ₅") G = AutGroup(FreeGroup(5), special=true) S = generating_set(G) @@ -115,7 +115,7 @@ if !isfile(SOLUTION_FILE) save(SOLUTION_FILE, "λ", λ, "P", P) end -info("Checking the sum of squares solution for Adj₅ + $K·Op₅ - $LAMBDA·Δ₅") +info("Checking the sum of squares solution for 36(Adj₅ + $K·Op₅) - $LAMBDA·Δ₅") P, λ = load(SOLUTION_FILE, "P", "λ") info("Computing Q = √P") @@ -139,4 +139,7 @@ Q_int = PropertyT.augIdproj(Q); b_int = SOS_residual(EOI_int, Q_int) @show norm(b_int, 1); -info("λ is certified to be > ", (@interval(λ) - 2^2*norm(b_int,1))).lo +λ_cert = @interval(λ) - 2^2*norm(b_int,1) +info("λ is certified to be > ", λ_cert.lo) + +info("i.e Adj₅ + $K·Op₅ - $((λ_cert/36).lo)·Δ₅ ∈ Σ²₂ ISAut(F₅)")