kalmar/PropertyT.jl
1
0
Fork 0
mirror of https://github.com/kalmarek/PropertyT.jl.git synced 2025-01-12 22:42:33 +01:00
Code Issues Releases Wiki Activity

remove old exact checks (rational)

Browse Source
This commit is contained in:
kalmar 2017-03-13 11:36:14 +01:00
parent 858b79ccc1
commit 62ba245c89
1 changed files with 0 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
property(T).jl
View File

@ -363,12 +363,4 @@ function check_property_T(name::String, ID, generate_B₄::Function;
else
println("κ($name, S) ≥ $κ < 0: Tells us nothing about property (T)")
end
println("Projecting columns of A_sqrt to the augmentation ideal...")
A_sqrt_ℚ_aug = correct_to_augmentation_ideal(A_sqrt_ℚ)
@time ℚ_dist_to_Σ² = check_solution(κ_ℚ, A_sqrt_ℚ_aug, Δ_ℚ, verbose=verbose, augmented=true)
@assert isa(ℚ_dist_to_Σ², Rational)
println("Augmentation-projected rational distance (to positive cone)")
println("$(Float64(trunc(ℚ_dist_to_Σ²,8))) ≤ κ(G,S)")
println("-------------------------------------------------------------")
return ℚ_dist_to_Σ²
end