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

logging

Browse Source
This commit is contained in:
kalmarek 2017-08-27 18:50:56 +02:00
parent 56d944e8af
commit 7fd18e9e57
1 changed files with 4 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
src/CheckSolution.jl
View File

@ -115,7 +115,7 @@ end
function rationalize_and_project{T}(Q::AbstractArray{T}, δ::T, logger)
info(logger, "")
info(logger, "Rationalizing")
info(logger, "Rationalizing with accuracy $δ")
t = @timed Q_ℚ = ℚ(Q, δ)
info(logger, timed_msg(t))
@ -123,7 +123,10 @@ function rationalize_and_project{T}(Q::AbstractArray{T}, δ::T, logger)
t = @timed Q_int = correct_to_augmentation_ideal(Q_ℚ)
info(logger, timed_msg(t))
info(logger, "Checking that sum of every column contains 0.0... ")
check = all([0.0 in sum(view(Q_int, :, i)) for i in 1:size(Q_int, 2)])
info(logger, (check? "They do." : "FAILED!"))
@assert check
return Q_int