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

cosmetic

Browse Source
This commit is contained in:
kalmar 2017-06-05 17:29:22 +02:00
parent d9e6f5991e
commit 73c9e65558
2 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
src/PropertyT.jl
View File

@ -4,7 +4,6 @@ using JLD
using GroupRings using GroupRings
using Memento using Memento
using Groups using Groups
import Nemo: Group, GroupElem import Nemo: Group, GroupElem

1
src/checksolution.jl
View File

@ -130,6 +130,7 @@ function check_distance_to_positive_cone(Δ::GroupRingElem, λ, P;
return fp_distance return fp_distance
end end
info(logger, "")
info(logger, "Projecting columns of rationalized Q to the augmentation ideal...") info(logger, "Projecting columns of rationalized Q to the augmentation ideal...")
δ = eps(λ) δ = eps(λ)
Q_ℚ = ℚ(Q, δ) Q_ℚ = ℚ(Q, δ)