1
0
mirror of https://github.com/kalmarek/PropertyT.jl.git synced 2024-12-25 02:15:29 +01:00

limit the accuracy of rationalization to sensible value

to avoid running out of memory!
This commit is contained in:
kalmar 2017-08-04 21:27:10 +02:00
parent 8f88035bb7
commit 94074750cf

View File

@ -147,7 +147,7 @@ function check_distance_to_positive_cone(Δ::GroupRingElem, λ, Q, wlen;
info(logger, "")
info(logger, "Projecting columns of the rationalized Q to the augmentation ideal...")
Q_ω_int = rationalize_and_project(Q, tol, logger)
Q_ω_int = rationalize_and_project(Q, max(tol, 1e-12), logger)
λ_ = (λ, tol)
Δ_ = (Δ, tol)