diff --git a/src/CheckSolution.jl b/src/CheckSolution.jl index ca4f9d2..8c49dfb 100644 --- a/src/CheckSolution.jl +++ b/src/CheckSolution.jl @@ -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