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

break after checking in floats return negatives (commented out)

Browse Source
This commit is contained in:
kalmar 2017-03-31 22:38:18 +02:00
parent 98cdeedc7a
commit 2b1bb7b765
1 changed files with 4 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
src/checksolution.jl
View File

@ -126,6 +126,10 @@ function check_distance_to_positive_cone(Δ::GroupAlgebraElement, κ, A;
info(logger, "Floating point distance (to positive cone) ≈ $(@sprintf("%.10f", fp_distance))") info(logger, "Floating point distance (to positive cone) ≈ $(@sprintf("%.10f", fp_distance))")
info(logger, "------------------------------------------------------------") info(logger, "------------------------------------------------------------")
# if fp_distance ≤ 0
# return fpdistance
# end
info(logger, "Projecting columns of rationalized A_sqrt to the augmentation ideal...") info(logger, "Projecting columns of rationalized A_sqrt to the augmentation ideal...")
δ = eps(κ) δ = eps(κ)
A_sqrt_ℚ = ℚ(A_sqrt, δ) A_sqrt_ℚ = ℚ(A_sqrt, δ)