mirror of
https://github.com/kalmarek/PropertyT.jl.git
synced 2024-12-25 02:15:29 +01:00
no need to limit precision in rationalise_and_project
since we project directly to intervals the computational load is negligible
This commit is contained in:
parent
7fd18e9e57
commit
757f89e54b
@ -148,8 +148,7 @@ function check_distance_to_positive_cone(Δ::GroupRingElem, λ, Q, wlen;
|
||||
end
|
||||
|
||||
info(logger, "")
|
||||
info(logger, "Projecting columns of the rationalized Q to the augmentation ideal...")
|
||||
Q_ℚω_int = rationalize_and_project(Q, max(tol, 1e-12), logger)
|
||||
Q_ℚω_int = rationalize_and_project(Q, tol, logger)
|
||||
λ_ℚ = ℚ(λ, tol)
|
||||
Δ_ℚ = ℚ(Δ, tol)
|
||||
|
||||
|
Loading…
Reference in New Issue
Block a user